http://www.playingwithpointers.com/jmm-finals-issue.html
http://www.playingwithpointers.com/resume.html
http://www.playingwithpointers.com/compiling-lambda.html
http://www.playingwithpointers.com/blog.html
http://www.playingwithpointers.com/index.html
http://www.playingwithpointers.com/ssa-interference-chordal.html
http://www.playingwithpointers.com/hazard-pointers-are-a-crdt.html
http://www.playingwithpointers.com/the-theoretical-minimum-classical-mechanics.html
http://www.playingwithpointers.com/agda-cantor.html
http://www.playingwithpointers.com/check-widening-in-llvm.html
http://www.playingwithpointers.com/404.html
http://www.playingwithpointers.com/refcounting-harder-than-it-sounds.html
http://www.playingwithpointers.com/jmm-finals-issue.html
http://www.playingwithpointers.com/deopt-states-are-continuations.html
http://www.playingwithpointers.com/compiling-lambda.html
http://www.playingwithpointers.com/linear-range-checks.html
http://www.playingwithpointers.com/ssa-interference-chordal.html
http://www.playingwithpointers.com/impossible-programs.html
http://www.playingwithpointers.com/hazard-pointers-are-a-crdt.html
http://www.playingwithpointers.com/check-widening.html
http://www.playingwithpointers.com/agda-cantor.html
http://www.playingwithpointers.com/proof-bug.html
http://www.playingwithpointers.com/ladners-theorem.html
http://www.playingwithpointers.com/refcounting-harder-than-it-sounds.html
http://www.playingwithpointers.com/optimizations-and-the-jmm.html
http://www.playingwithpointers.com/ipo-and-derefinement.html
http://www.playingwithpointers.com/semantics-as-transform-invariants.html
http://www.playingwithpointers.com/control-flow-and-tf-xla.html
http://www.playingwithpointers.com/peeking-into-jmm.html
http://www.playingwithpointers.com/swar.html
http://www.playingwithpointers.com/problem-with-undef.html
http://www.playingwithpointers.com/agda-verified-compilation.html
http://www.playingwithpointers.com/speculative-dfa.html
http://www.playingwithpointers.com/auto-clustering-resource-vars.html
http://www.playingwithpointers.com/scev-integer-overflow.html
http://www.playingwithpointers.com/optimizations-and-the-jmm.html
http://www.playingwithpointers.com/ipo-and-derefinement.html
http://www.playingwithpointers.com/solving-linear-range-checks.html
http://www.playingwithpointers.com/semantics-as-transform-invariants.html
http://www.playingwithpointers.com/peeking-into-jmm.html
http://www.playingwithpointers.com/swar.html
http://www.playingwithpointers.com/problem-with-undef.html
http://www.playingwithpointers.com/googlefdc3afdb0aa056c9.html
http://www.playingwithpointers.com/agda-verified-compilation.html
http://www.playingwithpointers.com/study-notes.html
http://www.playingwithpointers.com/deopt-states-are-delim-continuations.html
http://www.playingwithpointers.com/inferring-linear-congruence.html
http://www.playingwithpointers.com/qc-deutsch.html
http://www.playingwithpointers.com/theoretical-minimum-classical-mechanics.html
http://www.playingwithpointers.com/complexity-of-parity.html
http://www.playingwithpointers.com/speculative-dfa.html
http://www.playingwithpointers.com/subtle-proof-bug.html
http://www.playingwithpointers.com/scev-integer-overflow.html