Let us ask, Does it contain any abstract reasoning concerning quantity or number? No. Does it contain any experimental reasoning concerning matter of fact and existence? No. Commit it then to the flames: for it can contain nothing but sophistry and illusion.
— David Hume, An Inquiry Concerning Human Understanding
Do you find the background of this page interesting? Learn its story here.
The fundamental questions about education research are what to teach (which can be answered by envisioning the future society) and how to teach (which can only be answered by trying various teaching approaches, although heuristics can be drawn from several fields).
I create SVG animations for fun.
Scheme and Agda are my favorite programming languages. (But honestly, bad languages with good IDEs are generally way better than good languages with bad IDEs.)
Pyret does a great job of defining the notions of equality.
I found λ-expressions look lovely.