dagit.o: compilations of a developer

Recent Posts

• History of the MOS 6502 - September 8, 2014
• Learning Dependent Types - December 3, 2013
• Trying out latex2html5.js - October 13, 2013
• Getting Started With GHC Hacking - August 3, 2013
• OpenCL + Language.C.Quote - April 29, 2013

Full list of posts.

Tags

6502 (1), advice (2), agda (2), c (1), cabal (1), commute (1), continuations (2), correctness (1), darcs (7), database (1), evidence (1), galois (1), git (1), gui (1), hackingsprint (1), haskell (10), history (1), imported (18), libraries (1), math (3), metrics (1), opencl (1), opengl (1), opinion (1), pdx (1), performance (1), proof (1), ssh (1), takusen (1), testing (2), tmux (1), tutorial (1), types (3), windows (1)