This is a running log — short write-ups on whatever's currently on the workbench, whether that's a build, a bug, or a proof that finally clicked.
← back to the indexA small blog for me to post updates about what I am working on.
This is a running log — short write-ups on whatever's currently on the workbench, whether that's a build, a bug, or a proof that finally clicked.
← back to the index