this post was submitted on 22 Dec 2024
5 points (100.0% liked)

Hacker News

736 readers
322 users here now

Posts from the RSS Feed of HackerNews.

The feed sometimes contains ads and posts that have been removed by the mod team at HN.

founded 5 months ago
MODERATORS
patrick@lemmy.bestiver.se
rssbot@lemmy.bestiver.se
5
Rosetta 2 creator leaves Apple to work on Lean full-time (www.linkedin.com)
submitted 2 months ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se
2 comments fedilink hide all child comments
 

Comments

you are viewing a single comment's thread
view the rest of the comments
[–] franticuk@lemmy.world 2 points 2 months ago

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