News for hackers. Stuff that matters.

A comment on When are two proofs essentially the same? (2007). Parent comment

Re:When are two proofs essentially the same? (2007) by drpossum on Wednesday October 30, 2024 @11:01AM (#41995708)
I hadn't noticed, but it's a free board.
[ Parent | on HN ]
Re:When are two proofs essentially the same? (2007) by tightbookkeeper on Wednesday October 30, 2024 @11:06AM (#41995780)
I only noticed because I was perplexed by the comment.

If I’m hitting this issue at random, others are hitting it too.

[ Parent | on HN ]