Other Sites I Follow

Here's some other sites I follow. A.K.A. a blogroll.

Latest posts by sites I follow

  1. Hillel Wayne

    People get confused when language implementations break language guarantees

  2. Hillel Wayne

    A sufficiently comprehensive spec is not (necessarily) code

  3. Hillel Wayne

    April Cools Post: New York vs Chicago Pizza

Hillel Wayne

Hillel blogs about formal methods, other software verification practices, and various other programming topics. One of the easiest to understand and most compelling sources for general formal methods information that I've found.

He also has a newsletter Computer Things that you can read online and has a bunch of interesting stuff.

Julia Evans

Julia blogs about various programming topics and explains various programming topics in a very clear and compelling style, even nitty gritty lower level stuff.