this post was submitted on 16 Dec 2025
77 points (100.0% liked)

Hacker News

3264 readers
499 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 1 year ago
MODERATORS
patrick@lemmy.bestiver.se
rssbot@lemmy.bestiver.se
77
MIT professor shot at his Massachusetts home dies (www.bbc.com)
submitted 3 days ago by rssbot@lemmy.bestiver.se to c/hackernews@lemmy.bestiver.se
17 comments fedilink hide all child comments
 

Comments

you are viewing a single comment's thread
view the rest of the comments
[–] dgdft@lemmy.world 4 points 2 days ago (1 children)

If it weren’t for fucking Gödel, we’d be there already.

Just write the standard model as a few lines of lambda calculus and leave the rest as an exercise for the reader.

[–] ivanafterall@lemmy.world 2 points 2 days ago

Right!? I so get this. Excellent science reference! More like Nödel is what I always say!