Non-technical suggestions
Video
- Charles Babbage
- The Turing Lectures: The future of generative AI
- 5 Simple Steps for Solving Any Recursive Problem
- Building Collision Simulations: An Introduction to Computer Graphics
- AI: Grappling with a New Kind of Intelligence
- Gödel and Turing
- Incomputability
- The Mathematics of Alan Turing - Professor Angus MacIntyre
- Turing and von Neumann - Professor Raymond Flood
- Incompleteness: The Proof and Paradox of Kurt Godel - R. Goldstein
- William Gasarch - The Muffin Problem
- Hilbert's Dream, Tim Gowers
- Incompleteness: The Proof and Paradox of Kurt Godel - R. Goldstein
- Julia Robinson and Hilbert's Tenth Problem
- The Oldest Unsolved Problem in Math (youbetube)
- Math's Fundamental Flaw (youtube)
- The Fastest Maze-Solving Competition On Earth (youtube)
- Shannon - Father of the Information Age
- Tech Icons: Claude Shannon
- The Dream of a Universal Machine for Cryptanalysis
- How Enigma was broken - Sir B. Turing
- Mathematical Thinking - T. Tao
- Colossus at 70
- A Masterclass In Curiosity (C. Banister)
- How Imaginary Numbers Were Invented
- Socrates - The Man Who Knew Too Much
- Quantum Mechanics and Black Holes (B. Greene and L. Susskind)
- AI and Mathematics (T. Tao, IMO 2024)
- Why Democracy Is Mathematically Impossible
- Neural and Non-Neural AI, Reasoning, Transformers, and LSTMs
- STOC 2021 - 50th Anniversary of the Cook-Levin Theorem
Video Interviews
- Chaitin podcast
- Scott Aaronson: From Quantum Computing to AI Safety
- Intelligent Thinking About Artificial Intelligence
- Quantum Information’s Revolutionary Origins | Charles Bennett
- The Turing Lectures: The future of generative AI
- Hassabis: Using AI to Accelerate Scientific Discovery
- Zero Knowledge Proof (with Avi Wigderson)
- The Man Who Revolutionized Computer Science With Math
- Guido van Rossum: Python and the Future of Programming
- James Gosling: Java, JVM, Emacs, and the Early Days of Computing
- When Computers Write Proofs, What's the Point of Mathematicians?
- Value (and Pitfalls) of Proof — Persi Diaconis
- Quantum Information’s Revolutionary Origins | Charles Bennett
- Hassabis: Using AI to Accelerate Scientific Discovery
- Leonard Susskind: String Theory, Fine-Tuning, and the Physics of the Multiverse
- John Conway: Surreal Numbers
- Interview with Martin Davis (AMS)
- Conversation between Chaitin and Wolfram - Summer School 2021
- Minsky - Solving Emil Post's problem
- Teller Describes 1950s Von Neumann
Printed Interviews
- Interview with Shannon (1980)
- Chaitin interview (transcript)
- Diaconis
- Martin Davis (Alan Turing Interview )
- Probability and the real world (Aldous interview)
- Wigderson Wins Turing Award
- Impagliazzo - interview
- Juris Hartmanis (interview)
Science channels
- Science Pop news and podcasts
- Nobel Prize
- Art of the Problem
- Quanta Magazine
- Royal Institution
- Royal Institution Archive
- Nobel Minds
- Domain of Science
- World Science Festival
- Veritasium
- Science channel
- Paul G. Allen School
- Sabine Hossenfelder (channel)
- Cyber News
- RSA Conference
- Motherboard
- DEFCON
- Hardware Haven
- Black Hat
Books
- The Code Book: Science of Secrecy Letters to a Young Mathematician
- Weapons of Math Destruction e: Story of a Number
- One, Two, Three...Infinity Zero: Biography of a Dangerous Idea
- Innumeracy: Mathematical Illiteracy Man Who Knew Infinity: Ramanujan
- How to Lie with Statistics Mathematical Proofs and Discovery
- Fibonacci's Revolution Beyond Infinity (Limits of Mathematics)
- The Code Book: The Science of Secrecy
- Letters to a Young Mathematician
- Weapons of Math Destruction
- e: the Story of a Number
- One, Two, Three...Infinity
- Zero: The Biography of a Dangerous Idea
- Innumeracy: Mathematical Illiteracy
- The Man Who Knew Infinity: Ramanujan
- The Man of Numbers: Fibonacci's Revolution
- Beyond Infinity - Limits of Mathematics
- How to Lie with Statistics
- Mathematical Proofs and Discovery
- Gödel's Incompleteness Theorems - R. M. Smullyan
- A Guided Tour Through Kurt Gödel’s Historic Proof - D. W. Hoffmann
- Light and Color in the Outdoors - Minnaert
- The rise of Mathematical Logic: from Demonstration to Laws of Thought to Foundations for Mathematics
Games
- Play the Hextris Game
- Combinatorial tilings from finite subdivision rules
- Penrose Tiling Online Generator
Fraudulent science
- Rooting out scientific misconduct
- Fake scientific papers are alarmingly common
- List of scientific misconduct incidents (wiki)
- The Lasting Impacts of Scientific Fraud
- Why Scientific Fraud Is Suddenly Everywhere
- Scientific misconduct (wiki)
- Fraud, So Much Fraud
- Journals with high rates of suspicious papers
- Plagiarism, paper mills and profit
Popular articles
- The legacy of Bletchley park on uk mathematics
- My Favorite Math Jokes
- Ropes have an even number of ends
- Fifty Years of Shannon Theory
- Researchers Identify ‘Master Problem’ Underlying All Cryptography
- Which Computational Universe Do We Live In?
- How is math used in computer science?
- Truth vs. Proof in Computational Complexity
- AI System Beats Chess Puzzles With ‘Artificial Brainstorming
- Why AlphaZero Has Trouble With the Real World
- Machines Learn Better if We Teach Them the Basics
- Playing Hide-and-Seek, Machines Invent New Tools
- k-server problem
- Efros interivew
- Why Mathematicians Re-Prove What They Already Know
- Celebrated Cryptography Algorithm Gets an Upgrade
- Tricky tilings
- Hidden citations obscure true impact in science
- Does Brain Size Matter? (Scientific American)
- How to Solve Board Games
- How random is your randomness, and why does it matter?
- The Techno-Pro Attitude
- 8 Google Employees Invented Modern AI. Here’s the Inside Story
- Mathematical logic history
- Logicians