61
Go's Sweet 16
Happy Birthday, Go!
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 375 posts.
62
Use Your Type System
Today I'm discussing a trivially simple technique that I've rarely seen used in production codebases. In programming, we often need to deal with simple values that can be represented by simple, generic types built into our programming language or provided by libraries: types like integer, string, or UUID. In any
63
64
ML needs a new programming language – Interview with Chris Lattner
Listen in on Jane Street’s Ron Minsky as he has conversations with engineers working on everything from clock synchronization to reliable multicast, build systems to reconfigurable hardware. Get a peek at how Jane Street approaches problems, and how those ideas relate to tech more broadly.
65
Solving `Passport Application` with Haskell
Using logic programming to beat the game
66
Embedding Python in Elixir, it's fine
Introducing Python interpreter embedded in Elixir and a Fine way to write your NIFs.
67
Nvidia Security Team: “What if we just stopped using C?” (2022)
Today I want to share a great story about why many NVIDIA products are now running formally verified SPARK code. This blog post is in part a teaser for…
68
Phrase origin: Why do we "call" functions?
On StackExchange, someone asks why programmers talk about “calling” a function. Several possible allusions spring to mind: Calling a function is like calling on a friend — we go, we stay a while, we come back. Calling a function is like calling for a servant — a summoning to perform a task. Calling a function is like…
69
Why is the Rust compiler so slow?
I spent a month repeatedly building my website in Docker, and now have horrors to share.
70
Good-bye core types; Hello Go as we know and love it
Go 1.25 simplifies the language spec by removing the notion of core types
71
I spent a year making an ASN.1 compiler in D
In this post I’ll just rambling about ASN.1; parts of the compiler implementation, and some of the tool’s output rather than the tool itself as its still too WIP to really advertise on its own yet.
72
Why Algebraic Effects?
Algebraic effects 1 (a.k.a. effect handlers) are a very useful up-and-coming feature that I personally think will see a huge surge in popularity in the programming languages of tomorrow. They’re one of the core features of Ante, as well as being the focus of many research languages including Koka , Effekt , Eff , and…
73
What .NET 10 GC changes mean for developers
.NET 10 GC tuning shows how stack allocations, DATAS, and region sizing cut allocations, improve latency, and reduce your cloud cost.
74
The first year of free-threaded Python
A recap of the first year of work on enabling support for the free-threaded build of CPython in community packages.
75
Go 1.24's go tool is one of the best additions to the ecosystem in years
Why I'm very excited about `go tool` landing in Go 1.24.
76
Self-hosted x86 back end is now default in debug mode
This page contains entries for the year 2025 . Other years are available in the Devlog archive page .
77
Unison 1.0
After years of engineering, design, and community collaboration, we're excited to release Unison 1.0. This version delivers a refined programming workflow and a mature toolchain. Join us as we celebrate this milestone and look ahead to the future of Unison.
78
Jank is C++
jank is Clojure. jank is C++. The combination is amazing.
79
80
Compiling Ruby to machine language
I've started working on a new edition of Ruby Under a Microscope that covers Ruby 3.x. I'm working on this in my spare time, so it will take a while. Leave a comment or drop me a line and I'll email you when it's finished.
81
Why I Program in Lisp
A blog about computers, functional languages, Lisp, and Scheme.
82
83
Haskell: A Great Procedural Language
These sound like dismissals or absurdities from the outside, but once you learn what they really mean, they take on a new light. In this article, I want to explain the third. (See the appendix if you are curious about the first two.)
84
SPy: An interpreter and compiler for a fast statically typed variant of Python
Antonio Cuni's blog
85
Revisiting "Let's Build a Compiler"
There's an old compiler-building tutorial that has become part of the field's lore: the Let's Build a Compiler series by Jack Crenshaw (published between 1988 and 1995).
86
Typed languages are better suited for vibecoding
My >10 year old programming habits have changed since Claude Code launched. Python is less likely to be my go-to language for new projects anymore. I am managing projects in languages I am not fluent in—TypeScript, Rust…
87
A new experimental Go API for JSON
Go 1.25 introduces experimental support for encoding/json/jsontext and encoding/json/v2 packages.
88
Why don't you use dependent types?
To be fair, nobody asks me this exact question. But people have regularly asked why Isabelle dispenses with proof objects. The two questions are essentially the same, because proof objects are intrinsic to all the usual type theories. They are also completely unnecessary and a huge waste of space. As described in an…
89
“ZLinq”, a Zero-Allocation LINQ Library for .NET
I’ve released ZLinq v1 last month! By building on structs and generics, it achieves zero allocations. It includes extensions like LINQ to…
90
Writing your own BEAM
This is my Code BEAM Europe 2025 talk, converted to a blogpost.