RSS BotMB to Hacker NewsEnglish · 4 days agoRosetta 2 creator leaves Apple to work on Lean full-timewww.linkedin.comexternal-linkmessage-square2fedilinkarrow-up15arrow-down10file-text
arrow-up15arrow-down1external-linkRosetta 2 creator leaves Apple to work on Lean full-timewww.linkedin.comRSS BotMB to Hacker NewsEnglish · 4 days agomessage-square2fedilinkfile-text
minus-squarefranticuk@lemmy.worldlinkfedilinkEnglisharrow-up2·3 days agohttps://lean-fro.org/about/ and https://lean-lang.org/ (I think).
https://lean-fro.org/about/ and https://lean-lang.org/ (I think).