Work in progress: 181,232 of 181,233 sites checked so far, more every week · updated 2 Nov 2026Missing a blog? Tell us

Top all-time · #4791

P

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.

Visit the blog
41mentions?
16HN people?
2010–2019first – last linked?
Links on Hacker News per year · peak 10 in 2012

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.

The author on HN?

thedigitalengel · 490 karma · member since 2010

http://playingwithpointers.com @SCombinator

From their public HN profile, which links to this site.

Most-linked posts?

  1. Inter-Procedural Optimization and Derefinement
    3 people · 3 mentions · first linked 2016-07-17
  2. Peeking inside LuaJIT - Playing With Pointers
    3 people · 3 mentions · first linked 2012-10-16
  3. The Variable-precision SWAR Algorithm
    2 people · 2 mentions · first linked 2013-03-02

What Hacker News says?

  1. 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”
  2. Submitted Java Optimizations and the JMM as a story · 69 points

    HN discussion
  3. Exactly. 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”
  4. Submitted Check Widening in LLVM as a story · 57 points

    HN discussion
  5. nickik · 2012-11-13Recommends
    There 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”
  6. Submitted Reference Counting: Harder Than It Sounds as a story · 53 points

    HN discussion
  7. Is 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”
  8. Submitted Macros in Haskell as a story · 50 points

    HN discussion
  9. Submitted Inter-Procedural Optimization and Derefinement as a story · 45 points

    HN discussion
  10. Submitted Compiling the lambda calculus (2013) as a story · 38 points

    HN discussion
  11. Submitted Haskell's Fixed Point Combinator as a story · 36 points

    HN discussion
  12. Submitted A problem with LLVM's undef as a story · 30 points

    HN discussion
  13. Submitted A Lattice for Speculative Data Flow Analysis as a story · 24 points

    HN discussion
  14. Submitted Peeking inside LuaJIT - Playing With Pointers as a story · 21 points

    HN discussion
  15. Submitted Peeking into the Java Memory Model as a story · 18 points

    HN discussion
  16. Submitted Compiling λ as a story · 18 points

    HN discussion
  17. Submitted Solving Linear Range Checks as a story · 12 points

    HN discussion
  18. Submitted Biased Locking and Pthreads as a story · 9 points

    HN discussion
  19. Submitted The Variable-precision SWAR Algorithm as a story · 6 points

    HN discussion
  20. Submitted Control Flow in TensorFlow and XLA's Auto-Clustering as a story · 5 points

    HN discussion
  21. Submitted Peeking inside LuaJIT as a story · 5 points

    HN discussion
  22. Submitted On Monads as a story · 5 points

    HN discussion
  23. Submitted Faking Dependent Types in C++ as a story · 4 points

    HN discussion
  24. Submitted Type-safe Tic-tac-toe as a story · 4 points

    HN discussion
  25. Submitted Integer overflow in LLVM's ScalarEvolution as a story · 3 points

    HN discussion
  26. Submitted A JIT Compiler for Brainf*ck as a story · 3 points

    HN discussion
  27. Submitted Learning Haskell as a story · 3 points

    HN discussion
  28. Submitted Seemingly Impossible Turing Machines as a story · 2 points

    HN discussion
  29. Submitted Inter-Procedural Optimization and Derefinement as a story · 2 points

    HN discussion
  30. Submitted λ→ is normalizing as a story · 2 points

    HN discussion

Search all of HN for playingwithpointers.com

Linked by the same people?