sanjoyd on Faking Dependent Types in… drocta on Faking Dependent Types in… Matt on Faking Dependent Types in… Francis Kim on Faking Dependent Types in… Anurag Bishnoi on On why religion is a double…
Monthly Archives: January 2013
I wrote a new minimalist color scheme (for emacs) today. If you’re into that sort of thing, the code is on github, and down below is a screenshot.
I recently read this article by Josh Haberman where he demonstrates a JIT for the Brainf*ck language (henceforth referred to as BF). However it wasn’t very different from a regular AOT compiler — the entire BF script is read in … Continue reading