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
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.
Filed by Michael Greenberg on 2006-06-24 at 1:20pm under Temporal Logic and Verification
2 Comments
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