or maybe also not the first time.
This is, resp. will be my new homepage, resurrected step-by-step from the previous one in quite an overhaul. The university has decided to no longer tolerate self-designed webpages; they call them “private home pages”. I take that as opportunity to move on, and redesign my pages in the process, brush them up, and add also new stuff, gradually.
To do so, I gradually familiarize myself with Jekyll (and connect it to emacs org mode). It involves some experimentation with different themes, different templates, configurations, etc.; there are a lot of moving parts…
That means: the pages here are under construction. Contentwise, not everything is in place yet (not all publications are accessible, not all master theses…) So the page is very much in flux.
A small amount of background information (best read in the context of the first sets)
Or maybe how not to implement it?
(White-)space exploration, FORTRAN, lexing, antiquity & fetischism
Fine points and corner cases for regular expressions and their relation with FSAs
In the lecture, we covered type inference for generic polymorphism in a typed calculus with higher-order functions, including recursive functions and let-bin...
Some remarks about variations on the theme