Follow all of news.ycombinator.com →

FloatLib: Verified Floating-Point Arithmetic in Lean

leandojo.orgHN1 min read
Read on Scour →
Feeds

Driscoll’s Gave China Its Blueberries—Then China Swiped the Secret to Growing Them

The Wall Street JournalHNCovered by2
The Wall Street Journal
Covered by2 sites
China Articles, and more ›
Read on Scour →
Feeds

A zero-day has been released for Meta's Muse

pwardle/not-a-musedHN
Read on Scour →
Feeds

I built an autonomous accounting tool to let AI do my taxes

codegamedev29/kfautonomousaccountingHN8 min read
Read on Scour →
Feeds

Google is fined more than €400m by Irish regulator over its use of location data

The GuardianHNCovered by22 min read
The Guardian
Covered by2 sites
POLITICO, and more ›
Covers 1 story
Every Step You Take
Read on Scour →
Feeds

We're Using AI Wrong. The Chat Window Sucks

stclair.aiHN5 min read
Read on Scour →
Feeds

Artificial Intelligence and Labor Market Reallocation [pdf]

conference.nber.orgHN10 min read
Read on Scour →
Feeds

US threatens to ground Iranian airlines worldwide from Wednesday

Al JazeeraHN1 min read
Read on Scour →
Feeds

here's how i shipped 2,500 PRs last month to production

Hack'n SpeakHN
Read on Scour →
Feeds

Monthly Roundup #46: September 2026

thezvi.substack.comSubstack30 min read
Read on Scour →
Feeds

sa: My Wrapper Around GNU screen

joshstoolbox.comHN6 min read
Read on Scour →
Feeds

OpenAI flags 6 new incidents of ‘concerning’ behavior and unveils plan to track it

NBC NewsHN
Read on Scour →
Feeds

Agents on Rails: Maximum Effort and DeepSeek 4.1 Flash

Ruby on RailsHN6 min read
Read on Scour →
Feeds

Escaping the OpenAI Codex sandbox, twice

AccomplishHNCovered by6
Accomplish
Covered by6 sites
DEV Community, BleepingComputer, and more ›
Read on Scour →
Feeds

Robin Williams’ Daughter Calls for Fans Creating AI Videos of the Actor to ‘Have Some Shame’: ‘Leave Him Out of Your Delusional Bulls—’

VarietyHN1 min read
Read on Scour →
Feeds

Datasets.store: Pre-scraped ecommerce datasets across 80 retail platforms

datasets.storeHN
Read on Scour →
Feeds

The Secret ‘Ozempidemic’ on Sorority Row

The CutHNCovered by220 min read
Read on Scour →
Feeds

Making portable my unportable transputer C compiler

nanochess.orgHN10 min read
Read on Scour →
Feeds

Tinycc-cygwin (tcc-cygwin) compiler

muras69/tinycc-cygwinHN
Read on Scour →
Feeds

Show HN: Shapefile viewer that asks which datum when the .prj is missing

Revolution9HN
Read on Scour →
Feeds

Keyboard shortcuts

Navigation

Next / previous post
j/k
Open post
oorEnter
Preview post
v

Post actions

Love post
a
Like post
l
Dislike
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Discover
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help