a lot of human effort clearly went into this work. so the term "slop" is harsh. but its also a bad look to lash out at that label and claim that people Just Don't Get It. check out https://bcantrill.dtrace.org/2025/12/05/your-intellectual-fl...

Oh, I really enjoyed that article when it came out too! I would recommend you read it before you share it next time, you might find some insights~

In this case, the GP didn't actually finish reading my article (and thus really has no standing to make any comment on its content); I assume they got filtered by the formalism, which is a shame, but I didn't want to discourage their attempts! Formal verification sometimes just isn't for everyone.

would you be willing to be more specific on what insights i've missed?

regarding the GP's comments on article content, i suppose maybe one critique could have been sharpened by a closer reading?

> There could be some value buried in there

i'd imagine you agree.

> could have been 10% of its size

likely false, but i interpreted this as an intentional exaggeration

> could have been human written

likely true