| 1. | | Java Optimizations and the JMM (playingwithpointers.com) |
| 69 points by thedigitalengel on Sept 8, 2014 | past | 5 comments |
|
| 2. | | A Lattice for Speculative Data Flow Analysis (playingwithpointers.com) |
| 24 points by thedigitalengel on May 26, 2014 | past | 3 comments |
|
| 3. | | Cantor's diagonal argument in Agda (playingwithpointers.com) |
| 1 point by thedigitalengel on March 23, 2014 | past |
|
| 4. | | The factorial number system (wikipedia.org) |
| 1 point by thedigitalengel on Aug 12, 2013 | past |
|
| 5. | | How Not to Measure Latency (infoq.com) |
| 1 point by thedigitalengel on Aug 4, 2013 | past |
|
| 6. | | Compiling λ (playingwithpointers.com) |
| 18 points by thedigitalengel on July 16, 2013 | past | 1 comment |
|
| 7. | | The Collie: A Wait-Free Compacting Collector (lirmm.fr) |
| 2 points by thedigitalengel on July 12, 2013 | past |
|
| 8. | | Biased Locking and Pthreads (playingwithpointers.com) |
| 9 points by thedigitalengel on June 17, 2013 | past |
|
| 9. | | Certified compilation in Agda (playingwithpointers.com) |
| 1 point by thedigitalengel on April 29, 2013 | past |
|
| 10. | | The Variable-precision SWAR Algorithm (playingwithpointers.com) |
| 6 points by thedigitalengel on March 2, 2013 | past | 1 comment |
|
| 11. | | A JIT Compiler for Brainf*ck (playingwithpointers.com) |
| 3 points by thedigitalengel on Jan 20, 2013 | past |
|
| 12. | | [pdf] IEEE Standard 754 and the explosion of Ariane 5 (intel.com) |
| 2 points by thedigitalengel on Jan 6, 2013 | past |
|
| 13. | | Lock-free programming, first steps: mostly lock-free fixed-size vector (playingwithpointers.com) |
| 1 point by thedigitalengel on Dec 9, 2012 | past |
|
| 14. | | Peeking inside LuaJIT (playingwithpointers.com) |
| 5 points by thedigitalengel on Oct 16, 2012 | past |
|
| 15. | | [Haskell] Initial Algebras: Part I (F-Algebras) (playingwithpointers.com) |
| 1 point by thedigitalengel on Sept 12, 2012 | past |
|
| 16. | | First steps with Agda: provable factoring (playingwithpointers.com) |
| 1 point by thedigitalengel on Aug 19, 2012 | past |
|
| 17. | | First steps with Agda: well founded recursion (playingwithpointers.com) |
| 1 point by thedigitalengel on Aug 19, 2012 | past |
|
| 18. | | Weird C program performance (stackoverflow.com) |
| 1 point by thedigitalengel on April 11, 2012 | past |
|
| 19. | | Type-safe Tic-tac-toe (playingwithpointers.com) |
| 4 points by thedigitalengel on March 10, 2012 | past |
|
| 20. | | Recursion in Escher (leidenuniv.nl) |
| 2 points by thedigitalengel on March 2, 2012 | past |
|
| 21. | | λ→ is normalizing (playingwithpointers.com) |
| 2 points by thedigitalengel on Feb 29, 2012 | past |
|
| 22. | | Show HN: small lisp interpreter in Haskell (github.com/sanjoy) |
| 25 points by thedigitalengel on Jan 13, 2012 | past | 4 comments |
|
| 23. | | Programming languages as women (columbia.edu) |
| 1 point by thedigitalengel on Dec 13, 2011 | past |
|
| 24. | | Macros in Haskell (playingwithpointers.com) |
| 50 points by thedigitalengel on Oct 18, 2011 | past | 11 comments |
|
| 25. | | Tree Traversal in O(1) space. (playingwithpointers.com) |
| 2 points by thedigitalengel on Oct 8, 2011 | past |
|
| 26. | | Haskell's Fixed Point Combinator (playingwithpointers.com) |
| 36 points by thedigitalengel on Oct 6, 2011 | past | 8 comments |
|
| 27. | | Learning Haskell (playingwithpointers.com) |
| 3 points by thedigitalengel on July 12, 2011 | past |
|
| 28. | | Tart 0.1 (uiuc.edu) |
| 5 points by thedigitalengel on June 19, 2011 | past |
|
| 29. | | Facebook Development Tools (github.com/facebook) |
| 1 point by thedigitalengel on May 1, 2011 | past |
|
| 30. | | On Monads, Part II (playingwithpointers.com) |
| 2 points by thedigitalengel on March 26, 2011 | past |
|
|
| More |
