Jakob Werner
Blog
Projects
Publications
Archive
2025
6
Sorted Labelled Trees
07-16
The Extended Extended Euclidean Algorithm
06-03
Sheaves in the Alexandroff Topology
05-01
The Sierpinski Locale
04-25
Hosting a Static Website with Zola, Woodpecker CI and Codeberg Pages
04-21
Unlocking GNOME Keyring with Full Disk Encryption and Automatic Login under NixOS
04-20