(Untitled)
No matter how we try to guide the students’ introduction to language features, the Almighty Search Engine sits ever at the ready, delivering size and complexity when they really need simple answersMay…
(Untitled)
Linux, he says, aims to be a 1970s mainframe, with 100 users connected at once. http://www.codersnotes.com/notes/a-constructive-look-at-templeos…
(Untitled)
APL is a mistake, carried through to perfection. It is the language of the future for the programming techniques of the past: it creates a new generation of coding bums. Edsger W. Dijkstra, “How do w…
(Untitled)
This obsession with mathematics is an easy way of acquiring the appearance of scientificity without having to answer the far more complex questions posed by the world we live in. http://axisofeval.bl…
(Untitled)
Ironically, one of the better-known examples of a proof that isn’t constructive is Brouwer’s proof of his own fixed point theorem, which states that every continuous function on the unit disk has a fi…
**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…