BitC is a systems programming language that combines the ``low level'' nature of C with the semantic rigor of Scheme or ML. BitC was designed by careful selection and exclusion of language features in order to support proving properties (up to and including total correctness) of critical systems programs.Totally weird but cool to see s-expressions in a language which promises "full control over data structure representation, which is necessary for high-performance systems programming": for example, they make a distinction between reference types (heap-allocated) and value types (where the size is statically known), and then have the corresponding distinction between arrays and vectors.
As described elsewhere, I've quit LiveJournal. If you're interested in my continuing posts, you should look at one of these (each contains feed…
They published a paper on Dremel, my favorite previously-unpublished tool from the Google toolchest. Greg Linden discusses it: "[...] it is capable…
I finally wrote up my recent adventures in treemapping, complete with nifty clickable visualizations.