Ramkumar Ramachandra on Nostr: nprofile1q…6gyrf Haha, it was a bit naive of me to assume that something like this ...

nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqf3nlrmpjja65pzmvlegyl27l0y2m007nncxttdwqndrejajvdzask6gyrf (nprofile…gyrf) Haha, it was a bit naive of me to assume that something like this didn't already exist. On second thought, I think I will fork Yingwei's corpus, wire it up to Minotaur, run on CI, and report the missed optimizations. It might just be a weekend project, and I think the effort will be well worth it, especially since Minotaur seems to work with vectors. I will have a never-ending supply of work! Now, if what I plan is already implemented somewhere, do let me know!