Experimental, impressionistic sub-paragraph tumblin' (think obstsalat)
26apr2008
PLT Redex is a domain-specific language designed for specifying and debugging operational semantics. Write down a grammar and the reduction rules, and PLT Redex produces a stepper. It also provides support for building a test suites from the specification of a semantics.
Comprehensive list of low-cost ultraportables, these are the future.
It’s a long long long long way to go home
It’s a long long long long way to go home
Any which way you are tempted to go
It’s a long long long long long long long long way
Way to go home
— Grateful Dead, Way To Go Home
Left-Leaning Red-Black Trees, (PDF 12MB), revised talk by Robert Sedgewick.
Instruction set, a monthly call for code: “Instructions may be vague or specific. Your challenge is to write software to carry out the instruction.”
I will make love with every virgin who defends the Internet.
Mapping the distraction that is Wikipedia, how true.
He’ll see by his grave
On the stone that remains
Carved next to his name
His epitaph plain:
Only a pawn in their game.
— Bob Dylan, Only A Pawn In Their Game
Interview with Donald Knuth, “Andrew Binstock and Donald Knuth converse on the success of open source, the problem with multicore architecture, the disappointing lack of interest in literate programming, the menace of reusable code, and that urban legend about winning a programming contest with a single compilation.” Must read. (And I want his Emacs font!)
Encyclopedia Mythica, enter the award-winning internet encyclopedia of mythology, folklore, and religion. Here you will find everything from A-gskw to Zveda Vechanyaya, with plenty in between.