niplav comments on Patching ~All Security-Relevant Open-Source Software?

[niplav]

Yeah, I goofed by using Claude for math, not any of the OpenAI models, which are much better at math.