Hacker News – Telegram
Proving Bounds for the Randomized MaxCut Approximation Algorithm in Lean4
Article, Comments
🌭1
I'm returning my Framework 16
Article, Comments
🤡12🌭3🤣3👍2🤬1😢1🤨1
Tell HN: Merry Christmas
Article, Comments
🔥219🎅4💩3🤡1🌭1
Making a game on a custom bytecode VM in 7 days and 3kB
Article, Comments
7💩2🌭2
Researchers achieved 1,270 Wh/L in an anode-free lithium metal battery
Article, Comments
🔥4🥱4🌭1🎄1
Fabrice Bellard: Biography [pdf]
Article, Comments
👍5🌭1
Looking for Decent Conversation?
Article, Comments
👻2👍1🌭1🖕1