1231
Common Lisp Development Tooling
A beginner's exploration of the many layers of Common Lisp development environments.
Top posts
Every blog post that took off on Hacker News, ranked by the votes of its best submission. 1,422 posts.
1232
Implementing a tiny CPU rasterizer (2024)
In the OpenGL course I'm teaching at a university, my students learn that the GPU uses something called rasterization to draw stuff on the screen. Then, I explain how — in theory — rasterization works, e.g. how would one write the code to draw a fixed triangle on screen. Of course, the GPU does that for us, but it is…
1233
The occasional ECONNRESET
Two services running on the same machine. One of them opens a listening TCP socket bound to localhost, the other one connects to that. They exchange data. Every now and then , the service that initiated the connection gets an ECONNRESET while reading data from the socket -- but no other errors show up in the logs, no…
1234
The Two Abstractions of System Design: Hide or Reduce
When talking about TLA+, I keep referring to "abstraction" as the most important thing to learn . And it is about the hardest to learn as w...
1235
A blueprint for formal verification of Apple corecrypto
With the latest release of corecrypto, we’re publishing our implementations of quantum-secure ML-KEM and ML-DSA algorithms, along with the mathematical proofs we built to assure they are faithful to the FIPS 203 and FIPS 204 specifications. To advance the state of the art for assuring critical software, we're also…
1236
1 kilobyte is precisely 1000 bytes?
We usually learn that 1 kilobyte is 1024 bytes, 1 MB is 1024 kilobytes, etc. But is this true or a kilobyte is precisely 1000 bytes?
1237
1238
Git rebase -i is not that scary
a guide to interactive rebasing.
1239
Ported my C game to WASM, here's every bug that I hit
ernesernesto dev blog
1240
Software engineering is about managing complexity
There is a misunderstanding about software engineering that AI is making increasingly visible: we tend to confuse writing code with building software.
1241
Building an (almost) fully self-hosted, sandboxed, agentic software factory
I built an (almost) fully self-hosted, sandboxed, agentic software factory.
1242
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.
1243
Measuring AI agent autonomy in practice
Analysis of millions of human-agent interactions shows agent turns getting longer, with software engineering making up nearly half of tool calls.
1244
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.
1245
Dissecting the CPU-memory relationship in garbage collection (OpenJDK 26)
The author of Java 26's MemoryMXBean.getTotalGcCpuTime() analyzes the CPU-memory trade-off and why pause times fail to capture explicit GC cost.
1246
Inventing the Future, One Lisp Machine at a Time
On the March 10, 2025 episode of Do You Speak Tech?, I sat down with two names woven into the early fabric of modern computing: Larry Masinter and Frank
1247
Shipping Godot VR and Porting to PSVR2: A Partial Post Mortem
TLDR: Written version of the talk I gave at Develop Brighton 2026. Yes Godot can ship commercial VR, we paid roughly £80k in early adopter tax to do it. War stories from rebuilding Godot's core, the
1248
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.
1249
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…
1250
Log messages are mostly for the people operating your software
You're probably reading this page because you've attempted to access some part of my blog (Wandering Thoughts) or CSpace , the wiki thing it's part of. Unfortunately you're using a browser version that my anti-crawler precautions consider suspicious, most often because it's too old (most often this applies to versions…
1251
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.
1252
80386 Memory Pipeline
The FPGA 386 core I've been building now boots DOS, runs applications like Norton Commander, and plays games like Doom. On DE10-Nano it currently runs at 75 MHz. With the core now far enough along to run real software, this seems like a good point to step back and look at one of the 80386's performance-critical…
1253
Making ASCII Art in Vim
I like using Vim to make ASCII art. I don't use any plugins; Vim already has a bunch of built-in features that are super useful for making ASCII art!
1254
Hunting Down a Go Runtime Bug on 32-Bit Embedded Systems
A customer's Go application kept crashing on a 32-bit embedded Linux system. We traced the fatal netpoll error to a pointer aliasing bug in the Go runtime.
1255
A 40ms Go garbage collector pause caused by swap
I’m writing this so you don’t slap your forehead like I almost did when I decided to run swap in production to absorb memory spikes.
1256
OurCar: What I learned making an app for my family
An adventure in making a utility
1257
Package management is a wicked problem
Why fixing package managers is harder than it looks.
1258
Government Rails Site Hit Hours After CVE Patch
Rietta patched a government client's Ruby on Rails site within hours of a 9.5 CVSS ActiveStorage CVE. Exploit attempts began before business hours resumed.
1259
Cursed circuits #5: capacitance multiplier
Capacitor vendors don't want you to know this! Save money on capacitors by spending more on other components
1260
SVG-Line: Better Status Bars for Emacs – Charlie Holland's Blog
Emacs provides four useful status bars (mode-line, header-line, tab-bar, and tab-line), but each imposes different, inconsistent limits on multi-line layout, al...