I massively upgraded my homelab’s rack, and wanted to show a grafana dashboard on an external display. My first attempts were to use a DisplayLink USB -> HDMI adapter to […]
The Algebraic Small Object Argument
For my thesis I wrote a formalization of the Algebraic Small Object Argument by Richard Garner. It is a construction in Category Theory, used to generate Natural Weak Factorization Systems. […]
Extracting photos from Vivitar Mini Camera
See my GitHub repository on this. We found this mini camera that can go on your keychain, a Vivitar Mini Camera, but we had no way of extracting the photos. […]