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 · #10235

P

Paul Bone

Personal blog · paul.bone.id.auprogrammingsystems

Paul Bone's personal blog at paul.bone.id.au covers programming and systems. Since 2016, 7 different Hacker News readers have linked it 7 times. It is still writing: the last post was on 2026-02-06, and you can follow it by feed.

Visit the blog
7mentions?
7HN people?
2016–2024first – last linked?
Links on Hacker News per year · peak 5 in 2018

Too few sampled comments (2) to say how often HN recommends it.?

Why HN links it

HN readers link Paul Bone's posts on logic programming, including the Mercury and Prolog languages. The comments discuss those topics and do not directly judge the writing.

Summarised by Claude from a sample of 2 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.

Paul Bone is a software engineer and computer scientist. His interests include programming languages, declarative programming, programming language implementation, parallelism and concurrency. Paul works for Mozilla on Firefox's JavaScript engine's garbage collector by day, and the Plasma programm

What Hacker News says?

  1. Anything, web servers, systems programming, video games, etc. Its more of a different way of programming and thinking, using logic variables and unification to solve problems. Once you wrap your head around logic programming, its pretty easy and very powerful. Mercury's selling poings are: - runtime performance (automatic parallelization, very efficient due to logic programming understanding and rewriting sequenced…

    Comment linking /pub/pbone-2015-mercury.pdf

    on “The Mercury programming language”
  2. Submitted X86 Addressing Under the Hood as a story · 87 points

    HN discussion
  3. Thanks for the links! I have two replies for this: (1) I would like to implement a type inferencer in Prolog and (2) This doesn't justify what you originally said (but we don't have to argue that point. I appreciate the response. :) ) ----- (1) Can you elaborate on what you mean by the type inferencer being identical to the interpreter? I see the type inferencer in Python in joy/utils/types.py. And I see your interp…

    Comment linking /

    on “Prolog Under the Hood: An Honest Look (1992)”
  4. Submitted Falsehoods Programmers Believe about Garbage Collection as a story · 16 points

    HN discussion
  5. Submitted Falsehoods about Garbage Collection as a story · 3 points

    HN discussion
  6. Submitted Poisoning Firefox Memory as a story · 2 points

    HN discussion
  7. Submitted Memory Fragmentation in the Boehm-Demers-Weiser Garbage Collector as a story · 1 points

    HN discussion

Search all of HN for paul.bone.id.au