1. Counterexamples in Type Systems (counterexamples.org)
  2. Mel Brooks is 100 today (www.theatlantic.com)
  3. Type-checked non-empty strings (exploring-better-ways.bellroy.com)
  4. wolfSSL vs. MbedTLS (www.wolfssl.com)
  5. 127 points by pwg 2 days | 25 comments