BlackHC's Adventures

Today I want to write about something I’ve been working ages ago - specifically in March I wanted to see if I can extend a Java compiler to support LINQ expressions, too. [Read More]

Induction over natural numbers is a standard tool in Mathematics. But what about doing induction over real numbers (non-negative real numbers)? The structure is different and it’s not immediately clear what is meant, so let me clarify it. [Read More]

Konkrete Analysis [Read More]

Everybody (I hope) knows the pigeonhole principle. [Read More]

I’ve finally managed to upload a version of my PowerPoint LaTeX add-in for PowerPoint 2007. [Read More]