News for hackers. Stuff that matters.

A comment on Should proofs include a third “context” column?.

Re:Should proofs include a third “context” column? by dqpb on Wednesday January 12, 2022 @02:43PM (#29911827)
I love reducing a problem to its minimal formalism.

I hate documentation that only includes the minimal formalism without examples.

It suggests the author never developed “Theory of Mind”.

[ Parent | on HN ]
Re:Should proofs include a third “context” column? by abrax3141 on Wednesday January 12, 2022 @04:45PM (#29913122)
“It suggests the author never developed “Theory of Mind”.”

Interesting…Can you explain this more?

[ Parent | on HN ]