83
MIT professor shot at his Massachusetts home dies
(www.bbc.com)
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 16 Dec 2025
83 points (100.0% liked)
Hacker News
3765 readers
444 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
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.
Right!? I so get this. Excellent science reference! More like Nödel is what I always say!