A personal knowledge base for learning various topics
A complete listing of all topics organized by domain.
Mathematical approaches to proving software correctness
Principles underlying systems that span multiple machines
Large language models, multi-agent systems, and alignment
Low-level programming, performance, and systems design
Foundations of type systems and language design
Game mechanics, engines, and interactive systems
Technical communication and knowledge transfer
Building and operating production systems
How minds work and how we learn
Natural language acquisition
Topics I’m actively working on - see now.md
Topics where I have solid foundations
Topics that need another pass
Last updated: 2026-02