2611.
2612.
2613.
Some silly Z3 scripts I wrote
(news.ycombinator.com)
2614.
The First Fully General Computer Action Model
(news.ycombinator.com)
2615.
2616.
Finnish quantum unicorn IQM set to go public
(techcrunch.com)
2617.
The Missing Semester of Your CS Education – Revised for 2026
(news.ycombinator.com)
2618.
The peculiar case of Japanese web design
(news.ycombinator.com)
2619.
2620.
2621.
2622.
2623.
Hetzner Prices increase 30-40%
(news.ycombinator.com)
2624.
The JavaScript Oxidation Compiler
(news.ycombinator.com)
2625.
2626.
Show HN: Warn Firehose – Every US layoff notice in one searchable database
(news.ycombinator.com)
2627.
Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI)
(news.ycombinator.com)
2628.
2629.
Show HN: Django-xbench – slow endpoint aggregation for Django
(news.ycombinator.com)
2630.
America desperately needs new privacy laws
(theverge.com)
2631.
30 Years of Decompilation and the Unsolved Structuring Problem: Part 1 (2024)
(news.ycombinator.com)
2632.
2633.
2634.
Dinosaur eggshells can reveal the age of other fossils
(arstechnica.com)
2635.
Have we leapt into commercial genetic testing without understanding it?
(arstechnica.com)
2636.
Fury over Discord’s age checks explodes after shady Persona test in UK
(arstechnica.com)
2637.
Frustrated with multiple SIMs on Samsung Galaxy phones? One UI 8.5 is coming to the rescue
(androidauthority.com)
2638.
Optophone
(news.ycombinator.com)
2639.
2640.
Tesla still has to pay $243 million over fatal Autopilot crash, judge rules
(feeds.feedburner.com)
Today's top topics:
cnet