I first started compiling "How To Thought Lead" in my notes 5 years ago, at first as an ironic parody and then slowly becoming sincere, and never published it, 1) because I don't know if I ever really nailed it ...
I was at a school function the other day where the 2nd graders performed a bunch of Aesop’s Fabels and it was great. It was a double-header with 3rd graders who then read prepared reports on famous people. It was ...
Pro-tip to any devs who only discovered TDD thanks to coding agents: refactoring is inherently directional. It's more like prefactoring—you rearrange code to make the next change easy. That means you (and your agent) should know the next planned change ...
See an animation of a trapezoid innscribed in a circle, built with some maths and the help of an LLM. The animation My brother asked for my help to build an animation of a trapezoid inscribed in a circle that ...
Today I learned that cyclic quadrilaterals have supplementary opposite angles. A cyclic quadrilateral — a quadrilateral whose four vertices all lie on a single circle — has supplementary opposite angles. This means that opposite angles add to 180 degrees, or ...
I'm still iterating on my experimental Claude Code verification harness, prove_it. This week my focus has been on nudging agents to practice test-driven development. Traditionally, we called this "TDD", but which has recently been renamed to "red-green TDD" as it ...
Claude's electron app for macOS is such a buggy mess that I've uninstalled it and sequestered it to a Safari tab, just like I did to Slack, Discord, etc., six years ago. ChatGPT is a native app where things like ...
I've been thoroughly enjoying my time in Pokopia but it wasn't til the end game when I started taking a look at all the switch mechanics. One of the coolest switches is the Laser Sensor which allows y...