The best Hacker News stories from All from the past day

from

All Show

from the past*

day week month

with these search terms:

Create follow Go back

Latest posts:

AI will make formal verification go mainstream

AI will make formal verification go mainstream

This is not the future

alpr.watch

alpr.watch

Mozilla appoints new CEO Anthony Enzor-Demeo

Mozilla appoints new CEO Anthony Enzor-Demeo

Pricing Changes for GitHub Actions

Pricing Changes for GitHub Actions

Adafruit: Arduino’s Rules Are ‘Incompatible With Open Source’

Thousands of U.S. farmers have Parkinson's. They blame a deadly pesticide

AI agents are starting to eat SaaS

Avoid UUID Version 4 Primary Keys in Postgres

Pro-democracy HK tycoon Jimmy Lai convicted in national security trial

“Super secure” messaging app leaks everyone's phone number

“Super secure” messaging app leaks everyone's phone number

Ford kills the All-Electric F-150

Roomba maker goes bankrupt, Chinese owner emerges

<a href="https://www.reuters.com/technology/irobot-enters-chapter-11-lender-acquire-roomba-maker-2025-12-15/" rel="nofollow">https://www.reuters.com/technology/irobot-enters-chapter-11-...</a>

If AI replaces workers, should it also pay taxes?

Recovering Anthony Bourdain's Li.st's