Occasional diary

Most-linked posts?

1. 3-Lisp: an infinite tower of meta-circular interpreters
   3 people · 3 mentions · first linked 2022-08-24
2. C++: Zero-cost static initialization
   2 people · 2 mentions · first linked 2025-07-14
3. Long division verified via Hoare logic
   2 people · 2 mentions · first linked 2025-02-26
4. What is cosh(List(Bool))? Or beyond algebra: analysis of data types
   2 people · 2 mentions · first linked 2025-11-05

What Hacker News says?

1. userbinator · 2015-10-26

   File system cache replacement algorithms. That one word made me think it would be something more like migrating to a different filesystem in realtime, which is also an interesting but probably less explored topic. The second part of the article is where all the interesting results are: http://www.cofault.com/2006/10/previous-item.html Spoiler: the differences are quite small.

   Comment linking /2006/10/previous-item.html

   on “File system replacement algorithms (2006)”
2. oecumena · 2022-07-26

   Submitted Treadmill garbage collector by H. Baker as a story · 163 points

   HN discussion
3. alan-crowe · 2022-12-15

   I was curious about "3-lisp". It seems to be this http://www.cofault.com/2022/08/3-lisp-infinite-tower-of-meta... Discussed three months ago https://news.ycombinator.com/item?id=32614795

   Comment linking /2022/08/3-lisp-infinite-tower-of-meta-circular.html

   on “Common Lisp”
4. ndanilov · 2025-02-26

   Submitted Long division verified via Hoare logic as a story · 114 points

   HN discussion
5. chc4 · 2023-03-05Recommends

   The Treadmill collector was designed for realtime contexts ( https://www.cofault.com/2022/07/treadmill.html is a very good explanation for it and how it works, but the paper itself is also very readable). Really any incremental GC can be used in a realtime context though, where you visit objects until you hit some time budget and then resume your interpreter.

   Comment linking /2022/07/treadmill.html

   on “Boehm-Demers-Weiser Garbage Collector”
6. oecumena · 2025-07-15

   Submitted C++: Zero-cost static initialization as a story · 84 points

   HN discussion
7. nikita_d · 2022-08-27

   Submitted 3-Lisp: an infinite tower of meta-circular interpreters as a story · 84 points

   HN discussion
8. luu · 2015-10-25

   Submitted File system replacement algorithms (2006) as a story · 25 points

   HN discussion
9. nikita_d · 2022-10-07

   Submitted Stackswap coroutines, neither stackful nor stackless as a story · 15 points

   HN discussion
10. luu · 2015-10-24

    Submitted File system replacement algorithms (2006) as a story · 6 points

    HN discussion
11. todsacerdoti · 2025-11-05

    Submitted What is cosh(List(Bool))? Or beyond algebra: analysis of data types as a story · 4 points

    HN discussion
12. nikita_d · 2025-03-13

    Submitted From the Scathing Reviews Department: Feminism, Interrupted as a story · 4 points

    HN discussion
13. oecumena · 2022-08-24

    Submitted 3-Lisp: an infinite tower of meta-circular interpreters as a story · 4 points

    HN discussion
14. fanf2 · 2025-06-16

    Submitted What is cosh(List(Bool))? Or beyond algebra: analysis of data types as a story · 3 points

    HN discussion
15. ndanilov · 2024-05-07

    Submitted A History of Rectangle Area as a story · 3 points

    HN discussion
16. nikita_d · 2022-10-16

    Submitted Usched: Stackswap Coroutines Update as a story · 3 points

    HN discussion
17. oecumena · 2019-01-27

    Submitted Go Is Not My Favorite Programming Language as a story · 3 points

    HN discussion
18. nikita_d · 2026-09-21

    Submitted A (necessarily) brief history of the reminder of mathematics as a story · 2 points

    HN discussion
19. zX41ZdbW · 2025-11-23

    Submitted What is cosh(List(Bool))? Or beyond algebra: analysis of data types as a story · 2 points

    HN discussion
20. nikita_d · 2025-07-14

    Submitted Lightweight Static Initialization in C++ as a story · 2 points

    HN discussion
21. oecumena · 2025-02-26

    Submitted Formal verification of the long division algorithm as a story · 2 points

    HN discussion
22. vilhelm_s · 2023-12-18

    Submitted 3-Lisp: an infinite tower of meta-circular interpreters as a story · 2 points

    HN discussion
23. oecumena · 2020-11-11

    Submitted A curious case of stacks and queues as a story · 2 points

    HN discussion
24. oecumena · 2026-09-20

    Submitted A (necessarily) brief history of the remainder of mathematics as a story · 1 points

    HN discussion
25. ndanilov · 2025-03-04

    Submitted A Secret Liouville's Theorem as a story · 1 points

    HN discussion

Search all of HN for cofault.com

Linked by the same people?

• PPaul Grahampaulgraham.com