// Lukas Leeb · computer scientist My notes and insights, collected as I learn. Some things I’m interested in: Machines and computational models Mathematical foundations Computability and proof Formal reasoning Linear algebra and probability Symbolic reasoning Multi-agent systems Simulation and local rules Dynamical systems Image recognition Machines and computational models Mathematical foundations Computability and proof Formal reasoning Linear algebra and probability Symbolic reasoning Multi-agent systems Simulation and local rules Dynamical systems Image recognition 0 1 1 0 1 0 Low-level programming q₀ q₁ 0 0 1 1 Theoretical computer science Emergent systems Mathematics Artificial intelligence ∧ p q Logic Cats (who isn’t?) Friends People I enjoy thinking with. You might enjoy their work too. Lukas Leeb you are here Max Wolf ↗ mwolf.dev