Resources › cs › theory › computation › models Bookmarks Juergen Schmidhuber: Godel Machines, Meta-Learning, and LSTMs | Lex Fridman Podcast #11 Added on July 22, 2025 · 79:58 · 137.6K views ai/neural_networks Lambda Calculus vs. Turing Machines (Theory of Computation) Added on July 22, 2025 · 68:23 · 24.0K views mathematics/logic TuringConf Added on December 7, 2024 · 25 min read mathematics/logic Subcategories