Hacker News new | past | comments | ask | show | jobs | submit | from login

Lean Co-pilot for LLM-human collaboration to write formal mathematical proofs (twitter.com/animaanandkumar) 4 points by techwizrd 5 months ago | past Director of AI at Nvidia publishes list of people she wants harassed/canceled (twitter.com/animaanandkumar) 38 points by throwawaysea on Dec 14, 2020 | past | 12 comments OpenAi API and Reddit = Racism? (twitter.com/animaanandkumar) 2 points by SandersAK on June 12, 2020 | past | 1 comment

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