Hacker News
- Reference Counting: Harder Than It Sounds http://www.playingwithpointers.com/refcounting-harder-than-it-sounds.html 24 comments
- Inter-Procedural Optimization and Derefinement http://www.playingwithpointers.com/ipo-and-derefinement.html 11 comments
- Check Widening in LLVM http://www.playingwithpointers.com/check-widening-in-llvm.html 10 comments
- Compiling the lambda calculus (2013) http://www.playingwithpointers.com/compiling-lambda.html 2 comments
- A problem with LLVM's undef http://www.playingwithpointers.com/problem-with-undef.html 4 comments
- Solving Linear Range Checks http://www.playingwithpointers.com/solving-linear-range-checks.html 14 comments
- Java Optimizations and the JMM http://playingwithpointers.com/optimizations-and-the-jmm.html 5 comments
- A Lattice for Speculative Data Flow Analysis http://playingwithpointers.com/speculative-dfa.html 3 comments
- Macros in Haskell http://playingwithpointers.com/archives/615 11 comments
- Haskell's Fixed Point Combinator http://playingwithpointers.com/archives/590 8 comments
- Inter-Procedural Optimization and Derefinement http://www.playingwithpointers.com/ipo-and-derefinement.html 8 comments cpp
- Compiling λ http://playingwithpointers.com/compiling-lambda.html 4 comments programming
- playingwithpointers.com: Biased Locking and Pthreads http://playingwithpointers.com/biased-locking-and-pthreads.html 24 comments programming
- Initial Algebras: Part I http://playingwithpointers.com/archives/911 15 comments haskell
- Peeking inside LuaJIT http://playingwithpointers.com/archives/1010 4 comments programming
- Faking Dependent Types in C++ http://playingwithpointers.com/archives/756 6 comments cpp
- Faking Dependent Types in C++ http://playingwithpointers.com/archives/756 7 comments programming
- A good explanation of the fixed point combinator in Haskell http://playingwithpointers.com/archives/590 9 comments haskell