**The goals**
1. To develop a universal programming language. 2. To define a theory of equivalence of computation processes. This would be the basis for a theory of equivalence preserving transformations. 3. To…
(Untitled)
My point is that the ML module system can be deployed by you to impose the sorts of effect segregation imposed on you by default in Haskell. There is nothing special about Haskell that makes this pos…
A Retro Diner
Went to the Palo Alto Creamery this weekend, thrilled to see these (non-working) old pieces of technology. The brand of television is unknown, but the jukebox was a Seeburg (see this similar model on…
(Untitled)
Reddit is better than the rest (or, three cheers for Ellen Pao)
I've seen my share of self-described "online communities" over the last couple of decades -- and they have all sucked, one way or the other. Trolls abound, the good is moderated while th…
Reading summary, June 2015
Ok, I failed to keep track of interesting stuff I read online (can I postpone this to next month?) I did finish reading "Thinking Fast, Thinking Slow" by Daniel Kahneman. My dad gifted it t…
(Untitled)
Use words with the correct grammatical connotations: nouns for variables, verbs for subroutines, adjectives for … Do not use clever words (GO TO HELL). Their cuteness wears off very fast and their mne…
(Untitled)
a program is not really necessary for computation http://web.archive.org/web/20140107054458/http://yinwang0.wordpress.com/…
(Untitled)
computation is the many ways we simulate the worldwe are actually using a computer for the same purpose: manipulating the world’s model. http://web.archive.org/web/20140107054458/http://yinwang0.word…
(Untitled)
Practical Lisp systems provide a mechanism that allows users to add new derived expressions and specify their implementation as syntactic transformations without modifying the evaluator. Such a user-d…
(Untitled)
Such is modern computing: everything simple is made too complicated because it’s easy to fiddle with; everything complicated stays complicated because it’s hard to fix. Rob Pike (print and frame it…
(Untitled)
… Microsoft has an interest in the personal computer, while Google has an interest in taking us to an updated version of X terminals and 1960’s time sharing … Gilad Bracha, “Everyone is talking about…