Gretchen Zimmerman noticed a bug in spacing that occurred in some versions of IE. Removing a newline in the generated HTML fixes the problem.
You can download version 1.4 from the PHPEnkoder website or from the Wordpress plugin directory.
Filed by Michael Greenberg on 2009-05-18 at 12:20pm under Software
No Comments
Via the TYPES-announce mailing list:
…we are launching
Electronic Proceedings in Theoretic Computer Science (EPTCS)
a new international refereed open access venue for the rapid
electronic publication of the proceedings of workshops and
conferences, and of festschrifts, etc, in the general area of
theoretical computer science, broadly construed.
This is exciting news! I’m even willing to overlook the fact the plural of ‘festschrift’ is ‘festschriften’, not ‘festschrifts’.
Filed by Michael Greenberg on 2009-04-30 at 8:58pm under Formal Methods
No Comments
After much hard work (by more productive people), there is a technical report describing Flapjax. Check it out!
Filed by Michael Greenberg on 2009-04-15 at 9:44am under Flapjax, Programming Languages
No Comments
It is serendipitous that I noticed a blog post about a callback combinator while adding a few drops to the Flapjax bucket.
Flapjax is nothing more than a coherent set of callback combinators. The key insight to this set of callback combinators is the “Event” abstraction — a Node in FJ’s implementation. Once callbacks are Nodes, you get two things:
The last I saw the implementations of Resume and Continue, they were built using this idea. The more I think about it, the more the FJ-language seems like the wrong approach: the FJ-library is an awesome abstraction, in theory and practice.
Filed by Michael Greenberg on 2009-03-25 at 10:27am under Flapjax, JavaScript, Programming Languages
2 Comments
Ron Blaisdell pointed out that my use of noscript elements wasn’t XHTML compliant. Instead of using noscript tags, each enkoded section is preceded by a span containing the “you don’t have JavaScript” message. When the dekoded text is written to the document, this span is deleted.
The latest version is up on PHPEnkoder’s home page and the Wordpress plugin directory. (For some reason, PHPEnkoder doesn’t come up when you search for it in the directory, but Google can see it. I’m not sure what the problem is here…)
Filed by Michael Greenberg on 2009-02-03 at 2:07pm under Software
No Comments
Suppose you were trying to run some experiments about L1 D-caches. (You may also suppose that this is a homework problem, but that’s life.) You’re given a trace of loads and stores at certain addresses. These addresses are 32-bits wide, and the trace is in a textual format:
1A2B3C4D L represents a load to 0x1a2b3c4d, followed by a store to 0xdeadbeef, followed by a load to 0x1b2b3c4d. (You might notice the two loads may be in conflict, depending on the block and cache size and the degree associativity. In that case, you might be in my computer architecture class…)
DEADBEEF S
1B2B3C4D L
This is problematic. Naturally, you’d like to process the trace in OCaml. But did I mention that the trace is rather large — some 600MB uncompressed? And that some of the addresses require all 32 bits? And some of the statistics you need to collect require 32 bits (or more)? OCaml could process the entire trace in under a minute, but the boxing and unboxing of int32s and int64s adds more than twenty minutes (even with -unsafe). I felt bad about this until a classmate using Haskell had a runtime of about two and a half hours. Yeesh. C can do this in a minute or less. And apparently the traces that real architecture researchers use are gigabytes in size. Writing the simulator in OCaml was a joy; testing and running it was not.
There were some optimizations I didn’t do. I was reading memop-by-memop rather than in blocks of memops. I ran all of my simulations in parallel: read in a memop, simulate the memop in each type of cache, repeat. I could have improved cache locality by reading in a block of memops and then simulating in sequence; I’m not sure how the compiler laid out my statistics structures. I could’ve also written the statistics functions in C on unboxed unsigned longs, but didn’t have the patience. I’d still have to pay for boxing and unboxing the C structure every time, though. Still: one lazy summer week, I may give the code generation for boxed integers a glance.
Filed by Michael Greenberg on 2008-10-29 at 4:30pm under Programming Languages, Software
No Comments
With a hat tip to Barry Kafka, PHPEnkoder is now part of the Wordpress plugin directory. Updates will still be announced here.
Filed by Michael Greenberg on 2008-10-24 at 5:50pm under JavaScript, Software
No Comments
The indomitable Nate Foster has released Boomerang v0.1. Congratulations, Nate!
Boomerang is a bidirectional programming language over strings: it maps input strings to output strings, and then it maps outputs back to inputs. This is perfect for translation, synchronization, and other tasks: think of them as update-able views in a database. Check it out!
Filed by Michael Greenberg on 2008-07-25 at 1:20pm under Programming Languages
No Comments
Via Dave Herman and Lambda the Ultimate: ADTs in JavaScript 1.8. Shouldn’t be too hard to Flapjax-ify, which might make the handling of lists a little nicer.
I have to say, I can breathe a sigh of relief now that the expression problem has been solved in JavaScript. All of the interpreters and compilers I’d written in JavaScript were so inextensible!
Filed by Michael Greenberg on 2008-06-18 at 10:52am under JavaScript, Programming Languages
No Comments