Ray Myers

More is not better.

A fib is a trivial or childish lie.

This post has a companion episode of The Coding Agency.

I harass the sea with my tiny boat and am called a pirate, you do it with a great fleet and are called a king.

I love theorem provers, but the learning curve is notoriously steep.

This was my proposal for the 2026 MoonBit Software Synthesis Challenge.

Let’s talk about that moment when AI output shows up unsolicited in a human interaction.

I heard recently that Rust makes you “fight the compiler”, unlike C++.

Gender, Sex, and Sexual Orientation are categories of identities which have been repeatedly vilified throughout my lifetime in various ways.

There is currently no such thing as an “AI Software Engineer”.

So Agile Alliance is joining Project Management Institute (PMI).

2024 - The Year of Formal Methods Formal Methods Verified Refactoring (repo of examples) Refactoring With Proofs (video) Semi-Formal Methods (video) Theorem Provers are Refactoring Tools (video Halting The Halting Problem (video) AI Aspiring Luddite (vide…

It’s that time again!