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...
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.
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