Vera — A language designed for machines to write
3 points by brokebit
3 points by brokebit
Lot of chutzpah to advertise that Kimi K2.5 writes perfect Vera code and also that Sonnet 4 does badly because "the variance inherent in single-run evaluation and model non-determinism".