1. Mel Brooks is 100 today (www.theatlantic.com)
  2. Counterexamples in Type Systems (counterexamples.org)
  3. Lumo 2.0 (proton.me)
  4. Type-checked non-empty strings (exploring-better-ways.bellroy.com)
  5. 127 points by pwg 2 days | 25 comments
  6. OpenRA (www.openra.net)
  7. The cost YAGNI was never about (newsletter.kentbeck.com)