[latexr]

> Greg Brockman needs no introduction.

Even if that were true¹, it doesn’t mean everyone would know their HN user name.

¹ Greg may be well known within a select group of people but that’s way smaller than even users of ChatGPT.

[xanderlewis]

I clicked through to see his bio; I didn’t know his username.