2161
Coalton Playground: Type-Safe Lisp in the Browser
I wanted to share a side project I’ve been tinkering with for a while and finally got around to shipping: Coalton Playground – basically a web-based REPL for Coalton, which is this inte…
New
The latest blog posts to take off on Hacker News. 21,819 posts.
2162
Writing a competitive BZip2 encoder in Ada from scratch in a few days – part 2
Note for subscribers: if you are interested in my Ada programming articles only, you can use this RSS feed link. Link to Part 3 here . As ...
2163
SuperSight: A graphical enhancement mod for Brøderbund's "Stunts"
Clickbait disclaimer: Stunts was actually created by Distinctive Software; Brøderbund was only the publisher. But nobody heard about Distinctive , and I wanted to be sure this article does not get confused with the one about Disney's Stunt Island . Sorry about that.
2164
Go 1.25 Release Notes
The latest Go release, version 1.25, arrives in August 2025 , six months after Go 1.24 . Most of its changes are in the implementation of the toolchain, runtime, and libraries. As always, the release maintains the Go 1 promise of compatibility. We expect almost all Go programs to continue to compile and run as before.
2165
Evaluating LLMs playing text adventures
When we first set up the llm such that it could play text adventures , we noted that none of the models we tried to use with it were any good at it. We dreamed of a way to compare them, but all I could think of was setting a goal far into the game and seeing how long it takes them to get there. I just realised there’s…
2166
Recto – A Truly 2D Language
Recto is a 2D programming language that uses nested rectangles as its core syntax, encoding structure and recursion directly in space instead of a linear stream of text. Recto explores new ways to write, parse, and reason about code—and even natural language—spatially.
2167
Qodo CLI agent scores 71.2% on SWE-bench Verified
Read about Qodo scores 71.2% on SWE-bench Verified in our blog.
2168
Compiler Bug Causes Compiler Bug: How a 12-Year-Old G++ Bug Took Down Solidity
A subtle G++ bug from 2012, C++20’s new comparison rules, and legacy Boost code can collide to crash Solidity’s compiler on valid code. We unpack the surprising chain reaction and how to fix it.
2169
The Joy of Mixing Custom Elements, Web Components, and Markdown
Custom Elements are basically Markdown for HTML
2170
Faster substring search with SIMD in Zig
I've been learning a lot about low level programming languages lately, and for a long time there has been one thing that has interested me: SIMD (or 'single ins…
2171
Generic Containers in C: Safe Division Using Maybe
Martin Uecker, 2025-08-10 I discuss the implementation of type and bounds safe generic containers in C. Previously, I discussed a span type , bounds checking using arrays . and a a vector type . This time, I will discuss maybe inspired by Haskell. This type can used to return a value that may not exist, e.g. because…
2172
2173
Compiling a Lisp: Lambda lifting
first – previous
2174
Zig's Lovely Syntax
It's a bit of a silly post, because syntax is the least interesting detail about the language, but, still, I can't stop thinking how Zig gets this detail just right for the class of curly-braced languages, and, well, now you'll have to think about that too.
2175
GPT-OSS vs. Qwen3 and a detailed look how things evolved since GPT-2
And How They Stack Up Against Qwen3
2176
MCP: An (Accidentally) Universal Plugin System
Or: The Day My Toaster Started Taking Phone Calls
2177
Booting 5000 Erlangs on Ampere One 192-core
Underjord is an artisanal consultancy doing consulting in Elixir, Nerves with an accidental speciality in marketing and outreach. If you like the writing you should really try the pro version .
2178
The History of Windows XP
NT Vincit Omnia
2179
Writing simple tab-completions for Bash and Zsh
Shell tab-completions can be very handy, but setting them up is complicated by the fact that half your users would be using Bash-on-Linux, while the other half will be using Zsh-on-OSX, each of which has different tab-completion APIs. Furthermore, most users exploring an unfamiliar CLI tool using tab completion…
2180
The current state of LLM-driven development
I spent the past ~4 weeks trying out all the new and fancy AI tools for software development.
2181
Partially Matching Zig Enums
A short post about a neat little Zig idiom. Consider your average {sum type, variant, tagged union, enum, alt}:
2182
Undefined Behavior in C and C++ (2024)
In some ways, that's because C is a lower-level language, closer to assembly; it just gives you what the underlying machine gives you.
2183
GPT-5 vs. Sonnet: Complex Agentic Coding
OpenAI released GPT-5 yesterday, promoting it as their best model yet for agentic coding.
2184
Why tail-recursive functions are loops
One story every computing enthusiast should hear is the lesson ofhow loops and tail-recursion are equivalent. We like recursivefunctions because they’re amen...
2185
How attention sinks keep language models stable
We discovered why language models catastrophically fail on long conversations: when old tokens are removed to save memory, models produce complete gibberish. We found models dump massive attention onto the first few tokens as "attention sinks"—places to park unused attention since softmax requires weights to sum to 1…
2186
Linear sent me down a local-first rabbit hole
A deep dive into local-first architecture, triggered by wondering why Linear feels so fast. Looking at the technical implementation, exploring tools like Jazz and Electric SQL, and explaining why my next app might not need API endpoints.
2187
GPT-5 for Developers
Introducing GPT-5 in our API platform—offering high reasoning performance, new controls for devs, and best-in-class results on real coding tasks.
2188
Building Bluesky comments for my blog
I hate disqus too much.
2189
Creating the Longest Possible Ski Jump in “The Games: Winter Challenge”
An investigation into The Games; Winter Challenge
2190
An LLM does not need to understand MCP
Model Context Protocol (MCP) has became the standard for tool calling when building agents, but contrary to popular belief your LLM does not need to understand MCP.