Total videos: 465
Search Results
2026-09-023
2026-08-243
2026-05-082
2026-04-167
- "On the Mechanics of Cellular and Multicellular Active Matter" by Haiqian Yang
- How Attention Residuals Rewire Modern LLMs
- Polynomial Functors Course, Day 1: Introduction
- David Jaz Myers - Tutorial on Lenses
- David Jaz Myers: Paradigms of composition
- Bourbaki, les années 1945-75 - Jean-Pierre Serre, Pierre Cartier, Jacques Dixmier & Alain Connes
- Henri Cartan une vie de mathématicien
2026-03-26
2026-03-03
2026-02-063
2026-01-22
2026-01-20
2026-01-166
- The Lawvere fixed point theorem
- How (and why) to Build an Automated Theorem Prover: De-mystifying Logical Inference
- Computational Complexity and Explanations in Physics–Scott Aaronson (University of Texas at Austin)
- Timothy Gowers: The Weil conjectures explained
- Pierre Deligne - The Abel Prize interview 2013
- Mathematics, Intuition, and Curiosity – David Bessis
2025-12-2518
- Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025
- Markov blankets and Bayesian mechanics (Karl Friston)
- Lecture 22 - Kolmogorov Complexity + Halting Problem + Godel Incompleteness
- 20 ish Questions with Mike Levin
- The Past, Present and Future of Programming Languages - Kevlin Henney - ACCU 2025
- Something strange happens when you look at the primes
- Bourbaki vs. Category Theory: What is Mathematics About?
- "Whitehead on the Ingression of Novel Form" by Matt Segall
- Sporadic Groups - Prof Richard Borcherds - The Archimedeans
- Keynote, Michael Levin
- "The Ontogenetic Alternative" by Timothy Jackson
- RISC-V Oral History Panel
- Pierre Deligne | What is the Hodge conjecture?
- AGITTOC pseudolecture 1 (welcome; philosophy; some category theory)
- Grigori Perelman documentary
- Lecture 88: TinyTPU
- Grothendieck Conference - Kevin Buzzard
- A Practical guide to representation theory
2025-11-054
2025-10-28
2025-10-0621
- They Rebuilt this Whole Game in UE5
- Oxidize Conference: How Rust makes Oxide possible
- Big Data and AI at the CERN LHC by Dr. Thea Klaeboe Aarrestad
- Lie algebras with @TomRocksMaths
- The Nature of Consciousness, Federico Faggin
- But how do AI images and videos actually work? | Guest video by Welch Labs
- Continuous Thought Machine Deep Dive | Temporal Processing + Neural Synchronisation
- A conversation with screenwriter Justin Kuritzkes moderated by Patrick Mcgowan
- Sam H. Smith – Parsing without ASTs and Optimizing with Sea of Nodes – BSC 2025
- How far can I broadcast LoRa packets WITHOUT a radio? - LoLRa
- Speedrunning 30yrs of lithography technology
- Bidirectional Type Checking
- Beyond Sequential Consistency - Leveraging Atomics for Fun & Profit - Christopher Fretz C++Now 2025
- Avi's Permanent Impact on Me - Scott Aaronson
- Tennis Elbow 4 Beginner Guide - Gameplay Basics (Aiming, Shot Types, Serving & More)
- Why Do Interceptions Happen?
- Unconventional Embodiments of Consciousness: a diverse intelligence research program - Michael Levin
- Professor Avi Wigderson on the "P vs. NP" problem
- "A Theoretical Computer Science Lens on Consciousness" by Lenore Blum, Manuel Blum, and Avrim Blum
- The ULTIMATE Deadlock Movement Guide – Master Every Trick (Beginner to Advanced)
- How AI Accelerates Materials Discovery
2025-07-2456
- Keynote: Linus Torvalds, Creator of Linux & Git, in Conversation with Dirk Hohndel
- Jonathan Blow on computer science curriculum
- Hacking Raylib
- 3D in TypeScript using Ray Casting
- 03 CUDA Fundamental Optimization Part 1
- Who needs malloc anyways?
- zig on the client, wasm on the server, what am i doing
- Everything you need to know about FFI in Gleam
- ARM Assembly: Lesson 1 (MOV, Exit Syscall)
- The most important talk on programming by Jonathan Blow
- Zig Roadmap 2023 - Andrew Kelley
- Elite: "The game that couldn't be written"
- How a Clever 1960s Memory Trick Changed Computing
- Procedural Generation using Constraint Satisfaction
- DragonflyDB Architecture Overview, Internals, and Trade-offs - hitting 6.43 million ops/sec
- George Hotz | Programming | twitchchess | a simple neural chess AI | Part1
- Advanced C: The UB and optimizations that trick good programmers.
- CRAFTING A CPU TO RUN PROGRAMS
- Failure & Change: Principles of Reliable Systems • Mark Hibberd • YOW! 2018
- Rendering and texturing a rotating rectangle in software
- APL vs BQN vs Uiua
- Proficient Parallel Programming - King Butcher - Software You Can Love VC 2023
- Casey Muratori | Smart-Pointers, RAII, ZII? Becoming an N+2 programmer
- AI Predictions With ex-Applied AI engineer at Stripe!
- Exploring Verse, Haskell, Language Design and Teaching (with Simon Peyton Jones)
- Jonathan Blow on the Design of Jai
- Jonathan Blow - The Gauntlet
- Improving Learn OpenGL's Text Rendering Example | Adventures in Coding
- A* Search: How Your Map Applications Find Shortest Routes
- Simple Code, High Performance
- Zig in Production - Jens Goldberg
- Refterm Lecture Part 5 - Parsing with SIMD
- Data Oriented Programming in Java 21 by Nicolai Parlog
- Visualizing memory layout of Rust's data types
- these compression algorithms could halve our image file sizes (but we don't use them) #SoMEpi
- Understanding Compiler Optimization - Chandler Carruth - Opening Keynote Meeting C++ 2015
- CppCon 2016: Timur Doumler “Want fast C++? Know your hardware!"
- Simple Artificial Neural Network entirely in assembly language
- Casey Muratori on his work experience
- The First Real Application of Category Theory #SoME3
- Why Does Diffusion Work Better than Auto-Regression?
- C++ cache locality and branch predictability
- It's Not About Scale, It's About Abstraction
- Day 26 of Building An Operating System | Programming every day day 100
- Stephen Wolfram - Where the Computational Paradigm Leads (in Physics, Tech, AI, Biology, Math, ...)
- Unsolved Problems in Calculus
- Episode 048: Why TigerBeetle Is So Slow, With Tobi!
- Jacob Pratt: "Compiler-Driven Development: Making Rust Work for You" | RustConf 2024
- The Tech Poutine #23: AMD's Moving to 2nm
- 484 - All About Dat Compiler + Some Chill Browsing (TempleOS | Livestream) [2016]
- Why GPU Programming Is Chaotic
- Kan Academy: Introduction to Limits
- A Brief Overview of Sheaf Theory - Part 1
- A Swift Introduction to Geometric Algebra
- What Is an Interactive Theorem Prover? | Kevin Buzzard
- What P vs NP is actually about
2025-07-22337
- Understanding B-Trees: The Data Structure Behind Modern Databases
- "Boundaries of Language Design" with Andrew Kelley & Ginger Bill
- Halting Problem & Quantum Entanglement 2020 Breakthrough result [MIP*=RE]
- 04 CUDA Fundamental Optimization Part 2
- Making Systems Programming Accessible by Andrew Kelley
- Jonathan Blow on how an operating system should work
- Writing a Compiler and Interpreter in Rust - Part 1
- Migrating from Zig to Jai
- Rope Datastructure
- HOW TRANSISTORS REMEMBER DATA
- Street Fighting Transformers
- WTF is Build.Zig? by Ed Yu
- Zig 0.13.0 - Overview and Updates
- Building A Programming Language From Its Core (with Peter Saxton)
- Dynamic Programming isn't too hard. You just don't know what it is.
- C++26 Preview - Jeffrey Garland - C++Now 2024
- Enter The Arena: Simplifying Memory Management (2023)
- CppCon 2018: Stoyan Nikolov “OOP Is Dead, Long Live Data-oriented Design”
- Know your Java? by Venkat Subramaniam
- CppCon 2018: Jonathan Boccara “105 STL Algorithms in Less Than an Hour”
- Tony Hawk's Pro Strcpy
- C3 with Christoffer Lerno -- His career and how he brought us the C3 language -- Conversation #6
- Linking can be fast (if you cheat): Roc's Surgical Linker - Brendan Hansknecht
- CppCon 2017: Carl Cook “When a Microsecond Is an Eternity: High Performance Trading Systems in C++”
- How might LLMs store facts | Deep Learning Chapter 7
- What is a TENSOR? (Really this time!)
- What Matters for Model Merging at Scale?
- A Crash Course in Category Theory - Bartosz Milewski
- Category Theory, The essence of interface-based design - Erik Meijer
- Expert Talk: Zig Programming Language & Linters • Andrew Kelley & Jeroen Engels • GOTO 2022
- "Categories for the Working Hacker" by Philip Wadler
- CppCon 2018: Alan Talbot “Moving Faster: Everyday efficiency in modern C++”
- Type Theory for the Working Rustacean - Dan Pittman
- Re-thinking Transformers: Searching for Efficient Linear Layers over a Continuous Space of...
- A Type System From Scratch – Robert Widmann
- Category Theory for the Working Hacker by Philip Wadler
- Joscha Bach - Why Your Thoughts Aren't Yours.
- Dylan Patel - Inference Math, Simulation, and AI Megaclusters - Stanford CS 229S - Autumn 2024
- AI for science with Sir Paul Nurse, Demis Hassabis, Jennifer Doudna, and John Jumper
- Nicholas Matsakis (Co-Lead, Rust Design Team): "Rust Roadmap 2.0” | KEYNOTE | RustConf 2024
- Cyber Animism by Joscha Bach
- Normalization models of attention
- Category Theory by Tom LaGatta
- Applied Category Theory
- David Spivak - Category Theory - Part 1 of 6 - λC 2017
- Miguel Ojeda (Rust for Linux): KEYNOTE | RustConf 2024
- Programming with Categories - Lecture 0
- C++ Memory Model: from C++11 to C++23 - Alex Dathskovsky
- Why algebraic data types are important - Bartosz Milewski - code::dive 2018
- Proofs in mathematics
- Joshua Liebow-Feeser: "Safety in an Unsafe World" | RustConf 2024
- Joshua Liebow-Feeser: "Safety in an Unsafe World" | RustConf 2024
- Algebra - It's not what you think it is!
- Universal Construction | Category Theory and Why We Care 1.2
- All of Multivariable Calculus in One Formula
- You Don't Know Network Programming
- The Impact of Memory Allocators on Performance: A Deep Dive - Arthur Pastel | EuroRust 2024
- The Language of Categories | Category Theory and Why We Care 1.1
- What did category theory ever do for us (functional programmers)?
- From Category Theory to the Large Hadron Collider....and beyond.
- CppCon 2017: Matt Godbolt “What Has My Compiler Done for Me Lately? Unbolting the Compiler's Lid”
- Why OCaml
- Bret Victor The Future of Programming
- Category Theory for Programmers: Chapter 5 - Products and Coproducts
- Building a UI Framework with Ty Overby
- C++Now 2019: Ben Deane “Identifying Monoids: Exploiting Compositional Structure in Code”
- A radical theory of consciousness | AI researcher Joscha Bach
- Modern CPUs Assign Registers To Speed Up Your Code - Computerphile
- Odin experience report, 1 year into a work project
- This Will Make You Better at Mathematics FOREVER
- January 2025 Q&A
- Introducing Clay - High Performance UI Layout in C
- RollerCoaster Tycoon was the last of its kind.
- Lambda World 2019 - A categorical view of computational effects - Emily Riehl
- Understanding Measure Theory and the Lebesgue Integral
- Lagrangian and Hamiltonian Mechanics in Under 20 Minutes: Physics Mini Lesson
- François Chollet on OpenAI o-models and ARC
- How difficult is AI alignment? | Anthropic Research Salon
- The shocking connection between complex numbers and geometry.
- What is algebraic geometry?
- Debuggers and programming from scratch with Ryan Fleury!
- Building Anthropic | A conversation with our co-founders
- Category theory (2022-23): Lecture 1
- How a Computer Works - from silicon to apps
- Jim Keller: Moore’s Law is Not Dead
- Jon Gjengset - Towards Impeccable Rust
- A Look at Some Higher Level Math Classes | Getting a Math Minor
- Jonathan Blow on his programming language jai!
- Algebraic Topology 19: Category Theory
- Tips for C Programming
- Limits of Logic: The Gödel Legacy
- This is why you're learning differential equations
- Building Machine Learning Systems for a Trillion Trillion Floating Point Operations
- Algebraic topology: Fundamental group
- What is...homotopy?
- System Jitter and Where to Find It: A Whack-a-Mole Experience
- 2024 LLVM Developers' Meeting - Rust ❤️ LLVM
- 1. History of Algebraic Topology; Homotopy Equivalence - Pierre Albin
- Making a Better Particle Simulation in C++ (Part 2)
- Percolation: a Mathematical Phase Transition
- Into the Realm Categorical
- The soundness and completeness of logic
- Designing Distributed Systems with TLA+ • Hillel Wayne • YOW! 2019
- Fractals are typically not self-similar
- When Proof By Induction Fails
- Trading at light speed: designing low latency systems in C++ - David Gross - Meeting C++ 2022
- (Ep.73) DeepSeek CEO interview in English.
- Terence Tao on how we measure the cosmos | The Distance Ladder Part 1
- How CPU Memory & Caches Work - Computerphile
- BLAZINGLY FAST C++ Optimizations
- raylib author on library internals and C programming language!
- uv: An Extremely Fast Python Package Manager
- Information Theory, Lecture 1: Defining Entropy and Information - Oxford Mathematics 3rd Yr Lecture
- Can Latent Program Networks Solve Abstract Reasoning?
- The ARC Prize 2024 Winning Algorithm
- LSTM: The Comeback Story?
- When CAN'T Math Be Generalized? | The Limits of Analytic Continuation
- Endgame: Big Tech Bytes the Dust - Jim Keller, Tenstorrent, Tesla, Apple, AMD, Intel #261
- Designing in 2023: 10 Problems to Solve w/ Jim Keller
- [#39] DVUI - David Vanderson
- Let's code math | Lean4 | Theorem prover
- Doug McLean | Common Misconceptions in Aerodynamics
- DeepMind x UCL RL Lecture Series - Policy-Gradient and Actor-Critic methods [9/13]
- What Jim Keller Sees that Others Miss – DemystifySci #326
- How DeepSeek Rewrote the Transformer [MLA]
- One System, Eight Tenstorrent Wormholes
- 61DAC Keynote: Jim Keller, CEO, Tenstorrent
- RISC-V Day '23 Summer The Future of RISC-V and RISC-V AI (Jim Keller | CEO, Tenstorrent)
- Rust is the New C
- What is category theory?
- Code walkthrough of my game written in x64 assembly
- I can prove I’ve solved this Sudoku without revealing it
- RISC-V Technology Conference: Day 1 Keynotes | Nerds Talking to Nerds About RISC V
- The Genius of RISC-V Microprocessors - Erik Engheim - ACCU 2022
- Tenstorrent: Relegating the Important Stuff to the Compiler
- Yann LeCun "Mathematical Obstacles on the Way to Human-Level AI"
- Keynote: Development Environments Shape Programming Solutions - Stephanie Brenham - ACCU 2023
- Not Your Grandparent's C++ - The Evolution of Cpp - Phil Nash - ACCU Cambridge
- Live at NVIDIA GTC with Acquired
- TSMC founder Morris Chang on the evolution of the semiconductor industry
- How the EUV Mirrors are Made
- Past, Present & Future of AI Compute (Panel) | Beyond CUDA Summit 2025
- ARC-AGI-2 Overview With Francois Chollet
- AI Coding: Compute Shaders vs CUDA vs openCL - Dr. Fuhua (Frank) Cheng
- AGI is Still 30 Years Away — Ege Erdil & Tamay Besiroglu
- NVIDIA Doesn't Care About GPUs
- What Every Programmer Should Know about How CPUs Work • Matt Godbolt • GOTO 2024
- The Beauty of Simplicity - Making Your Own Technology • Yan Chernikov • YOW! 2024
- Richard S. Sutton, Turing Award Winner | Approximately Correct
- Amateurs Solve a Famous Computer Science Problem On Discord
- Causal Representation Learning: A Natural Fit for Mechanistic Interpretability
- The Past, Present & Future of Programming Languages • Kevlin Henney • GOTO 2024
- Advancing AI Reasoning - From Games to Complex Problem Solving | NVIDIA GTC 2025 Session
- Why is space three-dimensional? with Stephen Wolfram
- Physicist Dr. David Deutsch-Quantum Computing, Turing Machines, & Multiverses (THE SAAD TRUTH_1742)
- David Deutsch: The Era of Man, Popper, and Western Civilization
- David Deutsch - AI, America, Fun, & Bayes
- Scott Aaronson | How Much Math Is Knowable?
- SemiAnalysis Founder Dylan Patel on New AI Regulations, Chinese AI & xAI's Surge to Hyperscale
- How To Think About Thinking Models
- TPU V4 and Trends in Accelerator Hardware - Mike Hutton
- "Propositions as Types" by Philip Wadler
- Mark Zuckerberg – AI Will Write Most Meta Code in 18 Months
- But what is quantum computing? (Grover's Algorithm)
- Fujitsu’s New ARM Chip: Focused, Fast, and Unlike Anything Else
- The idea that won the 2025 "Nobel Prize in Statistics”
- Grammars, parsing, and recursive descent
- On the Biology of a Large Language Model (Part 2)
- System Design for Next-Gen Frontier Models — Dylan Patel, SemiAnalysis
- The State of Silicon and the GPU Poors - with Dylan Patel of SemiAnalysis
- Stephen Wolfram | Computational Foundations of Everything
- Lecture 55: Modular’s unified device accelerator language
- Building a Debugger • Sy Brand & Tim Misiak • GOTO 2025
- Formalizing a proof in Lean using Github copilot and canonical
- V.O. Complete. A masterclass from the pioneer of artificial intelligence. Jürgen Schmidhuber
- Juergen Schmidhuber: Godel Machines, Meta-Learning, and LSTMs | Lex Fridman Podcast #11
- Neel Does Research (Vibe Coding Edition)
- How the heck do you make a PCB?
- Edward Witten: A Background Independent Algebra in Quantum Gravity (April 18, 2025)
- What is the Transformers’ Context Window in Deep Learning? (and how to make it LONG)
- Formalizing a proof in Lean using Claude and o4
- Applied Linear Algebra (part 7) Matrix Multiplication Actually Makes Sense (Here’s Why)
- A Concrete Introduction to Tensor Products
- Autoencoders | Deep Learning Animated
- How the Rust Compiler Works, a Deep Dive
- The Universe Is Computation
- How I FOUND the Nsa's backdoor inside your Intel Cpu
- AI Olympics (multi-agent reinforcement learning)
- Jonathan Blow on pattern matching and Option type
- The Story of Information Theory: from Morse to Shannon to ENTROPY
- How 1999 Quake 3 Teaches Elite Software Engineering
- DeepSeek's GRPO (Group Relative Policy Optimization) | Reinforcement Learning for LLMs
- Turning Portal 2 into a Web Server
- Diffusion Models: DDPM | Generative AI Animated
- What is a Transformer? (Transformer Walkthrough Part 1/2)
- Diffusion Models From Scratch | Score-Based Generative Models Explained | Math Explained
- The Unreasonable Effectiveness of JPEG: A Signal Processing Approach
- Philip Clayton - How Can Emergence Explain Reality?
- Is Gravity the Hidden Key to Quantum Physics?
- The Key Equation Behind Probability
- A Universal Theory of Brain Function
- Oxidise Your Command Line (2025 Edition)
- What is PLUS times PLUS?
- GTC 2022 - How CUDA Programming Works - Stephen Jones, CUDA Architect, NVIDIA
- Intro to CUDA (part 4): Indexing Threads within Grids and Blocks
- Nix explained from the ground up
- CUDA Mode Keynote | Andrej Karpathy | Eureka Labs
- Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472
- Why Use C for UI Library? | Nic Barker
- More Than Image Generators: A Science of Problem-Solving using Probability | Diffusion Models
- Agentic Engineering in Action with Mitchell Hashimoto
- Roger Penrose – Why Intelligence Is Not a Computational Process: Breakthrough Discuss 2025
- RISC-V and the CPU Revolution, Yunsup Lee, Samsung Forum
- John Conway: Surreal Numbers - How playing games led to more numbers than anybody ever thought of
- Dr. Joscha Bach: KI, Gehirn, Intelligenz, Bewußtsein, Turing | Eduard Heindl Energiegespräch #081
- Why Different Neuron Parts Learn Differently?
- Day 3 - Interview to Terence Tao - Umberto Bottazzini
- Typst is pretty neat
- The Breakthrough Behind Modern AI Image Generators | Diffusion Models Part 1
- Coding Adventure: Simulating Fluids
- Scaling Computing Performance Beyond the End of Moore’s Law: Song Han
- A.I., Mars and Immortality: Are We Dreaming Big Enough? | Interesting Times with Ross Douthat
- GOSIM CHINA 2024 - Nicholas Nethercote: Rust Compiler Overview
- Information field theory for solving Bayesian inverse problems || Jun 27, 2025
- When AI Is Designed Like A Biological Brain
- Karl Friston: The Physics of Sentience
- Gordon Moore: Behind the Ubiquitous Microchip
- Fireside Chat With Ilya Sutskever and Jensen Huang AI Today and Vision of the Future March 2023
- Terence Tao - Machine-Assisted Proofs (February 19, 2025)
- Declarative C++ - Ankur Satle - C++Online 2025
- Information Theory for Language Models: Jack Morris
- Dylan Patel: GPT4.5's Flop, Grok 4, Meta's Poaching Spree, Apple's Failure, and Super Intelligence
- Salon with Stephen Wolfram × Joscha Bach_What if we had bigger brains.
- Mind from Matter (Lecture By Joscha Bach)
- Semiconductors and YouTube: A Chat with Jon from Asianometry | #43
- Ravi Vakil: Algebraic geometry and the ongoing unification of mathematics
- Weathering Software Winter
- Zed Inferred: Diffusion Language Models
- Jonathan Blow - Jai Demo and Design Explanation (KEYNOTE) - Updated
- A Fundamental Unit Of Intelligence
- Type Theory in Computer Science, Linguistics, Logic
- Developing an application from scratch (Haskell Unfolder #46)
- 02. Algebraic geometry - Sheaves and morphisms (Diana Carolina Castañeda)
- Matt Squire - Diving into Transformer Model Internals | PyData London 25
- BRYCE ADELSTEIN LELBACH - The C++ Execution Model
- FPGA in HFT Systems Explained | Why Reconfigurable Hardware Beats CPUs
- Dylan Patel | Lost in Life to Founding SemiAnalysis
- Luminal - Search-Based Deep Learning Compilers
- "An approach to computing and sustainability inspired from permaculture" by Devine Lu Linvega
- #22 Dylan Patel: China’s Robotics Dominance; AI Infrastructure Breakdown
- The Lab That Invented The 21st Century
- An Introduction to Functional Imperative Programming in Flix • Magnus Madsen • GOTO 2023
- The Death of Monads? Direct Style Algebraic Effects
- Algebraic Effects from Scratch by Kit Langton
- Intel’s Reign of Terror
- The Birth, Boom and Bust of the Hard Disk Drive
- imec — the most important company you've never heard of
- Why the Soviet Computer Failed
- What's the big deal with the Yoneda Lemma?
- AT&T’s UNIX PC Failure
- Casey Muratori – The Big OOPs: Anatomy of a Thirty-five-year Mistake – BSC 2025
- The Most Useful Curve in Mathematics [Logarithms]
- The Intuition behind Hilbert Spaces and Fourier Series
- True Meaning of 2nd Derivative Test | Symmetric Tensors, Spectral Theorem, Principal Axes Theorem
- Michael Levin: Biology, Life, Aliens, Evolution, Embryogenesis & Xenobots | Lex Fridman Podcast #325
- Energy-Based Transformers are Scalable Learners and Thinkers (Paper Review)
- What is Jacobian? | The right way of thinking derivatives and integrals
- Dennis Gustafsson – Parallelizing the physics solver – BSC 2025
- Galois Theory Explained Simply
- The 4 Most Fundamental Objects in ALL Physics #SoME4
- Lambda Calculus vs. Turing Machines (Theory of Computation)
- A Flock of Functions: Lambda Calculus and Combinatory Logic in JavaScript | Gabriel Lebec @ DevTalks
- Stephen Wolfram visits RWRI 20 (The Real World Risk Summer School, 2025)
- The Attention Mechanism in Large Language Models
- The World's First Microprocessor: F-14 Central Air Data Computer
- How do hardware timers work?
- Andrew Ng: Opportunities in AI - 2023
- OpenAI's Altman and Makanju on Global Implications of AI
- OpenAI CEO Sam Altman speaks at the World Economic Forum – watch live
- Donald Knuth: Algorithms, Complexity, and The Art of Computer Programming | Lex Fridman Podcast #62
- Large Language Models in Five Formulas
- The Map of Quantum Computing - Quantum Computing Explained
- Quantum Computing for Computer Scientists
- The Assembly Hypothesis:Emergent Computation and Learning in a rigorous model of the Brain
- Stanford CS25: V2 I Introduction to Transformers w/ Andrej Karpathy
- But what is the Central Limit Theorem?
- The Map of Particle Physics | The Standard Model Explained
- G. Verdon-A. - Master's Thesis Defense
- Dense Associative Memory in Machine Learning
- Entropy is not what you think!
- Mystery of Entropy FINALLY Solved After 50 Years? (STEPHEN WOLFRAM)
- Navigating Progress in AI and Neuroscience
- An overview of Generative AI: music, video and image creation
- "Self-regularizing Property of Nonparametric Maximum Likelihood Estimator" —Yury Polyanskiy (MIT)
- Po-Shen Loh: Mathematics, Math Olympiad, Combinatorics & Contact Tracing | Lex Fridman Podcast #183
- Watch kernel developer do Linux kernel development ;-)
- Memristors for Analog AI Chips
- Feynman's Lost Lecture (ft. 3Blue1Brown)
- Grounded II: Making The Last of Us Part II
- The unreasonable effectiveness of linear algebra.
- How AI Discovered a Faster Matrix Multiplication Algorithm
- Jeff Dean (Google): Exciting Trends in Machine Learning
- V-JEPA: Revisiting Feature Prediction for Learning Visual Representations from Video (Explained)
- Let's build the GPT Tokenizer
- LoRA explained (and a bit about precision and quantization)
- Bayes theorem, the geometry of changing beliefs
- 1.2 - Racing Down the Slopes of Moore’s Law (Bram Nauta)
- Transformer Neural Network: Visually Explained
- Engineering The Largest Nuclear Fusion Reactor
- 10. Introduction to Neuroscience I
- The hidden beauty of the A* algorithm
- How does Groq LPU work? (w/ Head of Silicon Igor Arsovski!)
- Why can't you multiply vectors?
- Fine-tune LLMs - Line by line code example
- AI Art Explained: How AI Generates Images (Stable Diffusion, Midjourney, and DALLE)
- Stable Diffusion in Code (AI Image Generation) - Computerphile
- Fluid dynamics feels natural once you start with quantum mechanics
- Let's build GPT: from scratch, in code, spelled out.
- How Particle Life emerges from simplicity
- Is this the Future of Programming Languages?
- George Hotz | Programming | rewriting linearizer (tinygrad) | Day In The Life Of A Software Engineer
- How do CPUs read machine code? — 6502 part 2
- Busy Beaver Turing Machines - Computerphile
- Anthropic's Meta Prompt: A Must-try!
- Sholto Douglas & Trenton Bricken - How LLMs Actually Think
- Open sourcing the AI ecosystem ft. Arthur Mensch of Mistral AI and Matt Miller
- What's next for AI agentic workflows ft. Andrew Ng of AI Fund
- Toward AI-Driven Discovery of Electroceuticals - Dr. Michael Levin
- A Sensible Introduction to Category Theory
- How fly neurons compute the direction of visual motion
- What is Group Theory? — Group Theory Ep. 1
- The Most Important Algorithm in Machine Learning
- Algebraic Topology 1: Homotopy Equivalence
- A Short Introduction to Entropy, Cross-Entropy and KL-Divergence
- Edsger W. Dijkstra - The Power of Counting Arguments
- Hardware SPI Continued - IO from Scratch - Part 7
- How Diffusion Works for Text