My Current Work
(no matter what I do,the Universe is still doing its own thing)
ai blue dot
A short page about my motivation to develop aibluedot.com. I try to explain how the notes taken while I was working on strictly technical AI projects became a full-fledged website with 18 articles.
sd-ai
A short note on the non-profit organization I founded in 2022. And a description of its mission to work on initiatives that will focus on using AI to strengthen democratic institutions.
Books
I published two series, one on Formal Software Development, and the other being the material on AI Blue Dot in book form. The common thread in all my work is that AI regulation will eventually have to have a formal aspect. That means a lot of mathematical logic.
Math & AI
Notes on the hugely consequential interaction between Mathematics and Artificial Intelligence.