Rosetta 2 creator leaves Apple to work on Lean full-time from Hacker News on 2024-12-22 02:01 (#6T3A5) Comments
