Recent Posts

• Literate Theorem Proving with Org (and Proof General)
  by chamecoon 6/11/2018, 9:45:03 PM with 1 comment
• Show HN: Solid, a scripting language with a tiny VM
  by chamecoon 9/22/2013, 6:48:11 PM with 6 comments
• Hitman - A Markdown parser written in 66 lines of Clojure
  by chamecoon 8/9/2013, 4:02:53 PM with 0 comments
• Show HN: Shade, a language based on C, Go, and Haskell
  by chamecoon 12/27/2012, 3:21:16 PM with 0 comments