I'm sure you're remarkable enough congratulations for your hard work | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		alliao on Oct 27, 2023 \| parent \| context \| favorite \| on: Lean4 helped Terence Tao discover a small bug in h... I'm sure you're remarkable enough congratulations for your hard work

n4r9 on Oct 27, 2023 [–]

Not remarkable enough to land a post doc and stay in academia. But thank you :)

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact