Hello world!
I’m back. After more than 2 years of zero activity, this domain finally gets a kick. Thanks to all who pushed me to do it. In the upgrade process however I became nostalgic, and decided to leave the old site as it is under http://old.rbrusu.com/. “No further updates or bugfixes though”.