Hacker News new | past | comments | ask | show | jobs | submit | Y_Y's favorites login
1.
Calculus with types (stackoverflow.com)
123 points by isomorph on Oct 7, 2022 | 61 comments
2.
Z3 approach to discover that “q_rsqrt” is in Copilot's slur list (twitter.com/moyix)
257 points by Smaug123 on Sept 2, 2021 | 107 comments

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

Search: