On: Formalizing CPython

Stop using the word slop. It's a joke at this point.

No offense, but that doesn't mean a whole lot coming from someone who's all in on the slop train, ArtCraft guy.

> ArtCraft guy.

Please don’t post comments with snarky stings in the tail on HN. Disagreement is fine. Personal swipes are definitely not.

https://news.ycombinator.com/newsguidelines.html

It's not a snarky sting. I think ArtCraft is very impressive, to be clear. I just couldn't figure out another concise way to provide the relevant context that would be needed to understand my comment.

Now if I did want to be snarky, this is the part where I'd point to the "assume good faith" part of the guidelines.

Title says formalizing, article amounts to "we asked claude to check one result with lean, got bad results, then we told it to make no mistakes".