I use this website to collect the articles, research papers and videos I encounter on the Internet, along with centralizing some of my thoughts on computer science, AI, mathematics and other things that interest me. You can learn about me here and about the website there.

I am a generalist. I am most engaged when working on hard problems that I have not yet wrapped my brain around.

Recent Writings

2026-04-16 · essay · 28 min On Michael Levin's research and approach
2026-01-23 · essay · 9 min On a book review and my recent trip to Vienna
2025-12-26 · essay · 13 min On The Math Books I am using to learn about Pure Mathematics - Part 1
2025-12-25 · essay · 9 min On my personal development environment and some of the tools I use
2025-12-09 · note · 3 min Some thoughts about myself

See all 21 writings →

Recent Activity

2026-09-023
Institute for Advanced Study · 55:56 Univalence from a computer science point-of-view - Dan Licata type theoryalgebraic topology
Institute for Advanced Study · 53:25 What is... p-adic geometry? - Jacob Lurie algebraic geometry
Hundred Rabbits · 39:19 Permacomputing 101 sustainability
2026-09-015
bitsquid.blogspot.com · 9 min Managing Coupling architecture
blog.computationalcomplexity.org · 2 min 2... 1/2 THEN 3... 1/6 THEN 5 ....1/15 and so on. And So On? number theory
goodfire.com · 6 min A Geometric Calculator Inside a Neural Network interpretability
homotopytypetheory.org · 1 min Can the type of truth values be given the structure of a group? type theorycategory theory
Gottfried Wilhelm Leib... · 1677 The True Method
2026-08-3112
Jeffrey Seely · 2025 Sheaf Cohomology of Linear Predictive Coding Networks
ciechanow.ski · 39 min Mechanical Watch mechanical engineering
plato.stanford.edu · 1h 39m The Computational Theory of Mind mind
plato.stanford.edu · 1h 14m Connectionism theorymind
David Corfield · 2017 Reviving the Philosophy of Geometry
Roberto Torretti · 1978 Philosophy of Geometry from Riemann to Poincare
Bruno Latour · 1992 Where Are the Missing Masses? The Sociology of a Few Mundane Artifacts
scattered-thoughts.net · 7 min Unexplanations: relational algebra is math databases
Bruno Latour · Soziale Welt 1996 On Actor-Network Theory: A Few Clarifications
100r.ca · 10 min internet in paradise uncategorized
rkirov.github.io · 5 min Three Cultures of Math mathematics
Xiaoyu Li · 2026 Flood and Harvest: The Provable Necessity of Trivia for Generating Valuable Mathematics via the Lens of Language Generation in the Limit

all 955 bookmarks · all 465 videos · all 240 papers