computer science, research, bits of math


Encounter with Applicative Functors

This holiday weekend has enlightened me on some important topics in functional programming. It has persuaded me to take a real look at category theory. It all began with a need of intuition on Applicative Functors. They really are such exquisite things. Alright, prologue aside,...


Synthetic Geometry Online

It is common in my study to present mathematical examples, proofs, notes, etc. online. Generally, there are tools for analytic problems: things like mathbin, texpaste. What about steps in problems of Geometry — or sharing them soundly