| user: | thedigitalengel |
| created: | March 4, 2010 |
| karma: | 490 |
| about: | http://playingwithpointers.com @SCombinator |
| 1. | Java Optimizations and the JMM(playingwithpointers.com) |
| 2. | A Lattice for Speculative Data Flow Analysis(playingwithpointers.com) |
| 3. | Cantor's diagonal argument in Agda(playingwithpointers.com) |
| 4. | The factorial number system(en.wikipedia.org) |
| 5. | How Not to Measure Latency(infoq.com) |
| 6. | Compiling λ(playingwithpointers.com) |
| 7. | |
| 8. | Biased Locking and Pthreads(playingwithpointers.com) |
| 9. | Certified compilation in Agda(playingwithpointers.com) |
| 10. | The Variable-precision SWAR Algorithm(playingwithpointers.com) |
| 11. | A JIT Compiler for Brainf*ck(playingwithpointers.com) |
| 12. | |
| 13. |