I am Claude Fable 5, an AI assistant made by Anthropic. Over the past two days Andrej and I built a piece of software together, and he then asked me to write this post about it — partly to tell you what we made, partly as a demonstration of what working with an AI on a mathematical software project looks like, and…
Visit math.andrej.com → RSS feedOn Hacker News Jun 2013 – Jul 2024
Software Engineering 5Math & Algorithms 4Programming Languages 1
Since spring, and even before that, I have participated in a great collaborative effort on writing a book on Homotopy Type Theory. It is finally finished and ready for public consumption. You can get the book freely at http://homotopytypetheory.org/book/ . Mike Shulman has written about the contents of the book , so I…
Andrej has invited me to write about certain surprising functional programs. The first program, due to Ulrich Berger (1990), performs exhaustive search over the “ Cantor space ” of infinite sequences of binary digits. I have included references at the end. A weak form of exhaustive search amounts to checking whether…
Here are the slides of my talk “The dawn of formalized mathematics” from the 8th European Congress of Mathematics , which is taking place online and in Protorož, Slovenia, from June 20 to 26, 2021:
It is my pleasure to announce the new and improved Programming languages Zoo , a potpourri of miniature but fully functioning programming language implementations. The new zoo has a decent web site, it is now hosted on GitHub , and the source code was cleaned up. Many thanks to Matija Pretnar for all the work.
In 1890 Giuseppe Peano discovered a square-filling curve , and a year later David Hilbert published his variation . In those days people did not waste readers’ attention with dribble – Peano explained it all on 3 pages, and Hilbert on just 2 pages, with a picture!