53851.
53853.
Seed7 – The Extensible Programming Language
(news.ycombinator.com)
53854.
Flourishing chemosynthetic life at the greatest depths of hadal trenches
(news.ycombinator.com)
53855.
People still use our old-fashioned Unix login servers
(news.ycombinator.com)
53856.
A Real PowerBook: The Macintosh Application Environment on a Pa-RISC Laptop
(news.ycombinator.com)
53857.
‘Batman’ and ‘Casper’ Are Coming Back to Theaters
(gizmodo.com)
53858.
Tourist Spots ‘Extinct’ Jellyfish Not Seen in 50 Years
(gizmodo.com)
53860.
Writing a basic service for GNU Guix
(news.ycombinator.com)
53861.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
(news.ycombinator.com)
53862.
The Crisis of Professional Skepticism
(news.ycombinator.com)
53864.
53865.
53866.
53868.
53869.
53870.
53871.
Darksiders 4 was not on my 2025 bingo card
(engadget.com)
53872.
A dive into open chat protocols
(news.ycombinator.com)
53873.
A.I. researchers are negotiating $250M pay packages
(news.ycombinator.com)
53874.
The Big Oops in type systems: This problem extends to FP as well
(news.ycombinator.com)
53875.
Great Question (YC W21) Is Hiring a VP of Engineering (Remote)
(news.ycombinator.com)
53876.
Double-slit experiment holds up when stripped to its quantum essentials
(news.ycombinator.com)
53877.
Anandtech.com now redirects to its forums
(news.ycombinator.com)
53878.
Telo MT1
(news.ycombinator.com)
53879.
53880.