Related:

Minotaur: A SIMD-oriented synthesizing superoptimizer - https://news.ycombinator.com/item?id=36701160 - July 2023 (15 comments)

(Reposts are fine after a year or so; links to past threads are just to satisfy extra-curious readers)