511.
512.
The mild mannered Englishman who was the most prolific ghost hunter
(news.ycombinator.com)
513.
515.
Cyborgs vs. rooms, two visions for the future of computing
(news.ycombinator.com)
516.
517.
518.
Nation-state hackers deliver malware from “bulletproof” blockchains
(arstechnica.com)
520.
521.
Three ways formally verified code can go wrong in practice
(news.ycombinator.com)
523.
524.
ScribeOCR – Web interface for recognizing text, OCR, & creating digitized docs
(news.ycombinator.com)
525.
Rubygems.org AWS Root Access Event – September 2025
(news.ycombinator.com)
526.
Creating a database of motivated proofs
(news.ycombinator.com)
527.
528.
529.
How different mushrooms learned the same psychedelic trick
(arstechnica.com)
530.
531.
Amber Room
(news.ycombinator.com)
532.
Why iRobot’s founder won’t go within 10 feet of today’s walking robots
(arstechnica.com)
533.
Ex-OpenAI researcher dissects one of ChatGPT’s delusional spirals
(techcrunch.com)
535.
536.
537.
C-sigma: Easy-to-use Sigma proofs in C using libsodium
(news.ycombinator.com)
538.
Famed roboticist says humanoid robot bubble is doomed to burst
(techcrunch.com)
539.
540.
Roomba robot vacuums are more than $300 off right now
(engadget.com)