12181.
12182.
A Real PowerBook: The Macintosh Application Environment on a Pa-RISC Laptop
(news.ycombinator.com)
12183.
Tourist Spots ‘Extinct’ Jellyfish Not Seen in 50 Years
(gizmodo.com)
12184.
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
(news.ycombinator.com)
12185.
Mezzano, an operating system written in Common Lisp
(news.ycombinator.com)
12186.
HTML-in-Canvas
(news.ycombinator.com)
12188.
Tim Cook reportedly tells employees Apple ‘must’ win in AI
(techcrunch.com)
12189.
12190.
I want Gemini to be my DJ in YouTube Music
(androidauthority.com)
12191.
Apple @ Work: Why MDM isn’t enough to succeed with Macs
(9to5mac.com)
12192.
VSCode extension for syntax highlighting multi-line YAML strings
(news.ycombinator.com)
12193.
The Rubik's Cube Perfect Scramble
(news.ycombinator.com)
12194.
The Art of Multiprocessor Programming 2nd Edition Book Club
(news.ycombinator.com)
12195.
12196.
12197.
12198.
The Rickover Corpus: A digital archive of Admiral Rickover's speeches and memos
(news.ycombinator.com)
12199.
12200.
Almost All Rain Drops Contain the Same Weird Chemical
(futurism.com)
12201.
Coffeematic PC – A coffee maker computer that pumps hot coffee to the CPU
(news.ycombinator.com)
12202.
12203.
‘Foundation’ Just Dropped a Huge, Terrifying Twist
(gizmodo.com)
12204.
12205.
Unemployment rising in remote-friendly occupations (2024)
(news.ycombinator.com)
12206.
Philz Coffee close to closing deal to sell to private equity firm for $145M
(news.ycombinator.com)
12207.
12208.
12209.
At 17, Hannah Cairo solved a major math mystery
(news.ycombinator.com)
12210.
Ask HN: Who is hiring? (August 2025)
(news.ycombinator.com)