Easy Theory

Making Computer Science theory easier one pumping lemma at a time.

[Easy Theory @EasyTheory]

April Update
https://t.co/X6fWwkbINS

[Easy Theory @EasyTheory]

The #RAMpocalypse is here - my laptop I bought in October 2025 now costs $2000 more for the exact same config!

[Easy Theory @EasyTheory]

You can watch a problem solving video in-progress by signing up for my Patreon: https://t.co/X07tdc9Mbh

[Easy Theory @EasyTheory]

Channel Trailer https://t.co/geim9MxM5P

[Easy Theory @EasyTheory]

Blackboard finally arrived. Will need a 3x5 table, some appropriate adhesives, and then we’re in business.

[Easy Theory @EasyTheory]

The problem is, they never contacted me again, even after a follow-up from me. Kinda shitty of them to not say anything, but whatever. The unit is well-praised and I hope to make good use of it.

[Easy Theory @EasyTheory]

Hi all, some #updates and a #story. I ordered a slate chalkboard for use in the videos, but no word on it after 2 weeks. Hopefully they will send it out soon so that I can start cranking videos out.

[Easy Theory @EasyTheory]

Story time: funny enough I contacted @Synology back in November about a #partnership, which they recommended this system and setup. After a video chat, they thought it was a good idea for branded sponsorship in exchange for their giving the unit for free to me.

[Easy Theory @EasyTheory]

@girdley It’s always been bad at anything really mathy and technical, because there isn’t any reasoning in it, so it can’t get “confused”. There has been recent work on auto formalizing statements that are provably true with LLMs though.

[Easy Theory @EasyTheory]

@cinamarina It has currently shown that negative IQ scores are achievable.

[Easy Theory @EasyTheory]

@TheOvermanEthos I’m building a company for proselytizing computer science theory to the general public from an accessible, fun, and interesting perspective.

The goal is to show that the subject is not impossible to grasp, and that the philosophical and pragmatic implications are meaningful.

[Easy Theory @EasyTheory]

@psomkar1 I support and use the bottom two as the top two are advertising platforms that occasionally do browser tasks

[Easy Theory @EasyTheory]

@psomkar1 I vote GPT as the greatest mass copyright violator of them all

[Easy Theory @EasyTheory]

@elonmusk @grok X releases updates faster than humans release emotional stability

[Easy Theory @EasyTheory]

The full video script is being made now, and will feature Dr. Williams. Video progress will be posted on Patreon, and paid tiers get 2 days early access for when it eventually will go live.

[Easy Theory @EasyTheory]

Today I interviewed Dr. Ryan Williams of MIT fame, a computational complexity theorist who recently published a paper called "Simulating Time in Sqrt Space". The full interview is on Patreon: https://t.co/GKSqbQvF5h.

[Easy Theory @EasyTheory]

I asked him about his thoughts regarding his results and many other topics including how we think about computation, relations between "unrelated" problems, and advice for students and anyone else struggling with difficult computational problems.

[Easy Theory @EasyTheory]

Studio tour video is posted: https://t.co/qOxPsaQwb2