2025-08-25
Everything I know about good API design
www.seangoedecke.com/good-api-design2025-07-03
A Higgs-bugson in the Linux Kernel
blog.janestreet.com/a-higgs-bugson-in-the-linux-kernelWe recently ran across a strange higgs-bugson that manifested itself in a critical system that stores and distributes the firm’s trading activity data, called Gord. (A higgs-bugson is a bug that is reported in practice but difficult to reproduce, named for the Higgs boson, a particle which was theorized in the 1960s but only found in 2013.) In this post I’ll walk you through the process I took to debug it. I tried to write down relevant details as they came up, so see if you can guess what the bug is while reading along.
2025-05-30
The PGP Problem
www.latacora.com/blog/2019/07/16/the-pgp-problemWhy do people keep telling me to use PGP? The answer is that they shouldn’t be telling you that, because PGP is bad and needs to go away.
2025-05-23
honk
humungus.tedunangst.com/r/honk
Take control of your honks and join the federation.
An ActivityPub server with minimal setup and support costs.
Spend more time using the software and less time operating it.
2025-05-15
Speculation in JavaScriptCore
webkit.org/blog/10308/speculation-in-javascriptcoreThis post is all about speculative compilation, or just speculation for short, in the context of the JavaScriptCore virtual machine.
2025-04-04
Pitfalls of Safe Rus
corrode.dev/blog/pitfalls-of-safe-rustWhen people say Rust is a “safe language”, they often mean memory safety.
And while memory safety is a great start, it’s far from all it takes to build robust applications.
Memory safety is important but not sufficient for overall r…
2025-03-18
CASCII - ASCII Diagram Builder
cascii.appA well-equipped ASCII diagram builders freely available on the internet.
It stresses portability, simplicity, and immediateness.
2024-09-30
On Leaving Apple
typesanitizer.com/blog/leaving-apple.html2024-09-18
Typescript is surprisingly ok for compilers
matklad.github.io/2023/08/17/typescript-is-surprisingly-ok-for-compilers.html2024-08-15
Writing a C Compiler
nostarch.com/writing-c-compilerA fun, hands-on guide to writing your own compiler for a real-world programming language.
2024-06-26
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net/2019/05/05/hindley-milner.html2024-06-18
Understanding a Python closure oddity
utcc.utoronto.ca/~cks/space/blog/python/UnderstandingClosureOddity2024-06-14
A useful shell prompt
blog.meain.io/2022/my-shell-promptFeatureful zsh prompt.
2024-06-13
Category Theory for Programmers: The Preface
bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-prefaceSolving SAT via Positive Supercompilation
hirrolot.github.io/posts/sat-supercompilation.htmlMy personal C coding style as of late 2023
nullprogram.com/blog/2023/10/08Arena allocator tips and tricks
nullprogram.com/blog/2023/09/272024-06-11
Optimizing Font Files for the Modern Web
documentation.platformos.com/best-practices/performance/optimizing-font-files2024-06-10
On Dependency Usage in Rust
landaire.net/on-dependency-usage-in-rustRust and Node aren't bad for encouraging dependency use -- your favorite language's tools just suck.
2024-06-09
The Hare programming language
harelang.orgHare is a systems programming language designed to be simple, stable, and robust. Hare uses a static type system, manual memory management, and a minimal runtime. It is well-suited to writing operating systems, system tools, compilers, networking software, and other low-level, high performance tasks.