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. […]