Все публикации

0:22:05

Planar Machines in Theory

0:07:36

An Update

0:00:40

How to Become a Professor #shorts

0:10:42

This CompSci Video was 100% written by ChatGPT

1:19:02

[April Fools] Exponential Lower Bounds for Circuit Families (P ≠ NP)

0:08:13

Turning 30

0:00:49

wish me luck

0:27:04

ChatGPT vs. Professor's Computer Science Exam

0:19:24

I proved a math conjecture

0:09:38

How to Become a Professor in 6 Steps

0:00:36

All Acronyms for Theory of CS class #shorts

0:03:17

a student tried to bribe me once

0:05:31

The REAL Reason why Math/Humanities aren't 'Useless'

0:00:58

I got a scorpion bite before my Ph.D. Defense 🦂

0:00:26

Top 5 Tips for Theory Computer Science #shorts

0:04:16

The Top Reason Why I'm a Professor

0:04:31

Rice's Theorem Example: Emptiness for Turing Machines

0:19:01

Rice's Theorem (Undecidability): 5 Proofs and Examples

0:03:33

Context-Free Grammar (CFG) Example: {a^i b^j c^k : i at most j+k}

0:02:43

Context-Free Grammar (CFG) Example: Equal Pairs

0:04:03

Context-Free Grammar (CFG) Example: Non-Palindromes

0:03:01

Context-Free Grammar (CFG) Example: Nested Pairs

0:07:26

Context-Free Grammar (CFG) Example: Complement of 0^n1^n2^n

0:18:57

Context-Free Grammars (CFGs): 5 Intermediate Examples