HN Explorer

thedigitalengel

↗ HN profile [ 65.2 ms ] full profile
Karma
490
Created
March 4, 2010 (16y ago)
Submissions
0
http://playingwithpointers.com @SCombinator
  1. Java Optimizations and the JMM (playingwithpointers.com)
    69 points 5
  2. A Lattice for Speculative Data Flow Analysis (playingwithpointers.com)
    24 points 3
  3. Cantor's diagonal argument in Agda (playingwithpointers.com)
    1 points 0
  4. The factorial number system (en.wikipedia.org)
    1 points 0
  5. How Not to Measure Latency (infoq.com)
    1 points 0
  6. Compiling λ (playingwithpointers.com)
    18 points 1
  7. The Collie: A Wait-Free Compacting Collector (lirmm.fr)
    2 points 0
  8. Biased Locking and Pthreads (playingwithpointers.com)
    9 points 0
  9. Certified compilation in Agda (playingwithpointers.com)
    1 points 0
  10. The Variable-precision SWAR Algorithm (playingwithpointers.com)
    6 points 1
  11. A JIT Compiler for Brainf*ck (playingwithpointers.com)
    3 points 0
  12. [pdf] IEEE Standard 754 and the explosion of Ariane 5 (intel.com)
    2 points 0
  13. Why do we need arrays in C++ when we have vectors? (qr.ae)
    1 points -1
  14. Lock-free programming, first steps: mostly lock-free fixed-size vector (playingwithpointers.com)
    1 points 0
  15. Peeking inside LuaJIT (playingwithpointers.com)
    5 points 0
  16. [Haskell] Initial Algebras: Part I (F-Algebras) (playingwithpointers.com)
    1 points 0
  17. First steps with Agda: provable factoring (playingwithpointers.com)
    1 points 0
  18. First steps with Agda: well founded recursion (playingwithpointers.com)
    1 points 0
  19. Weird C program performance (stackoverflow.com)
    1 points 0
  20. Type-safe Tic-tac-toe (playingwithpointers.com)
    4 points 0
  21. Recursion in Escher (escherdroste.math.leidenuniv.nl)
    2 points 0
  22. λ→ is normalizing (playingwithpointers.com)
    2 points 0
  23. Show HN: small lisp interpreter in Haskell (github.com)
    25 points 4
  24. Programming languages as women (columbia.edu)
    1 points 0
  25. Macros in Haskell (playingwithpointers.com)
    50 points 11