Bookmarks
2026-09-012
2026-08-315
2026-08-24
2026-07-167
2026-05-284
2026-05-068
2026-04-16
2026-04-10
2026-03-234
2026-03-18
2026-03-172
2026-03-03
2026-02-27
2026-02-04
2026-01-165
- Why Philosophers Should Care About Computational Complexity
- 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)
- Program verification is not all-or-nothing
- Broken proofs and broken provers
2026-01-12
2026-01-09
2026-01-02
2025-12-254
- Emily Riehl, A New Paradigm for Mathematical Proof? | Natural Philosophy Symposium 2025
- Lecture 22 - Kolmogorov Complexity + Halting Problem + Godel Incompleteness
- The Past, Present and Future of Programming Languages - Kevlin Henney - ACCU 2025
- Bourbaki vs. Category Theory: What is Mathematics About?
2025-12-19
2025-12-135
2025-12-02
2025-11-05
2025-11-04
2025-10-064
2025-09-15
2025-08-196
2025-08-052
2025-07-304
2025-07-29
2025-07-25
2025-07-2419
- The most important talk on programming by Jonathan Blow
- The Most Complicated Algorithm I've Ever Written: SQLite B-Tree Balancing
- Procedural Generation using Constraint Satisfaction
- Advanced C: The UB and optimizations that trick good programmers.
- I made a Compiler in 25 Days - Here is what I learned
- APL vs BQN vs Uiua
- ATTACK of the KILLER FEATURES - Martin Wickham - Software You Can Love Vancouver 2023
- Exploring Verse, Haskell, Language Design and Teaching (with Simon Peyton Jones)
- Jonathan Blow on the Design of Jai
- Jonathan Blow - The Gauntlet
- A* Search: How Your Map Applications Find Shortest Routes
- Lightning Talk: Your Favorite Undefined Behavior in C++ - JF Bastien - CppNow 2023
- Understanding Compiler Optimization - Chandler Carruth - Opening Keynote Meeting C++ 2015
- OSI and TCP IP Models - Best Explanation
- Stephen Wolfram - Where the Computational Paradigm Leads (in Physics, Tech, AI, Biology, Math, ...)
- 484 - All About Dat Compiler + Some Chill Browsing (TempleOS | Livestream) [2016]
- What Is an Interactive Theorem Prover? | Kevin Buzzard
- What P vs NP is actually about
- On The Unusual Effectiveness Of Logic In Computer Science
2025-07-2265
- "Boundaries of Language Design" with Andrew Kelley & Ginger Bill
- Halting Problem & Quantum Entanglement 2020 Breakthrough result [MIP*=RE]
- Migrating from Zig to Jai
- Rope Datastructure
- What is a Lexer (No BS explanation)
- [PLDI24] Descend: A Safe GPU Systems Programming Language
- Building A Programming Language From Its Core (with Peter Saxton)
- Dynamic Programming isn't too hard. You just don't know what it is.
- C3 with Christoffer Lerno -- His career and how he brought us the C3 language -- Conversation #6
- A Crash Course in Category Theory - Bartosz Milewski
- "Categories for the Working Hacker" by Philip Wadler
- Type Theory for the Working Rustacean - Dan Pittman
- A Type System From Scratch – Robert Widmann
- Category Theory for the Working Hacker by Philip Wadler
- Why algebraic data types are important - Bartosz Milewski - code::dive 2018
- What did category theory ever do for us (functional programmers)?
- CppCon 2017: Matt Godbolt “What Has My Compiler Done for Me Lately? Unbolting the Compiler's Lid”
- Why OCaml
- Category Theory for Programmers: Chapter 5 - Products and Coproducts
- Building a UI Framework with Ty Overby
- Lambda World 2019 - A categorical view of computational effects - Emily Riehl
- François Chollet on OpenAI o-models and ARC
- Limits of Logic: The Gödel Legacy
- 2024 LLVM Developers' Meeting - Rust ❤️ LLVM
- Let's code math | Lean4 | Theorem prover
- Hierarchical Tiling to speed up my Matrix Multiplication
- Tenstorrent: Relegating the Important Stuff to the Compiler
- Not Your Grandparent's C++ - The Evolution of Cpp - Phil Nash - ACCU Cambridge
- Amateurs Solve a Famous Computer Science Problem On Discord
- The Past, Present & Future of Programming Languages • Kevlin Henney • GOTO 2024
- Physicist Dr. David Deutsch-Quantum Computing, Turing Machines, & Multiverses (THE SAAD TRUTH_1742)
- Scott Aaronson | How Much Math Is Knowable?
- "Propositions as Types" by Philip Wadler
- But what is quantum computing? (Grover's Algorithm)
- Grammars, parsing, and recursive descent
- Intro to TT-Forge
- Stephen Wolfram | Computational Foundations of Everything
- Lecture 55: Modular’s unified device accelerator language
- Formalizing a proof in Lean using Github copilot and canonical
- Formalizing a proof in Lean using Claude and o4
- How the Rust Compiler Works, a Deep Dive
- Watch: Writing a new programming language from scratch! (How hard can it be?)
- A Hundred PyTorch Backends: Mark Saroufim at the Modular GPU Kernel Hackathon
- Jonathan Blow on pattern matching and Option type
- What is PLUS times PLUS?
- Typst is pretty neat
- GOSIM CHINA 2024 - Nicholas Nethercote: Rust Compiler Overview
- Type Theory in Computer Science, Linguistics, Logic
- BRYCE ADELSTEIN LELBACH - The C++ Execution Model
- Luminal - Search-Based Deep Learning Compilers
- 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
- 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)
- Quantum Computing - Hype vs. reality | Field Notes
- Donald Knuth: Algorithms, Complexity, and The Art of Computer Programming | Lex Fridman Podcast #62
- The Map of Quantum Computing - Quantum Computing Explained
- Quantum Computing for Computer Scientists
- How AI Discovered a Faster Matrix Multiplication Algorithm
- The hidden beauty of the A* algorithm
- Is this the Future of Programming Languages?
- George Hotz | Programming | rewriting linearizer (tinygrad) | Day In The Life Of A Software Engineer
- Busy Beaver Turing Machines - Computerphile
2025-07-15
2025-07-09
2025-07-05
2025-07-01
2025-06-272
2025-06-26
2025-05-16
2025-05-03
2025-04-193
2025-04-01
2025-03-29
2025-03-28
2025-03-25
2025-03-22
2025-03-182
2025-03-063
2025-02-25
2025-02-17
2025-01-253
2025-01-23
2025-01-19
2025-01-09
2024-12-27
2024-12-23
2024-12-173
2024-12-164
2024-12-07
2024-11-174
2024-11-12
2024-09-302
2024-08-15
2024-08-09
2024-08-032
2024-08-02
2024-08-012
2024-07-294
2024-07-286
2024-07-274
2024-07-252
2024-07-232
2024-07-22
2024-07-17
2024-07-15
2024-07-13
2024-07-12
2024-07-112
2024-07-102
2024-07-092
2024-07-082
2024-07-062
2024-07-053
2024-07-033
2024-07-02
2024-06-28
2024-06-27
2024-06-244
2024-06-196
2024-06-172
2024-06-12
2024-06-09
2024-06-08
2024-06-063
2024-06-052
2024-05-31
2024-05-274
2024-04-30
2024-03-06
2024-03-03
2024-02-05
2024-02-03
Subcategories
- algorithms (25)
- compilers (116)
- computation (28)
- data_structures (10)
- formal_verification (27)
- hypercomputation (6)
- networks (4)
- programming_languages (79)
- quantum_computing (3)
- systems_programming (1)
- type_theory (40)