1. A Decade of Slug (terathon.com)
  2. 248 points by od0 5 days | 39 comments
  3. AI (2014) (blog.samaltman.com)
  4. Proof Theory and Logic Programming (www.lix.polytechnique.fr)
  5. Work_mem: It's a Trap (mydbanotebook.org)