Hacker News
- Long division verified via Hoare logic https://www.cofault.com/2025/02/long-story-of-division.html 60 comments
- Stackswap coroutines, neither stackful nor stackless http://www.cofault.com/2022/10/usched-stackswap-coroutines-neither.html 7 comments
- 3-Lisp: an infinite tower of meta-circular interpreters http://www.cofault.com/2022/08/3-lisp-infinite-tower-of-meta-circular.html 28 comments
- Treadmill garbage collector by H. Baker http://www.cofault.com/2022/07/treadmill.html 59 comments
- File system replacement algorithms (2006) http://www.cofault.com/2006/10/file-system-replacement-algorithms.html 3 comments
Lobsters
- 3-lisp: An infinite tower of meta-circular interpreters https://www.cofault.com/2022/08/3-lisp-infinite-tower-of-meta-circular.html?m=1 2 comments lisp , plt