Open textbook Theory of Computing: A Gentle Guide to Formal Languages and Computability
burkov · x · 2026-10-10
ML author Andriy Burkov recommends the open-access textbook "Theory of Computing: An Open Introduction" (Taylor J. Smith, 2024), calling it a must-read for anyone serious about computer science.
Aimed at undergraduates and instructors, the book assumes basic math and CS thinking, with an appendix covering sets, relations, functions, sequences, and graphs. It focuses on formal languages, abstract automata, and computability theory — what idealized computational models can do when freed from physical limits like finite memory — rather than a Boolean-circuit engineering approach.
More from Companies & People
- NUS MAGIC Lab is hiring postdocs, PhD students and research engineers in robotics — DJiafei · 2026-10-10
- Google Fellow Milanfar argues AI still needs engineers in keynote speech — docmilanfar · 2026-10-10
- LoRA co-creator Edward Hu joins Mercor to train Qwen-based model as Google, xAI build in-house data teams — FinanceYF5 · 2026-10-10
- AI drama: willcb claims he tweeted an idea 500 times vs Karpathy's 2 — willcb · 2026-10-10
- SF event Oct 22 asks what it takes for AI to run scientific research end to end — nlarusstone · 2026-10-10
- Simulithic hires a design engineer to craft seamless human and agent interfaces — KlausCodes · 2026-10-10