Misc

Here’s a list of things on the internet I think are worth checking out:

24-12-2025 » Hillel Wayne - Software correctness is a lot like flossing [blog]
24-12-2025 » Evan Czaplicki - Compiler Errors For Humans [blog]
11-05-2025 » Shriram Krishnamurthi - How to Write Technical Paper Reviews [blog]
06-05-2025 » Matthias Felleisen - The Laffer Curve of Types [blog]
29-12-2024 » Christos Dimoulas & Matthias Felleisen - The Rational Programmer [blog]
18-06-2023 » Adrian Coyler - A practitioner's guide to reading programming languages papers [blog]
18-06-2023 » Drew Devault - Software developers have stopped caring about reliability [blog]
09-04-2023 » Jeff Atwood - Doing Terrible Things To Your Code [blog]

20-01-2025 » STOP'15 Workshop Panel - Bracha v Felleisen [video]
29-12-2024 » Diébédo Francis Kéré - How to build with clay... and community [video]
29-12-2024 » Barry Schwartz - The paradox of choice [video]