Reading Code Considered Helpful
More is not better. Faster is not better. Better is better.
Ray Myers
Retrofuturist Software Mender
Latest posts
Fibs and Fibbonacci - is LOGOS faster than Zig?
Another fake compiler. Nothing to see here. Do not read this article.
Why Linus is Right and AI is Wrong
Here's what they miss about AI criticism: every single thing
Zig Creator Calls Spade a Spade, Anthropic Blows Smoke
Programming language drama ensues as tech bros oversell the end of software engineering.
How to Learn Theorem Provers
Resources for getting started with formal verification.
Proposal for MoonBit Formal Semantics
A proposal to formally define MoonBit's operational semantics and lay the groundwork for type soundness proofs.
Don't Make Me Talk to Your Chatbot
It's fine that people talk to chatbots, but they shouldn't expect me to listen to theirs.
C++ Gets Worse Every Year
We don't need your stinking Cargo
On Gender Identity
Gender, sex, identity, and acceptance.
AI Software Engineers don't exist
It is neither reasonable nor ethical to brand AI tools such as Coding Agents as interchangeable with humans
Projects Are Agile Again
Agile Alliance is controversially joining PMI. Why was Agile allergic to projects?
Selected Back Catalog
Some things I said before I started saying things here
Hello, world!
New year, new blog!