Submissions by thedigitalengel

Lock-free programming, first steps: mostly lock-free fixed-size vector

Peeking inside LuaJIT

[Haskell] Initial Algebras: Part I (F-Algebras)

First steps with Agda: provable factoring

First steps with Agda: well founded recursion

Weird C program performance

Type-safe Tic-tac-toe

Recursion in Escher

λ→ is normalizing

Show HN: small lisp interpreter in Haskell

Programming languages as women

Macros in Haskell

Tree Traversal in O(1) space.

Haskell's Fixed Point Combinator

Learning Haskell