On: The Hoare Cube

[thechao → aaronsnoswell]

That's a shockingly good Socratic dialog that maps fairly well! I've not read your dialog in detail; nor have I read this blog article enough times to know if the mapping is correct. However, a quick glance shows that it's in the same ballpark!

[dev-jayson → aaronsnoswell]

This is probably the longest comment I've ever seen on this platform.

[aaronsnoswell → aaronsnoswell]

Downvotes - explain why?

[ajb → aaronsnoswell]

Because if they wanted an LLM answer they could paste it into an LLM themselves.

[CamperBob2 → ajb]

It's not an answer, it's a dialogue. One that's literate and erudite enough to be interesting.

Hackers aren't supposed to be knee-jerk reactionaries. Do better... or at least, vote better.

[theamk → CamperBob2]

That is an answer in form of dialogue.

There is no point in engaging with LLM-generated comments, as person posting them is not an original author, you cannot ask them for clarification, discuss minor point, or point to inaccuracy. That's why LLMs are best left to personal, interactive context, and attempts to paste LLM replies into comments should be downvoted.

[73kl4453dz → theamk]

Also, ivanbakel's answer was good ; the llm one was long and unfocused.