(Untitled)

our assessment method is so empirical that it would be equivalent to building a copy of the failed bridge, and observe bolt by bolt – with intuition (and stack dumps) guiding which bolts to observe fi…

(Untitled)

So the tension around types comes from the fact that if you want to program in a style that turns effects into explicit things that get passed around, sophisticated higher-order functions are necessar…

(Untitled)

If I sound elitist, it’s only because the time and difficulty required for wrapping a complex topic into a coherent narrative is often underestimated by those who have never done it. A book is not 150…

(Untitled)

When I worked with companies that have a holy mess of code, I felt like there wasn’t enough time in the day to refactor everything. When things broke when I refactored them I got yelled at. It felt li…

(Untitled)

I think one of the main consequences of the inventions of personal computing and the world wide Internet is that everyone gets to be a potential participant, and this means that we now have the entire…

(Untitled)

Lisp is like a religion. It was created by superstitious primitives long before I was born, asks people to have faith that all will be revealed in time, and is still waiting for the prophet that will…

(Untitled)

… the curse of macros: You cannot in general expect to understand fully what some code would compile to without being the compiler.  In inferior languages, the code you write is probably the code the…