Archive

Finitely Generated Projective Modules are Locally Free 01-22

Invariant Subschemes of Affine $\IG_m$-Schemes 11-19

Graded Rings and Affine $\IG_m$-Schemes 11-18

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