On mathematics, computation, philosophy, and the texture of thinking carefully about hard things.
A little more than a year ago, I started to see computer science differently. The mathematics behind it began to reveal itself to me, and I felt extraordinarily fortunate to understand its core. A couple of months later, I realized I had barely scratched the surface of this complex discipline.
"Computer science is not about coding. It never has been. It's about human thought — simulating pure human thought through mathematics."
The more I dove in, the more I felt the truth unravel. I encountered some brilliant, gigantic minds: Turing, Gödel, Dijkstra, Church. And I have loved them irrevocably. Because I have literally been feeling Turing speaking to me. I don't know if it's divine madness or real madness, but whatever it is, I'm finally seeing.
So I no longer "just code." I no longer search for syntax. Instead, I write the raw mental process my brain follows to solve a problem. Explain the cognition. Explain the brain working. That's what Turing wanted.
Turing had a question: "Can a machine think?" I have a new one: Can machines be kind?
On Turing, cognition, and why the field is about human thought — not code.
Formalisms and decision theories for designing autonomous AI systems from first principles.
My central research question. On ethics, formal constraints, and what deontic logic has to offer.
On learning mathematics the hard way — and why it permanently changed how I see everything.
From lambda calculus to Haskell to Elixir — why thinking in functions changes how you reason.
On the strange similarity between mathematical foundations and acts of faith. Why Platonism is hard to escape.
Why ethics cannot be an afterthought in AI systems — and what formal methods can actually guarantee.
More essays in progress. Updated as written.
Writing has always been part of how I think. Some thoughts only become clear in verse — not in prose, not in proofs.
Read on Substack ↗