Top all-time · #4791
playing with pointers
Personal blog · playingwithpointers.com · on HN as thedigitalengelprogrammingsystems
playing with pointers is a personal blog at playingwithpointers.com about programming and systems. Since 2010, 16 different Hacker News readers have linked it 41 times, most often “Inter-Procedural Optimization and Derefinement”. The last post was in 2020, but the archive is still widely read.
Too few sampled comments (3) to say how often HN recommends it.?
Why HN links it
HN readers link this blog for technical posts on programming topics such as C const and optimization, Agda and type theory, and LuaJIT and JIT compilers.
Summarised by Claude from a sample of 3 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Most-linked posts?
- Inter-Procedural Optimization and Derefinement3 people · 3 mentions · first linked 2016-07-17
- Peeking inside LuaJIT - Playing With Pointers3 people · 3 mentions · first linked 2012-10-16
- The Variable-precision SWAR Algorithm2 people · 2 mentions · first linked 2013-03-02
What Hacker News says?
Thanks, that goes a long way toward an explanation. I'm still a bit surprised though that no compilers seem to complain even if we cast away the const from the properly const-qualified version. Here's the snippet I was playing with that tests all the variations: https://godbolt.org/g/aaC4B7 I should have expected it, but if you define the "lying" function where the compiler can see the full definition (and don't spe…
Comment linking /ipo-and-derefinement.html
on “Const and Optimization in C”Submitted Java Optimizations and the JMM as a story · 69 points
HN discussionExactly. Here is an implementation of Cantor's diagonal method in Agda which is entirely constructive: http://www.playingwithpointers.com/agda-cantor.html
Comment linking /agda-cantor.html
on “Relation Between Type Theory, Category Theory and Logic”Submitted Check Widening in LLVM as a story · 57 points
HN discussionThere are many compiler books but no books about JITs in general. There are some good blogpost about LuaJit but not that many. Following Mike Pall (MikeMike on HN or reddit is intressting too) This is a good start: http://playingwithpointers.com/archives/1010
Comment linking /archives/1010
on “LuaJit 2.0 is out”Submitted Reference Counting: Harder Than It Sounds as a story · 53 points
HN discussionIs this what you're looking for: http://www.playingwithpointers.com/check-widening-in-llvm.ht... ?
Comment linking /check-widening-in-llvm.html
on “Check Widening in LLVM”Submitted Macros in Haskell as a story · 50 points
HN discussionSubmitted Inter-Procedural Optimization and Derefinement as a story · 45 points
HN discussionSubmitted Compiling the lambda calculus (2013) as a story · 38 points
HN discussionSubmitted Haskell's Fixed Point Combinator as a story · 36 points
HN discussionSubmitted A problem with LLVM's undef as a story · 30 points
HN discussionSubmitted A Lattice for Speculative Data Flow Analysis as a story · 24 points
HN discussionSubmitted Peeking inside LuaJIT - Playing With Pointers as a story · 21 points
HN discussionSubmitted Peeking into the Java Memory Model as a story · 18 points
HN discussionSubmitted Compiling λ as a story · 18 points
HN discussionSubmitted Solving Linear Range Checks as a story · 12 points
HN discussionSubmitted Biased Locking and Pthreads as a story · 9 points
HN discussionSubmitted The Variable-precision SWAR Algorithm as a story · 6 points
HN discussionSubmitted Control Flow in TensorFlow and XLA's Auto-Clustering as a story · 5 points
HN discussionSubmitted Peeking inside LuaJIT as a story · 5 points
HN discussionSubmitted On Monads as a story · 5 points
HN discussionSubmitted Faking Dependent Types in C++ as a story · 4 points
HN discussionSubmitted Type-safe Tic-tac-toe as a story · 4 points
HN discussionSubmitted Integer overflow in LLVM's ScalarEvolution as a story · 3 points
HN discussionSubmitted A JIT Compiler for Brainf*ck as a story · 3 points
HN discussionSubmitted Learning Haskell as a story · 3 points
HN discussionSubmitted Seemingly Impossible Turing Machines as a story · 2 points
HN discussionSubmitted Inter-Procedural Optimization and Derefinement as a story · 2 points
HN discussionSubmitted λ→ is normalizing as a story · 2 points
HN discussion