TorchLean: Formalizing Neural Networks in Lean
(news.ycombinator.com)
28081.
28082.
Claude is the Number 2 Free App in Apple’s App Store Now
(gizmodo.com)
28083.
Programmable Cryptography (2024)
(news.ycombinator.com)
28085.
Iran's Ayatollah Ali Khamenei is killed in Israeli strike, ending 36-year rule
(news.ycombinator.com)
28086.
28087.
We do not think Anthropic should be designated as a supply chain risk
(news.ycombinator.com)
28088.
28089.
28090.
28091.
28092.
Watch Marlon Wayans React to His ‘Scary Movie 6’ Trailer
(gizmodo.com)
28093.
Block the “Upgrade to Tahoe” Alerts
(news.ycombinator.com)
28094.
Modern Illustration: Archive of illustration from c.1950-1975
(news.ycombinator.com)
28095.
28096.
28097.
28098.
28099.
28100.
28102.
28103.
28104.
Show HN: Now I Get It – Translate scientific papers into interactive webpages
(news.ycombinator.com)
28105.
28106.
Hey Samsung, Please Stop Forcing AI on Me
(cnet.com)
28107.
Why Objective-C
(news.ycombinator.com)
28108.
28109.
Who is the Kimwolf Botmaster “Dort”?
(krebsonsecurity.com)
28110.