PHPEnkoder 1.1

Yaniv encouraged me to add some basic <noscript> functionality to PHPEnkoder, so I threw it in — along with a few bugfixes. The message for non-JavaScript-capable clients is configurable, and it optionally applies to RSS.

Get it while it’s hot!

* Filed by Michael Greenberg on 2006-06-27 at 2:44am under Software
No Comments

a weasel in a hat

Program synthesis talk

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. I’ve posted the slides.

(more…)

* Filed by Michael Greenberg on 2006-06-24 at 1:20pm under Temporal Logic and Verification
* 2 Comments

a weasel in a hat

Weaselhat?

Harking to Mark Liberman of Language Log’s call for science blogs, I’ve started up this bit of silliness. I’m a computer science student, focusing on verification, temporal logic, and programming language theory. You know, the usual.

The name is random, left over from software I used to write. I have my own image, but try to free associate the two: weasel, hat; hat, weasel. Yes, yes, that’s good.

* Filed by Michael Greenberg on 2006-06-21 at 7:07pm under Blog
* 1 Comment

a weasel in a hat