Top posts

Every blog post that took off on Hacker News, ranked by the votes of its best submission. 233 posts.

Programming Languages
2026
153

Racket v9.3

_posted by Stephen De Gabrielle and John Clements_ We are pleased to announce Racket v9.3 is now available from https://download.racket-lang.org/. As of this release:: The `raco setup` command can generate markdown documentation, using the `--doc-mark...

156

I Wrote a Scheme in 2025

One year minus one week ago to the day I published an article announcing the new Scheme implementation I was writing, scheme-rs . Today I am excited to announce that scheme-rs has reached its first version, 0.1.0 . You can check it out at it’s website ( scheme-rs.org , which should be updated to scheme.rs at some…

160

Memory layout in Zig with formulas

I was recently encouraged to watch A Practical Guide to Applying Data Oriented Design (DoD) by Andrew Kelley, the creator of Zig1. Just 10 minutes into the talk, I was confronted with a skill I had never formally learned… the arithmetic behind memory layout of types. Zig is a modern, C-like programming language which…

174

Learning Lean: Part 1

Motivation I’ve been captivated by the recent movement to popularize mathematics formalization through the Lean theorem prover, and this year I’m diving deeper into learning it. For those unfamiliar with this revolution, I highly recommend watching Kevin Buzzard’s talks on YouTube for an overview of why formal…

178

Swift 6.4 Released

Swift 6.4 is now available. Swift aims to be a great choice across the stack, from apps and servers to systems code, embedded devices, and the browser. This release deepens that support, and makes everyday code easier to write. Highlights include: