Some of these are complete, some are works in progress. My flagship, all-encompassing project is QAnal.
I also write podcast-length mathematical documents called "Revelations", which are listed in their own section. I also make videos, also listed in their own section.
QAnal: Rational Analysis
QAnal is short for "rational analysis". QAnal is a fork of mathematics, specifically focusing on Analysis, one of the subfields of mathematics.
QAnal places Analysis on a more solid logical footing. QAnal dispenses with real numbers as the primary abstraction, and instead sticks with the simpler and more trustworthy rational numbers (hence the name "rational analysis", or QAnal for short).
QAnal is currently developed via the Revelations, my math videos, and my various math-focused Erlang libraries.
For more on QAnal, please read the dedicated QAnal page.
WFC: the WF Compiler
WF Algebra is an improved version of Boolean algebra developed by the great mathematical genius Norman J. Wildberger.
I wrote an Erlang library called WFC that can solve basic problems in WF algebra. I also wrote a telnet fake lisp server frontend called WFCNet. WFCNet can be accessed through the command
$ telnet orangepill.healthcare 2363
23rd letter of the alphabet
6th letter of the alphabet
3rd letter of the alphabet
See the dedicated page on WFC for more information.
Flappy Bird clone
I wrote a clone of Flappy Bird in Erlang.
These are mathematical essays, ordered in the order that I started writing them. I mostly make these as references to point people to. Not all of them are published. Some will never see the light of day, usually due to the planned topic getting slurped into another revelation.
Revelations 1: A simple question about Newton's method with an unbelievable answer
Revelations 2: Why does long division work?
Revelations 6: A drive-by introduction to complex analysis
Revelations 8: Concrete computations with homology (VERY rough draft)
Revelations 14: WF Algebra and WFC
Revelations 20: Grammars and Parsing in Erlang
Revelations 22: Entropism
I make videos on mathematics and programming, and whatever I find interesting or feel like making a video about. The videos tend to be in a handful of flavors
Playlists on important mathematical topics that are not well-covered by other people. I gradually add to these over time. Right now I have work-in-progress playlists on
In the future I hope/plan to do
Mathematical short stories, typically answering a basic question that more people should be able to answer (e.g. "Why does long division work?", "What does the determinant of a matrix have to do with whether or not the matrix is invertible?")
Documentation for my projects (e.g. QAnal, WF algebra)