This is a long running project which just involves trying to push the boundary on verified non-examples. The log for this one is a bit old as it is one of the projects moved into my monorepo that remains unpublished. More entries will show up here eventually.

Current status is that I’ve more or less recreated prior work, albeit a bit slower, in Rust, and have been experimenting mostly with different GPU strategies for fanning this work out (which is not at all straightforward).