this post was submitted on 22 Dec 2024

5 points (100.0% liked)

Hacker News

309 readers

972 users here now

RSS Feed of HackerNews

founded 4 months ago

MODERATORS

[email protected]

[email protected]

5

Rosetta 2 creator leaves Apple to work on Lean full-time (www.linkedin.com)

submitted 3 weeks ago by [email protected] to c/[email protected]

2 comments fedilink hide all child comments

you are viewing a single comment's thread
view the rest of the comments

[–] franticuk 2 points 2 weeks ago

https://lean-fro.org/about/ and https://lean-lang.org/ (I think).