Why This All Matters

Planar Machines in Theory

Fourteen DFA Examples? No Problem!

An Update

This CompSci Video was 100% written by ChatGPT

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

Turning 30

wish me luck

ChatGPT vs. Professor's Computer Science Exam

I proved a math conjecture

How to Become a Professor in 6 Steps

a student tried to bribe me once

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

The Top Reason Why I'm a Professor

Rice's Theorem Example: Emptiness for Turing Machines

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

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

Context-Free Grammar (CFG) Example: Nested Pairs

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

Context-Free Grammar (CFG) Example: Equal Pairs

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

Context-Free Grammars (CFGs): 5 Intermediate Examples

Context-Free Grammar (CFG) Example: (0 U 1)*

Context-Free Grammar (CFG) Example: 0*1*

Context-Free Grammar (CFG) Example: {a^i b^j c^k : i != j}

Context-Free Grammar (CFG) Example: Palindromes

Context-Free Grammar (CFG) Example: Union/Concat/Star

Context-Free Grammars (CFGs): 5 Easy Examples

Context Free Grammar to Pushdown Automaton Conversion (CFG to PDA)

Horses and Colors (Induction False "Proof")