16:09A Formal Notion of Computability
162K viewsBuilds up what it means for something to be computable: Turing machines, lambda calculus and the Church–Turing thesis.
Junferno
181K subscribers on YouTube
Shorts, livestreams, trailers and promos are never listed. Unless a curator approved this channel in full, only individually picked videos appear.
16:09
18:27The Challenge of Making a Keyboard for Every Language
1.14M viewsWhy typing every language on a keyboard is hard: scripts, input method editors, Unicode and composition.
18:59Controlling my computer with my brain | EEG Development Demonstration
A 19-minute video from Junferno: “Controlling my computer with my brain | EEG Development Demonstration”.
7:49How I animate stuff on Desmos Graphing Calculator
A 8-minute video from Junferno: “How I animate stuff on Desmos Graphing Calculator”.
21:50Why You Can Draw a Cat on Your Computer
A 22-minute video from Junferno: “Why You Can Draw a Cat on Your Computer”.
11:41Intro to Competitive Programming
845K viewsAn introduction to competitive programming: how problems are posed, complexity budgets, and classic techniques.