DrRacket provides five student language levels. As of this fall, I am only using the second and fourth.

@tunixman What you call "list" I call "expression". How are you going to avoid confusion when "cons" comes along?

@me_irl @tunixman This is configurable by M-x set-variable RET lightbulb-changers RET <number> RET.

Types all come with points of view. Types don't do what I want them to. Types just twist the truth around.

@intpunk Weird stuff happens in the armoury these days. Weirder than the Math building, even.

@tunixman The barely-passing student, who thinks "If you taught me X, I'd get it, and could get a job"?

Going to create a language called Pynthon. Code will be dense, intricate, allusive, and paranoid.

This is fascinating, but the SF entry is a cop-out (thx @michelledean)  http://www.themorningnews.org/article/new-york-elsewhere …

Co-prover of four-colour theorem (by computer) has died.  http://www.nytimes.com/2013/04/29/technology/kenneth-i-appel-mathematician-who-harnessed-computer-power-dies-at-80.html …

@tunixman Well, you're an amusing charlatan, at least!

First Savages album streaming on their website  http://silenceyourself.savagesband.com  (thx @reloweeda)

Using C++ to teach software engineering is like using hardcore pornography to teach sex education.

I want Don Cherry out of my tweet feed. Now.

@mattbucher It sensed that you were not worthy.

@michelledean See, this is the problem with living away from the jungle. Our survival instincts get attenuated.

@tunixman Haskell is the methadone of programming languages.

@palafo People will always be angry when you're not constantly obsessing about what they're obsessing about.

.@michelledean I love the way Yelp tags a restaurant as "Canadian (Traditional)" if they serve poutine.

.@intpunk Any sufficiently educated CS brain contains ad hoc, informally-specified, bug-ridden, slow memories of half of Common Lisp.

We need a new set of words for dumb-ass male behaviour every few months until we males learn to cut it out.