About Bitwit
Spaced repetition for theoretical computer science
What is Bitwit?
Bitwit is a learning tool that uses spaced repetition—a technique that schedules reviews right when you're about to forget—to help you get comfortable with theoretical computer science.
The goal isn't to increase difficulty over time. It's the opposite: by drilling fundamental operations until they become second nature, each successive concept feels easier and more obvious. When you deeply understand the basics, advanced ideas flow naturally.
The Philosophy
Most learning resources rush through fundamentals to get to "the good stuff." I think that's backwards. Mastery comes from making the basics instinctual—not from memorizing facts, but from truly understanding why things work the way they do.
Each card uses parameterized questions that generate with different values each time. You can't just memorize "the answer"—you have to understand the underlying concept. You learn the idea, not just the answer.
Topics
Bitwit focuses on theoretical foundations: the kind of knowledge that makes everything else easier. Subjects include Lambda Calculus, Boolean Logic, Propositional Logic, Predicate Logic, Lisp, and more, with the curriculum growing over time.
This isn't LeetCode or interview prep. It's the theoretical foundation that makes the rest of CS easier.
View the full curriculum to see what's available and what's coming next, or check out the bibliography for books that inspired the curriculum.
Current State
Bitwit is currently in beta. It's a side project built by one developer in spare time. Multiple subjects are available now, with more in development.
I've built this because I want to use it myself—to deepen my own understanding of theoretical CS. If it helps others along the way, even better. There are no inflated user counts or vague promises about "thousands of cards." What you see is what there is, and it grows slowly but steadily.
Contact
Questions, feedback, or bug reports? Reach out:
Email: support@bit-wit.com
Give It a Try
Lambda Calculus and Boolean Logic are free forever—no account required.
Start Learning