15:48

03 - Symbols, No Numbers

23:35

Infinitude of primes --- a Lean theorem prover demo

5:13

Devin just came to take your software job… will code for $8/hr

18:02

Automated Mathematical Proofs - Computerphile

20:24

Fails You May Have Missed | Instant Regret 😔

43:55

Die Assads: Wie eine Familie Syrien terrorisierte | WDR Doku

6:50

Impossible Programs (The Halting Problem)

6:03

The Witcher 4 - Official Reveal Trailer | The Game Awards 2024