Resources › cs › theory › computation › models Bookmarks 2026-08-24 video youtube.com · 1:10:14 Blaise Agüera y Arcas and Michael Levin: The Computational Foundations of Life and Intelligence computational biology 2026-04-16 video youtube.com · 1:06:53 David Jaz Myers: Paradigms of composition category theory 2026-02-27 bookmark developmentalsystems.org · 1 min Exploring Flow-Lenia Universes with a Curiosity-driven AI Scientist: Discovering Diverse Ecosystem Dynamics fundamentals 2026-01-16 bookmark ludwigabap.com · 2h 36m Why Philosophers Should Care About Computational Complexity epistemology 2026-01-12 bookmark thoughtforms.life · 14 min Algorithms Redux: finding unexpected properties in truly minimal systems 2026-01-09 bookmark alife.org · 1 min Lenia 2025-12-25 video youtube.com · 1:17:34 Lecture 22 - Kolmogorov Complexity + Halting Problem + Godel Incompleteness logiclogic 2025-10-06 video youtube.com · 56:12 "A Theoretical Computer Science Lens on Consciousness" by Lenore Blum, Manuel Blum, and Avrim Blum consciousnessmind 2025-09-15 bookmark writings.stephenwolfram.com · 1h 1m The Ruliology of Lambdas functional 2025-08-19 bookmark scottaaronson.com · 18 min Lecture 3: Gödel, Turing, and Friends logic 2025-08-05 bookmark rkka21.ru · 45 min An Overview Of Computational Complexity 2025-07-242 video youtube.com · 52:01 Stephen Wolfram - Where the Computational Paradigm Leads (in Physics, Tech, AI, Biology, Math, ...) metaphysics bookmark cs.cmu.edu · 52 min On The Unusual Effectiveness Of Logic In Computer Science logic 2025-07-225 video youtube.com · 36:54 But what is quantum computing? (Grover's Algorithm) complexity video youtube.com · 1:27:38 Stephen Wolfram | Computational Foundations of Everything epistemology video youtube.com · 1:08:23 Lambda Calculus vs. Turing Machines (Theory of Computation) logiclogic video youtube.com · 1:28:22 Quantum Computing for Computer Scientists video youtube.com · 17:56 Busy Beaver Turing Machines - Computerphile 2024-12-07 bookmark turing100.acm.org · 25 min TuringConf logic 2024-06-06 bookmark beza1e1.tuxen.de · 8 min Accidentally Turing-Complete Subcategories