Archive by Tags
algorithm
build
c
c++
cabal
calculus
cygwin
data-structure
emacs
git
haskell
javascript
lazy-evaluation
libraries
logic
markup
math
- Reverse-mode automatic differentiation: a tutorial
- Making Jekyll play nice with MathJax: switching from Redcarpet to Pandoc
- Computational interpretation of double negation elimination
- The need to associate function pointers with environments
- Sorting with a random comparator
- An algorithm for comparing large rational numbers in scientific notation