1Java Optimizations and the JMM (opens in new tab)(playingwithpointers.com)69thedigitalengel11y ago5Save
2A Lattice for Speculative Data Flow Analysis (opens in new tab)(playingwithpointers.com)24thedigitalengel12y ago3Save
3Cantor's diagonal argument in Agda (opens in new tab)(playingwithpointers.com)1thedigitalengel12y ago0Save
7The Collie: A Wait-Free Compacting Collector (opens in new tab)(lirmm.fr)PDF2thedigitalengel12y ago0Save
9Certified compilation in Agda (opens in new tab)(playingwithpointers.com)1thedigitalengel13y ago0Save
10The Variable-precision SWAR Algorithm (opens in new tab)(playingwithpointers.com)6thedigitalengel13y ago1Save
11A JIT Compiler for Brainf*ck (opens in new tab)(playingwithpointers.com)3thedigitalengel13y ago0Save
12[pdf] IEEE Standard 754 and the explosion of Ariane 5 (opens in new tab)(intel.com)PDF2thedigitalengel13y ago0Save
13Lock-free programming, first steps: mostly lock-free fixed-size vector (opens in new tab)(playingwithpointers.com)1thedigitalengel13y ago0Save
15[Haskell] Initial Algebras: Part I (F-Algebras) (opens in new tab)(playingwithpointers.com)1thedigitalengel13y ago0Save
