Raymyers

More is not better. Faster is not better. Better is better. - Kira Howe Hello! Welcome the first installment of Dark Factory Considered Harmful , a 12-part systemic intervention to mitigate the near-term impact of the Code Abolitionists. Throughout the se

A fib is a trivial or childish lie. The Fibonacci sequence is an elegant progression of numbers first documented by Indian poet-mathematician Acharya Pingala circa 200 BCE. It was dubbed "Fibonacci" after Leonardo of Pisa, who included it in his "Book of

This post has a companion episode of The Coding Agency. Have you ever had your stomach turn from looking at your own slide deck? This headline did it for me: AI is Transforming Software Yuck . It was just a bridge on the way to a more substantial point, b

Programming language drama ensues as tech bros oversell the end of software engineering.

I love theorem provers, but the learning curve is notoriously steep. Here are the resources that helped make them click for me. Start here Play the Natural Number Game . One of the biggest hurdles getting started is simply understanding what tactics are.

This was my proposal for the 2026 MoonBit Software Synthesis Challenge . The organizers gave a friendly and thoughtful response, but considered it out of scope for the competition. MoonBit aims to provide strong assurances to its users. For instance, its

Let's talk about that moment when AI output shows up unsolicited in a human interaction. It happens a bit much for my taste. What should the etiquette be? I've arrived at a principle I call: Don't make me talk to your chatbot. It's fine that people talk t

I heard recently that Rust makes you "fight the compiler", unlike C++. Anyway, time to bootstrap a single-dependency C++ project. This should be a walk in the park, since the dependency I need is well-maintained and has a polished build process. A 300 lin

Gender, Sex, and Sexual Orientation are categories of identities which have been repeatedly vilified throughout my lifetime in various ways. When we express acceptance of these groups in various innocuous and undemanding ways such as "let people get marri