Cross-posted at Crooked Timber, as part of the seminar on Red Plenty. That version has uglier math, but allows comments.
The Optimization Trap: Why Too Much Efficiency Makes Us Fragile with Olivier Hamant
Practical Optimizations
How Clay's UI Layout Algorithm Works
How Clay's UI Layout Algorithm Works
A beautiful constraint – summary
A beautiful constraint. How to transform your limitations into advantages. By Adam Morgan & Mark Barden. Summarised by paul_arnold@me.com – Strategic facilitator, planner and trainer. Th…
An invitation into Droste's Lair
A swords-and-sorcery programming environment for building and counting mathematical structures
An invitation into Droste's Lair
A swords-and-sorcery programming environment for building and counting mathematical structures
OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems
Math is hard.
Timothy Gowers @wtgowers on Twitter / X
AI has now solved a major open problem -- one of the best known Erdos problems called the unit distance problem, one of Erdos's favourite questions and one that many mathematicians had tried.https://t.co/SD1vVPkrHR— Timothy Gowers @wtgowers (@wtgowers) May 20, 2026
Solving Economic Inequality in MMOs · Piston
A user friendly game engine written in Rust
Michael Truell on Twitter / X
We believe Cursor discovered a novel solution to Problem Six of the First Proof challenge, a set of math research problems that approximate the work of Stanford, MIT, Berkeley academics. Cursor's solution yields stronger results than the official, human-written solution.…— Michael Truell (@mntruell) March 3, 2026
Your Solution Doesn't Know Your Problem Exists
If your problem is structural, your approach must be radical.
VibeMathed - Math Problems Solved by AI
A community-curated record of math problems no human had solved before, proved or disproved with AI in the loop - with checkable sources and verification labels.
Call for Participation
ACM Conference on Equity and Access in Algorithms, Mechanisms, and Optimization