theory – Page 4 – keeping simple

Dijkstra versus Perlis (updated)

November 10, 2008 yodaiken academics, software security, theory

Dijkstra wrote: He [Perlis] published a very obnoxious paper arguing against a mathematical approach to programming cite The paper by De Millo, Lipton and Perlis starts as

more on missed wakeup

October 11, 2007 yodaiken operating systems, state maps

Here are some conventions [Update: typos fix, Friday] We are concerned with state machines and sequences of events. The prefixes of a sequence include the

Data structures and algebra

October 8, 2007 yodaiken algebra

[Edited 9/10] There’s an easy connection between data structures and basic abstract algebra that may or may not mean anything, but keeps getting rediscovered. I’ve