Three ways formally verified code can go wrong in practice
"Correct" doesn't mean "correct" when correctly using "correct"
New Logic for Programmers Release!
v0.12 is now available! This should be the...
Similar Articles (10 found)
🔍 61.1% similar
Your job is to deliver code you have proven to work
18th December 2025
In all of the debates about the value of AI-assistance in software development ...
🔍 60.5% similar
If you’ve more than a couple of years of experience in IT, you probably have stumbled upon the following quote:
There are only two hard things in comp...
🔍 57.6% similar
May 2003
(This essay is derived from a guest lecture at Harvard, which incorporated
an earlier talk at Northeastern.)
When I finished grad school in c...
🔍 57.3% similar
People often assume that code is knowledge. They want "self explanatory" or "well documented code". Companies and managers often treat developers as i...
🔍 56.6% similar
May 2001
(These are some notes I made
for a panel discussion on programming language design
at MIT on May 10, 2001.)
1. Programming Languages Are for ...
🔍 56.1% similar
January 2003
(This article is derived from a keynote talk at the fall 2002 meeting
of NEPLS.)
Visitors to this country are often surprised to find tha...
🔍 55.6% similar
Published on 2025-12-27
Discussions: HN, /r/programming, lobsters.
Years ago, I maintained a big C++ codebase at my day job. This product was the brea...
🔍 55.5% similar
If You’re Going to Vibe Code, Why Not Do It in C?
Stephen Ramsay
Or hell, why not do it in x86 assembly?
Let’s get a few things out of the way before ...
🔍 55.3% similar
May 2002
"The quantity of meaning compressed into a small space by
algebraic signs, is another circumstance that facilitates
the reasonings we are acc...
🔍 55.2% similar
Opus 4.5 is going to change everything
If you had asked me three months ago about these statements, I would have said only someone who’s never built a...