GoKawiil
Nation-state hackers deliver malware from “bulletproof” blockchains
(arstechnica.com)
91.
92.
Three ways formally verified code can go wrong in practice
(news.ycombinator.com)
93.
ScribeOCR – Web interface for recognizing text, OCR, & creating digitized docs
(news.ycombinator.com)
94.
Creating a database of motivated proofs
(news.ycombinator.com)
95.
C-sigma: Easy-to-use Sigma proofs in C using libsodium
(news.ycombinator.com)
96.
We all dodged a bullet
(news.ycombinator.com)
97.
We All Dodged a Bullet
(news.ycombinator.com)
98.
Anything can be a message queue if you use it wrongly enough (2023)
(news.ycombinator.com)
99.
'Ten Martini' Proof Uses Number Theory to Explain Quantum Fractals
(news.ycombinator.com)
100.
Who does your assistant serve?
(news.ycombinator.com)
101.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
(news.ycombinator.com)
102.
Age Verification Doesn't Need to Be a Privacy Footgun
(news.ycombinator.com)
103.
The math is haunted
(news.ycombinator.com)
104.
The Math Is Haunted
(news.ycombinator.com)
105.
Evaluating publicly available LLMs on IMO 2025
(news.ycombinator.com)
106.
Verified dynamic programming with Σ-types in Lean
(news.ycombinator.com)
107.
Verified Dynamic Programming with Σ-types in Lean
(news.ycombinator.com)
108.
Proofs Without Words
(news.ycombinator.com)
109.
Calculating Oil Storage Tank Occupancy with Help of Satellite Imagery
(news.ycombinator.com)
110.
Writing a Truth Oracle in Lisp
(news.ycombinator.com)
111.
Peano arithmetic is enough, because Peano arithmetic encodes computation
(news.ycombinator.com)
112.
Password-spraying attacks target 80,000 Microsoft Entra ID accounts
(bleepingcomputer.com)
Today's top topics:
google
apple
openai
remarkable
amazon
android authority
spacex
anthropic
claude
nvidia