I am a PhD student in Computer Science with the Systems Group at ETH Zurich. I have a formal methods background, and am currently working on low-level high-assurance systems.
In my free time I enjoy playing chess and administering my own systems.
About this blog
A disclaimer in advance: I am not a frontend developer. Barring some basic HTML I learned in school I have not written a single line of JavaScript and this blog is my first encounter with HTML5/CSS. I have tried to make this website as accessible as possible to screenreaders, if you have any suggestions how it can be improved, feel free to send a plain-text E-Mail to my public inbox at ~bfiedler/public-inbox@lists.sr.ht.
I pride myself on the fact that this blog is free of JavaScript, tracking cookies, etc. All resources are served directly from the same domain from which you are visiting this site, which means that no third-party tracking is involved in any way.
This blog is statically generated by Hugo, served by nginx and deployed using builds.sr.ht. I have written the entire styling myself in order to get more comfortable with CSS. The source of this blog hosted on sourcehut.
All content is licensed under the CC BY-SA 4.0 license.