181
Two studies in compiler optimisations
A deep dive into the intricacies of the LLVM optimisation pipeline.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 233 posts.
182
Parsing Expression Grammar vs. Regexes: Building Org Parser in Lisp, Export HTML
Converting Org to HTML with (ice-9 peg) in Guile: OrgWebAlchemy
183
From Rust to Ruby
Who does things like that?!? Apparently: me. I have my own project, written in Rust. Not a big one, mind you, maybe approx. 30k lines of code in total. Rust is verbose so it’s not really that impressive. I’ve put it aside for some time and was toying with local inference, LLMs, writing agents and my attention was…
184
Parse, Don't Validate – In a Language That Doesn't Want You To
Applying Alexis King's parse-don't-validate principle in TypeScript, where the type system fights back just enough to be annoying.
185
Clamiga: Common Lisp for the Amiga
After the ACE BASIC posts of the last months, this one is about a different project I have been working on for the last half year: CL-Amiga , or Clamiga for short. It is a Common Lisp implementation built for the Amiga family -- classic AmigaOS 3 on 68k and MorphOS as a fully native PPC build, AROS and AmigaOS 4 maybe…
186
187
Excessive nil pointer checks in Go
Let’s talk about nil pointer checks in Go. You want to prevent panics in production, but that doesn’t start with a deferred recover. It starts with defensive programming. Check your inputs, check your bounds, and check pointers for nil before dereferencing them. I’ve started to see more nil checks in Go code. In the…
188
Lisp moving Forth moving Lisp
This chapter is a culmination of many macro techniques we have looked at so far in this book. Using macro abstractions we have developed, we create an implementation of one of my favourite programming languages: forth . Although this implementation embodies most of the important ideas of forth, it is very different…
189
Ante: A new way to blend borrow checking and reference counting
Ante has taken the first step towards something we all thought was impossible: blending reference counting and borrow checking without run-time crashes. 0
190
C++26: The Oxford Variadic Comma
C++26 brings us a small but meaningful cleanup to the language: deprecating ellipsis parameters without a preceding comma. This change, proposed in P3176R1, aims to improve C compatibility, reduce confusion, and pave the way for future language features. The proposal’s name is a playful reference to the Oxford comma …
191
Lil' Fun Langs
a pungent monad odor that attracts mathochists
192
C constructs that still don't work in C++
A 2026 sequel to C Constructs That Don't Work in C++: what still breaks, what C++20 changed, and what C23 changed.
193
Unsigned sizes: A five year mistake
C3 is the ergonomic, safe evolution of C. Familiar syntax, full ABI compatibility, optionals, slices, contracts and zero-cost abstractions.
194
Rust's derive often implies inline
In Rust, one of the most common ways to implement core traits (like Debug , Display , and Clone ) is to #[derive(...)] them, e.g.:
195
Common Lisp Development Tooling
A beginner's exploration of the many layers of Common Lisp development environments.
196
Comparing Python Type Checkers: Typing Spec Conformance
Learn what it means to conform to the Python typing spec, why it matters, and the conformance status of each type checker including Pyrefly, Ty, Pyright and Mypy.
197
I made a programming language with M&Ms
I built a tiny programming language where programs are candy grids, complete with a renderer, photo decoder, AST tree, and execution trace.
198
G# – A modern .NET language with Go, Kotlin, and Swift ergonomics
Meet G#: expressive data types, explicit nullability, and structured concurrency on .NET. Explore real examples and run your first project.
199
A case against currying
Curried functions are probably one of the first new things you come across if you go from an imperative language to a functional language. In purely functional languages, the convention is to define an n-parameter function inductively by staggering the parameters: applying the function to argument #1 returns a…
200
NoiseLang: Where N = 5 is a Dirac delta
A signals-and-noise course left me writing Monte Carlo math on paper and wishing the notation itself would run. Nine years later, with an AI agent doing the heavy lifting, NoiseLang became a real Monte Carlo language that runs the same fused kernel on the GPU, on every CPU core, and on WebAssembly.
201
The Sovereign Tech Fund invests in Scala
We’re truly excited to share that Scala has received an investment from the Sovereign Tech Fund to strengthen Scala’s long-term security, maintenance, and developer experience.
202
203
Go Naming Conventions: A Practical Guide
My new book guides you through the start-to-finish build of a real world web application in Go — covering topics like how to structure your code, manage dependencies, create dynamic database-driven pages, and how to authenticate and authorize users securely .
204
Turbo Pascal on CP/M, MSX-DOS and MS-DOS
The Pascal language was named after Blaise Pascal (see picture), a French mathematician who was a pioneer in computer development history. In 1641, at the age of eighteen, Pascal constructed the first arithmetical machine, arguably the first computer. He would improve upon the instrument eight years later. In 1650…
205
Go 1.26 Interactive Tour
New with expressions, type-safe error checking, and faster everything.
206
Garbage collection without unsafe code
Many people, including myself, have implemented garbage collection (GC)libraries for Rust. Manish Goregaokar wrote up a fantastic survey of thisspace a few y...
207
Understanding Clojure's Persistent Vectors, pt. 1 (2013)
Ever wondered how Clojure's persistent vector actually works? This is part 1 of a blog series which aims to explain them.
208
C++26: The New Debugging Header
If you’ve ever needed to hit a breakpoint programmatically in C++, you’ve probably written something like this: 1 2 3 4 5 6 7 8 9 #if defined(_MSC_VER) __debugbreak(); #elif defined(__clang__) __builtin_debugtrap(); #elif defined(__GNUC__) && (defined(__i386__) || defined(__x86_64__)) __asm__ volatile("int3"); #else…
209
C's Flexible Integer Sizes Were Not a Design Mistake
Word sizes, strange machines, and why <strong>int</strong> was never meant to mean 32 bits. C's flexible integer types were how the language achieved portability in a world of 12, 18, 36, and 60-bit computers.
210
OpenLDK: Bringing the Java World into Common Lisp
Java classes become CLOS classes, seven JVM languages share one Lisp expression, and a saved Spring Boot application launches in 84 milliseconds.