News for hackers. Stuff that matters.

A comment on Kevin Buzzard on Grothendieck's use of equality. Parent comment

Re:Kevin Buzzard on Grothendieck's use of equality by euiq on Monday May 20, 2024 @04:12PM (#40419734)
let me guess: you haven't read the article, have you?
[ Parent | on HN ]
Re:Kevin Buzzard on Grothendieck's use of equality by xigoi on Tuesday May 21, 2024 @04:29AM (#40425574)
> Please don't comment on whether someone read an article. "Did you even read the article? It mentions that" can be shortened to "The article mentions that".

https://news.ycombinator.com/newsguidelines.html

[ Parent | on HN ]