I read some of an interview with one of the creators of ML (I think that was from lambda_ultimate and he indicated they never thought the language would be useful beyond their initial goal (theorem proving, I think?).
I read some of an interview with one of the creators of ML (I think that was from lambda_ultimate and he indicated they never thought the language would be useful beyond their initial goal (theorem proving, I think?).
-
blog moved
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…
-
dremel
They published a paper on Dremel, my favorite previously-unpublished tool from the Google toolchest. Greg Linden discusses it: "[...] it is capable…
-
treemaps
I finally wrote up my recent adventures in treemapping, complete with nifty clickable visualizations.
- Post a new comment
- 0 comments
- Post a new comment
- 0 comments