skip to main
|
skip to sidebar
dagit.o
compilations of a developer
No posts.
Show all posts
No posts.
Show all posts
Home
Subscribe to:
Posts (Atom)
Labels
haskell
(11)
imported
(8)
darcs
(7)
c
(2)
continuations
(2)
math
(2)
metrics
(2)
testing
(2)
types
(2)
advice
(1)
cabal
(1)
chrome
(1)
commute
(1)
correctness
(1)
database
(1)
evidence
(1)
freedom
(1)
gcc
(1)
ghc
(1)
git
(1)
gui
(1)
hackingsprint
(1)
haskell galois professional-development course
(1)
latex
(1)
libraries
(1)
opengl
(1)
opinion
(1)
pdx
(1)
performance
(1)
proof
(1)
syntax
(1)
takusen
(1)
tutorial
(1)
ui
(1)
Search This Blog
Loading...
Blog Archive
▼
2012
(2)
▼
February
(1)
Proposal: Community wide build infrastructure
►
January
(1)
Keeping the "science" in Software Development
►
2011
(2)
►
September
(1)
Galois offers Haskell course: The Tao of Functiona...
►
March
(1)
Picking a GUI library to use with OpenGL
►
2010
(10)
►
September
(3)
Composability, laziness, testing, and proofs (oh m...
Chrome Developers Don't Listen to Users (or, why n...
Trying out jsMath
►
August
(4)
REVISED: More fun pointless code metrics
Fun, but pointless, code metrics
Syntaxhighlighter on blogspot?
Takusen Tutorial, Part 1: Hello, Takusen
►
June
(3)
Delimited Continuations and version control: an up...
Delimited Continuations and Version Control
Reviving my technical blog
►
2009
(1)
►
March
(1)
Type-Correct Changes — A Safe Approach to Version ...
►
2008
(5)
►
November
(1)
Phantom Types, Existentials and Controlling Unific...
►
October
(3)
Darcs Hacking Sprint — Summary from Portland Team
Hamming was right...
Understanding Darcs Commute
►
August
(1)
Darcs 2 Real-World Push Performance Evaluation
►
2006
(2)
►
September
(1)
Simple Unit Testing in Haskell
►
August
(1)
Learn Math (10 tips)