thedigitalengel's submissions

Java Optimizations and the JMM (playingwithpointers.com)

69 pts| 11 years ago | 5 comments

A Lattice for Speculative Data Flow Analysis (playingwithpointers.com)

24 pts| 11 years ago | 3 comments

Cantor's diagonal argument in Agda (playingwithpointers.com)

1 pts| 12 years ago | discuss

The factorial number system (en.wikipedia.org)

1 pts| 12 years ago | discuss

How Not to Measure Latency (infoq.com)

1 pts| 12 years ago | discuss

Compiling λ (playingwithpointers.com)

18 pts| 12 years ago | 1 comment

2 pts| 12 years ago | discuss

Biased Locking and Pthreads (playingwithpointers.com)

9 pts| 12 years ago | discuss

Certified compilation in Agda (playingwithpointers.com)

1 pts| 13 years ago | discuss

The Variable-precision SWAR Algorithm (playingwithpointers.com)

6 pts| 13 years ago | 1 comment

A JIT Compiler for Brainf*ck (playingwithpointers.com)

3 pts| 13 years ago | discuss

2 pts| 13 years ago | discuss

1 pts| 13 years ago | discuss

Peeking inside LuaJIT (playingwithpointers.com)

5 pts| 13 years ago | discuss

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

1 pts| 13 years ago | discuss

First steps with Agda: provable factoring (playingwithpointers.com)

1 pts| 13 years ago | discuss

First steps with Agda: well founded recursion (playingwithpointers.com)

1 pts| 13 years ago | discuss

Weird C program performance (stackoverflow.com)

1 pts| 14 years ago | discuss

Type-safe Tic-tac-toe (playingwithpointers.com)

4 pts| 14 years ago | discuss

Recursion in Escher (escherdroste.math.leidenuniv.nl)

2 pts| 14 years ago | discuss