Ideas I want to write about

The hard part of computer programming isn’t expressing what we want the machine to do in code. The hard part is turning human thinking – with all its wooliness and ambiguity and contradictions – into computational thinking that is logically precise and unambiguous, and that can then be expressed formally in the syntax of a programming language.

Most of the explanations that I think are in my brain are actually dotted lines in the shape of real explanations, but with very little inside them. They are ghosts of knowledge. And I won’t know what I don’t know until I fuck around and find out.

Input books you've read and receive recommendations on what to read next from our model