Punchcard 0 commits
All followers
gdiazlo.tngl.sh
All the software in these repositories are experiments. They might have AI assistance, be generated by AI, or any other tools or combination of tools.
anil.recoil.org
Professor of Planetary Computing, University of Cambridge.
jonmsterling.com
I am an Associate Professor in Logical Foundations and Formal Methods at the University of Cambridge, and a Fellow of Clare College.
