I’ve quite a few things I’ve wanted to write about a long time ago and I actually started working on them and taking notes, etc. but never found time for one reason or another to write and publish the actual posts. So this is meant as fast forward of all...
[Read More]
Extending Java and Javac
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]
\(\epsilon\) Induction
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]
Analysis, Cauchy-Schwarz and Reciprocal Sums
Konkrete Analysis
[Read More]
The Reverse Pigeonhole Principle
Everybody (I hope) knows the pigeonhole principle.
[Read More]