Added on July 30, 2025
· 1 min read
Added on July 29, 2025
· 1 min read
Added on July 25, 2025
· 1 min read
Added on July 24, 2025
· · views
Added on July 24, 2025
· 76:05 · 1.4K views
Live demonstration of the Lean interactive theorem prover, showing how formal logic rules are encoded, manipulated, and verified, and discussing its role in mathematical research and future software tooling.
Added on July 22, 2025
· 23:54 · 147.7K views
Clear technical explanation of the groundbreaking MIP*=RE complexity-theory result—valuable foundational content for theoretical computer scientists.
Added on July 22, 2025
· 19:24 · 21.1K views
Technical presentation linking Rust’s type system with type theory and proof techniques, valuable for language theorists and systems programmers.
Added on July 22, 2025
· 46:44 · 16.3K views
Added on July 22, 2025
· 14:28 · 79.7K views
Added on July 22, 2025
· · views
Added on July 22, 2025
· · views
Added on July 22, 2025
· 58:16 · 223.3K views
Added on July 22, 2025
· 14:31 · 50.6K views
Added on July 22, 2025
· 7:53 · 28.2K views
Added on July 22, 2025
· 20:50 · 18.0K views
Added on July 22, 2025
· · views
Added on July 22, 2025
· · views
Added on July 22, 2025
· 42:43 · 136.7K views
Added on July 22, 2025
· 34:38 · 68.4K views
Added on July 22, 2025
· 31:44 · 46.1K views
Added on July 22, 2025
· 194:34 · 1.1M views
Added on July 22, 2025
· 75:45 · 296.3K views
Added on July 22, 2025
· 59:11 · 98.0K views
Added on July 22, 2025
· 40:14 · 27.9K views
Added on July 22, 2025
· 68:23 · 24.0K views
Added on July 22, 2025
· 54:16 · 15.1K views
Added on July 16, 2025
· 3 min read
Added on June 26, 2025
· 26 min read
Added on March 18, 2025
· 6 min read
Added on February 25, 2025
· 1 min read
Added on December 17, 2024
· 1 min read
Added on December 17, 2024
· 3 min read
Added on December 16, 2024
· 4h 10m read
Added on December 7, 2024
· 25 min read
Added on December 3, 2024
· 12 min read
Added on December 3, 2024
· 2h 0m read
Added on November 12, 2024
· 1h 34m read
Added on July 27, 2024
· 25 min read
Added on June 6, 2024
· 16h 13m read
Added on April 6, 2024
· 20h 33m read