I've been trying to gather my thoughts for my next tiling theorem (agenda write-up here; first paper; second paper; recent project update). I have a lot of ideas for how to improve upon my work so far, and trying to narrow them down to an achievable next step has been...
Spoilers for Primer. I rewatched the movie Primer last night for the nth time. It's one of very few movies I'll rewatch every so often, when I've forgotten some of the details, because the experience of piecing the plot together is so satisfying. I sometimes watch it twice in a...
(This post elaborates on a few ideas from my review of Sam Eisenstat's Condensation: a theory of concepts. It should be somewhat readable on its own but doesn't fully explain what condensation is on its own; for that, see my review or Sam's paper. The post came out of conversations...
This is a brief note on what I did with my funding in 2025, and my plans for 2026, written primarily because Manifund nudged me for an update on my project. I ran my AISC project (which I announced here) with four mentees in Spring 2025: Norman Hsia, Hanna Gabor,...
This is my attempt to write down what I would be researching, if I were working directly with LLMs rather than doing Agent Foundations. (I'm open to collaboration on these ideas.) Machine Learning research can occupy different points on a spectrum between science and engineering: science-like research seeks to understand...
This will be the 30th post of at least 500 words I have written this month. (I did somewhat cheat two days ago, by making a 500+ word edit to Legitimate Deliberation, which I also posted independently as a shortform.) Inkhaven has been very much what I was hoping for....
cube_flipper of smoothbrains.net recently made something resembling the following argument in a talk. I like the argument because it uses tools of computationalism to argue against computationalism: it argues within the Solomonoff Induction framework, against the computationalist position on phenomenal consciousness. This is my own interpretation of the argument; if...