Some silly Z3 scripts I wrote
(news.ycombinator.com)
931.
932.
AI is destroying open source, and it's not even good yet [video]
(news.ycombinator.com)
933.
A simple web we own
(news.ycombinator.com)
934.
Will Trump’s DOJ actually take on Ticketmaster?
(theverge.com)
936.
Julia: Performance Tips
(news.ycombinator.com)
937.
Show HN: PgDog – Scale Postgres without changing the app
(news.ycombinator.com)
939.
The Origins of Agar
(news.ycombinator.com)
940.
941.
The Age Verification Trap: Verifying age undermines everyone's data protection
(news.ycombinator.com)
942.
The Age Verification Trap, Verifying age undermines everyone's data protection
(news.ycombinator.com)
943.
femtolisp: A lightweight, robust, scheme-like Lisp implementation
(news.ycombinator.com)
944.
945.
Live Updates From Samsung Galaxy Unpacked 2026 🔴
(gizmodo.com)
946.
Ladybird adopts Rust, with help from AI
(news.ycombinator.com)
947.
Ladybird adopts Rust
(news.ycombinator.com)
948.
Ladybird Browser adopts Rust
(news.ycombinator.com)
949.
950.
QRTape – Audio Playback from Paper Tape with Computer Vision (2021)
(news.ycombinator.com)
951.
Show HN: AI Timeline – 171 LLMs from Transformer (2017) to GPT-5.3 (2026)
(news.ycombinator.com)
952.
Magical Mushroom – Europe's first industrial-scale mycelium packaging producer
(news.ycombinator.com)
953.
How many AIs does it take to read a PDF?
(theverge.com)
954.
Crawling a billion web pages in just over 24 hours, in 2025
(news.ycombinator.com)
955.
956.
957.
958.
Can the creator economy stay afloat in a flood of AI slop?
(techcrunch.com)
959.
We installed a single turnstile to feel secure
(news.ycombinator.com)
960.
Global Intelligence Crisis
(news.ycombinator.com)