mgreenblog

So I showed my confusing problem detailed in this last post to Dave Herman, who after an initial surprise, said that this was probably due to ES4 expansions method binding -- that is, o.f sometimes closes over this, but sometimes not.

JavaScript woes: function C() { var _this = this; this.foo = function () { return _this === this; }; this.bar = function () { return this.foo; }; return this; } var c = new C(); What is the value of c.foo()?

Thanks to Steve Huston for pointing out a bug in PHPEnkoder; version 1.2 is on-line.

I was referred to XSugar as another practical example of bidirectional programming; I read the paper, Dual Syntax for XML Languages and played with the tool (a bit).

A new term starts on Wednesday, but the following are all on the list for discussion: Dan Friedman, et al.

Hutton and Wright have a paper What is the Meaning of These Constant Interruptions?

A well-shaven Jim Miller gave a talk at Brown today on introducing dynamic languages into the CLR.

As an alternative to the Enkoder, Google Groups turns e-mail addresses in headers and in document text into links to CAPTCHAs, viz. the documentation.

Dan Benjamin's Enkoder software has been made into a RadiantCMS plugin by Sean Santry.

The response to the template language in Flapjax has been mixed, to say the least.

Since I got back from Israel, I've been working on a top secret project: a programming language for the Web.

Looking for PhD advisors, I recently read Olin Shivers' Multi-return Function Call.

Taking a break from my super top-secret August stealth project, I came across a Joel Spolksy piece on FP, "Can Your Programming Language Do This?".

Impelled by boredom and procrastination, I've packaged up a propositional logic minimizer I wrote last Summer.

The NeoSmart files has a brief commentary on the feasability of encoding schemes like PHPEnkoder.

My other class this term is Shmuel Katz's Formal Specifications of Complex Systems (link in Hebrew).

Yaniv encouraged me to add some basic <noscript> functionality to PHPEnkoder, so I threw it in -- along with a few bugfixes.

On June 8th I gave a talk for Orna Grumberg's seminar in formal verification presenting Kupferman and Vardi's 1997 paper Synthesis with Incomplete Information.

Harking to Mark Liberman of Language Log's call for science blogs, I've started up this bit of silliness.