thedigitalengel

Recent Submissions

1. 1. ▲ Java Optimizations and the JMM (playingwithpointers.com) 69 points · 12 years ago · 5 comments
2. 2. ▲ A Lattice for Speculative Data Flow Analysis (playingwithpointers.com) 24 points · 12 years ago · 3 comments
3. 3. ▲ Cantor's diagonal argument in Agda (playingwithpointers.com) 1 point · 12 years ago · 0 comments
4. 4. ▲ The factorial number system (en.wikipedia.org) 1 point · 13 years ago · 0 comments
5. 5. ▲ How Not to Measure Latency (infoq.com) 1 point · 13 years ago · 0 comments
6. 6. ▲ Compiling λ (playingwithpointers.com) 18 points · 13 years ago · 1 comment
7. 7. ▲ The Collie: A Wait-Free Compacting Collector (lirmm.fr) 2 points · 13 years ago · 0 comments
8. 8. ▲ Biased Locking and Pthreads (playingwithpointers.com) 9 points · 13 years ago · 0 comments
9. 9. ▲ Certified compilation in Agda (playingwithpointers.com) 1 point · 13 years ago · 0 comments
10. 10. ▲ The Variable-precision SWAR Algorithm (playingwithpointers.com) 6 points · 13 years ago · 1 comment