Easy Theory @EasyTheory

Making theory easier one pumping lemma at a time. Run by @ProfDougherty (professional), @ryandoughertyaz (personal). youtube.com/c/easytheory/ Joined March 2020

Tweets

334
Followers

161
Following

24
Likes

38

Easy Theory @EasyTheory

9 months ago

I think I’m up to 17 people now who have commented on my videos to say I look like Duncan Robinson. Justified? (Maybe with a little facial hair?) @D_Bo20 @MiamiHEAT

0 0 5 267 0

Download Image

Physics Memes @ThePhysicsMemes

11 months ago

3 54 699 13K 32

Download Image

Easy Theory @EasyTheory

11 months ago

Comments like these on my videos make everything worth it.

1 0 4 148 0

Download Image

Ryan Dougherty @ProfDougherty

12 months ago

I have had three works accepted to #SIGCSE Virtual 2024: one paper, one poster, and am the co-chair of one working group. All about CS #theory! 🤓

1 2 3 482 0

Download Image

ChatGPT has gotten fairly far at interpreting images but isn’t quite 100% there yet. Would be great if it can generate LaTeX automatically from an image! It’s mostly there, mainly small layout issues. #llm #chatgpt #latex

0 1 2 227 0

Download Image

Ryan Dougherty @ProfDougherty

12 months ago

🚀 Finding Success in Theory & Motivation in Learning 🧠- If you’re in the world of #theoretical #computer #science, #algorithms, or #discrete #math, it can feel like you’re scaling an impossible mountain.

1 3 1 244 0

Easy Theory @EasyTheory

12 months ago

The new o1 model for #ChatGPT is impressively good at #math problems. I tested it on a fairly hard theory of computation problem, and it was the first generative AI model to get it right. This will be interesting! Have you tried the new model yet?

0 1 3 344 0

Download Image

Ryan Dougherty @ProfDougherty

a year ago

Big news in #theory today: the fifth busy beaver number has been confirmed: BB(5) = 47,176,870. Fantastic work using a proof assistant to finish the job after several decades. See announcement here: discuss.bbchallenge.org/t/july-2nd-202…