fp.

FloatLib: Verified Floating-Point Arithmetic in Lean

https://leandojo.org/floatlib.html

1•matt_d•2m ago•0 comments

Driscoll's Gave China Its Blueberries–Then China Swiped the Secret to Growing Th

https://www.wsj.com/business/driscolls-berry-farms-china-competition-b0b49f04

1•harry_nutsachs•4m ago•0 comments

Open-Sourcing Rebalancer: High-Performance Assignment Problem Solver

https://engineering.fb.com/2026/09/21/open-source/rebalancer-generic-high-performance-library-ass...

1•iamsyr•6m ago•0 comments

Lifestreams: A storage model for personal data (1996)

https://dl.acm.org/doi/10.1145/381854.381893

1•dgudkov•7m ago•0 comments

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

https://github.com/pwardle/not-a-mused

2•momentmaker•8m ago•0 comments

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

https://github.com/CodeGameDev29/KFAutonomousAccounting

3•7eleven2007•8m ago•1 comments

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

https://www.theguardian.com/technology/2026/sep/21/google-is-fined-more-than-400m-by-irish-regula...

1•MC995•8m ago•0 comments

Ask HN: Ceremonious Architecture in Times of AI

2•ruxian•9m ago•0 comments

We're Using AI Wrong. The Chat Window Sucks

https://www.stclair.ai/blog/the-chat-window.html

1•kenxle•9m ago•0 comments

Artificial Intelligence and Labor Market Reallocation [pdf]

https://conference.nber.org/conf_papers/f247923.pdf

2•paulpauper•9m ago•0 comments

A U.S. Strategy to Secure Geopolitical Advantage on an Path to Superintelligence

https://www.rand.org/pubs/perspectives/PEA5105-1.html?project=&utm_campaign=thread&utm_content=17...

2•paulpauper•10m ago•0 comments

US threatens to ground Iranian airlines worldwide from Wednesday

https://www.aljazeera.com/economy/2026/9/21/us-threatens-to-ground-iranian-airlines-worldwide-fro...

2•teleforce•10m ago•0 comments

I shipped 2,500 PRs last month to production

https://twitter.com/poteto/status/2102050467505430555

1•doppp•10m ago•0 comments

Monthly Roundup #46: September 2026

https://thezvi.substack.com/p/monthly-roundup-46-september-2026

2•paulpauper•12m ago•0 comments

Sa: A Wrapper Around GNU Screen

https://joshstoolbox.com/blog/introducing_sa/

1•thatslast•14m ago•0 comments

OpenAI flags 6 new incidents of 'concerning' behavior, unveils plan to track it

https://www.nbcnews.com/tech/tech-news/openai-new-incidents-concerning-behavior-model-misalignmen...

3•gmays•16m ago•0 comments

The Way of Code by Rick Rubin

https://www.thewayofcode.com/

1•momentmaker•21m ago•0 comments

Agents on Rails: Maximum Effort and DeepSeek 4.1 Flash

https://rubyonrails.org/2026/9/21/agents-on-rails-maximum-effort-and-deepseek-4-1-flash

2•doppp•23m ago•0 comments

Escaping the OpenAI Codex sandbox, twice

https://accomplish.ai/blog/escaping-the-openai-codex-sandbox-twice/

1•CoderLim110•24m ago•0 comments

Outages across API, Grok.com, and Grok Build – API (us-east-1.api.x.ai) Status

https://status.x.ai/api-us-east-1/INC578e0bc8

2•corvad•25m ago•0 comments

Bubble Rumble

https://bubblerumble.net

1•jkwn•27m ago•1 comments

Robin Williams' Daughter to Fans Creating AI Videos: 'Have Some Shame'

https://variety.com/2026/film/news/robin-williams-daughter-ai-videos-1236871568/

9•CharlesW•29m ago•0 comments

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

https://datasets.store/

1•Sharanxxxx•29m ago•0 comments

Why do we have rust in the kernel?

https://www.theregister.com/software/2025/02/05/mixing-rust-and-c-in-linux-likened-to-cancer-by-m...

2•homo__sapiens•30m ago•1 comments

NewKid Days in SF on Oct. 25 – show what you're building to families

https://newkid.ai/p/calling-startups-show-us-the-ai-products

1•k7vin•32m ago•0 comments

People Hooked on Vapes Try a New Way to Quit: Cigarettes

https://www.bloomberg.com/news/articles/2026-09-18/to-quit-vaping-some-are-starting-to-smoke

6•alephnerd•32m ago•0 comments

Sorority Row's GLP-1 Secret

https://www.thecut.com/article/sorority-rows-glp-1-secret.html

2•gmays•42m ago•0 comments

Making portable my unportable transputer C compiler

https://nanochess.org/transputer_c_compiler.html

4•nanochess•46m ago•0 comments

Show HN: Marklite: Lightweight Markdown Viewer/Editor

https://marklite.app

1•mchilson•48m ago•0 comments

The A.I. Party House Where Networking Has a Dark Side

https://www.nytimes.com/2026/09/21/technology/agi-house-ai-culture.html

4•berkeleyjunk•48m ago•1 comments

FloatLib: Verified Floating-Point Arithmetic in Lean

Driscoll's Gave China Its Blueberries–Then China Swiped the Secret to Growing Th

Open-Sourcing Rebalancer: High-Performance Assignment Problem Solver

Lifestreams: A storage model for personal data (1996)

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

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

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

Ask HN: Ceremonious Architecture in Times of AI

We're Using AI Wrong. The Chat Window Sucks

Artificial Intelligence and Labor Market Reallocation [pdf]

A U.S. Strategy to Secure Geopolitical Advantage on an Path to Superintelligence

US threatens to ground Iranian airlines worldwide from Wednesday

I shipped 2,500 PRs last month to production

Monthly Roundup #46: September 2026

Sa: A Wrapper Around GNU Screen

OpenAI flags 6 new incidents of 'concerning' behavior, unveils plan to track it

The Way of Code by Rick Rubin

Agents on Rails: Maximum Effort and DeepSeek 4.1 Flash

Escaping the OpenAI Codex sandbox, twice

Outages across API, Grok.com, and Grok Build – API (us-east-1.api.x.ai) Status

Bubble Rumble

Robin Williams' Daughter to Fans Creating AI Videos: 'Have Some Shame'

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

Why do we have rust in the kernel?

NewKid Days in SF on Oct. 25 – show what you're building to families

People Hooked on Vapes Try a New Way to Quit: Cigarettes

Sorority Row's GLP-1 Secret

Making portable my unportable transputer C compiler

Show HN: Marklite: Lightweight Markdown Viewer/Editor

The A.I. Party House Where Networking Has a Dark Side

Scaling Discovery Through Test-Time Communication

FloatLib: Verified Floating-Point Arithmetic in Lean

Driscoll's Gave China Its Blueberries–Then China Swiped the Secret to Growing Th

Open-Sourcing Rebalancer: High-Performance Assignment Problem Solver

Lifestreams: A storage model for personal data (1996)

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

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

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

Ask HN: Ceremonious Architecture in Times of AI

We're Using AI Wrong. The Chat Window Sucks

Artificial Intelligence and Labor Market Reallocation [pdf]

A U.S. Strategy to Secure Geopolitical Advantage on an Path to Superintelligence

US threatens to ground Iranian airlines worldwide from Wednesday

I shipped 2,500 PRs last month to production

Monthly Roundup #46: September 2026

Sa: A Wrapper Around GNU Screen

OpenAI flags 6 new incidents of 'concerning' behavior, unveils plan to track it

The Way of Code by Rick Rubin

Agents on Rails: Maximum Effort and DeepSeek 4.1 Flash

Escaping the OpenAI Codex sandbox, twice

Outages across API, Grok.com, and Grok Build – API (us-east-1.api.x.ai) Status

Bubble Rumble

Robin Williams' Daughter to Fans Creating AI Videos: 'Have Some Shame'

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

Why do we have rust in the kernel?

NewKid Days in SF on Oct. 25 – show what you're building to families

People Hooked on Vapes Try a New Way to Quit: Cigarettes

Sorority Row's GLP-1 Secret

Making portable my unportable transputer C compiler

Show HN: Marklite: Lightweight Markdown Viewer/Editor

The A.I. Party House Where Networking Has a Dark Side