http://stefan-fehrenbach.net/index.html http://stefan-fehrenbach.net/publications/index.html http://stefan-fehrenbach.net/blog/2025-10-11-dynamic-line-spacing/index.html http://stefan-fehrenbach.net/blog/2024-05-27-cloudant-pouchdb-sync-cors-error/index.html http://stefan-fehrenbach.net/blog/2024-01-20-frink-in-nixpgks/index.html http://stefan-fehrenbach.net/blog/2018-10-26-fiftyfive-bytes-of-webassembly/index.html http://stefan-fehrenbach.net/blog/2018-04-28-efficient-updates-closed-records-purescript/index.html http://stefan-fehrenbach.net/blog/2018-04-20-provenance-in-the-wild-3/index.html http://stefan-fehrenbach.net/blog/2018-02-25-purescript-and-google-closure-notes/index.html http://stefan-fehrenbach.net/blog/2017-03-27-fail-better/index.html http://stefan-fehrenbach.net/blog/2017-03-22-grades-vs-politicians/index.html http://stefan-fehrenbach.net/blog/2017-03-01-it-s-easier-to-ask-forgiveness-than-it-is-to-get-permission/index.html http://stefan-fehrenbach.net/blog/2016-11-28-provenance-in-the-wild-2/index.html http://stefan-fehrenbach.net/blog/2016-03-29-provenance-in-the-wild/index.html http://stefan-fehrenbach.net/blog/2015-11-19-lean-prover/index.html http://stefan-fehrenbach.net/blog/2015-09-24-macbeth/index.html http://stefan-fehrenbach.net/blog/2015-03-03-writing-exercise/index.html http://stefan-fehrenbach.net/blog/2015-02-20-google-interview-example-problem/index.html http://stefan-fehrenbach.net/blog/2015-02-09-concatenating-numbers/index.html http://stefan-fehrenbach.net/blog/2014-09-19-leaving-marburg-next-stop-edinburgh/index.html http://stefan-fehrenbach.net/blog/2013-08-12-icfp-programming-contest-2013/index.html http://stefan-fehrenbach.net/blog/2013-08-08-first-post/index.html