Matthew Martin on Nostr: Now do the same for str.format(). I remember questions on SO from a decade go saying ...

Now do the same for str.format(). I remember questions on SO from a decade go saying that is was mostly unsolvable. I think a cheap 7b LLMs could solve it tho.