Ramkumar Ramachandra on Nostr: nprofile1q…6gyrf Just finished reading the paper and skimming the code. I think ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqf3nlrmpjja65pzmvlegyl27l0y2m007nncxttdwqndrejajvdzask6gyrf (nprofile…gyrf) Just finished reading the paper and skimming the code. I think it's small enough, and well within my grasp to maintain and extend Minotaur: the only question is if I will be able to sell this work to my employer, to also get time to do this as part of my day-job. Potentially, that could mean that I'd have time to eventually make my way to contributing to Alive2, and implement much-needed support for those loops we talked about earlier. I'm very optimistic about selling this to my employer though: I think this thing is going to report a huge number of missed optimizations that will look very good. Otherwise, my Sundays are taken up by the simplicial-cubical formalization work we're doing, and I spend the one day, Saturday, not doing work.