fp.

A "proof" of Fermat's Last Theorem that fits the margin

https://blog.trailofbits.com/2026/09/09/a-proof-of-fermats-last-theorem-that-fits-the-margin/

2•camel-cdr•1m ago•0 comments

"Just" a Library

https://emot.substack.com/p/just-a-library

1•emot•2m ago•0 comments

In an Age of AI, a Physicist Seeks What Endures

https://www.quantamagazine.org/in-an-age-of-ai-a-physicist-seeks-what-endures-20260903/

1•ibobev•6m ago•0 comments

Live from ICM 2026: What Is Math for in the Age of AI?

https://www.quantamagazine.org/live-from-icm-2026-what-is-math-for-in-the-age-of-ai-20260903/

1•ibobev•6m ago•0 comments

Building Software Is Learning

https://registerspill.thorstenball.com/p/building-software-is-learning

2•fagnerbrack•6m ago•0 comments

C++26: Module Improvements

https://www.sandordargo.com/blog/2026/09/09/cpp26-modules

1•ibobev•7m ago•0 comments

Pisa 2025 Volume 1 – Future Ready Students

https://www.oecd.org/en/publications/2026/09/pisa-2025-results-volume-i_5265bfb1.html

1•hunglee2•7m ago•0 comments

NLnet announces 60 projects stengthening the digital commons

https://nlnet.nl/news/2026/20260808-60-new-projects.html

1•maelito•8m ago•0 comments

OpenAI/Hugging Face incident – Independent investigation of agents' behavior [pdf]

https://metr.org/hugging-face-incident-report-aug-2026.pdf

1•nns•8m ago•0 comments

ALdía – Self-hosted business engine with permissioned MCP tools for agents

https://github.com/jonalemndi2/ALdia

1•jonathanalemand•9m ago•0 comments

Show HN: Revliu – Multi-touch attribution from acquisition to revenue

https://www.revliu.com/demo

1•TychiqueY•9m ago•0 comments

Show HN: Wax – A language for reproducible, changeable, replayable programs

https://waxlang.dev/doom

1•weichx•10m ago•1 comments

Don't Let Architecture Astronauts Scare You

https://www.joelonsoftware.com/2001/04/21/dont-let-architecture-astronauts-scare-you/

2•glub•10m ago•0 comments

Post-Training RLM Agents for End-to-End M&A Diligence

https://www.harvey.ai/blog/post-training-rlm-agents-for-m-and-a-diligence

1•yarapavan•11m ago•0 comments

Claude Fable 5.1 Solves the Cyphral Distich

https://www.vals.ai/blogs/fable-solves-cyphral-distich

1•simonw•11m ago•0 comments

Show HN: DortDB, a TS library for mixed-lang queries on JavaScript structures

https://github.com/filipjezek/dortdb

2•jeeza•13m ago•0 comments

Fewer and Fewer Students Earn Degrees in the Humanities

https://dailynous.com/2026/09/09/fewer-and-fewer-students-earn-degrees-in-the-humanities/

2•mdp2021•14m ago•0 comments

Draw on Mapbox, MapLibre, Google, Leaflet, or ArcGIS in React

https://github.com/orange-groove/react-map-annotate

3•agroves333•14m ago•0 comments

Show HN: Seams handles access, spend caps, and metering on one request path

https://ourseams.com/

3•kositheastro•15m ago•1 comments

Show HN: GuardRail, shell guards that stop Claude Code before it pushes to main

https://github.com/FvdHMBAI/guardrail

4•promptandbuild•16m ago•0 comments

Show HN: I rewrite my game while it is still running

https://github.com/AtomiJD/jdBasic

2•atomijd•17m ago•1 comments

Malware Analysis in the Age of AI: What Still Requires Human Skill?

https://trainsec.net/library/career-guides/malware-analysis-in-the-age-of-ai-what-still-requires-...

2•syumei•18m ago•0 comments

iTerm2 3.7.0

https://iterm2.com/downloads.html

2•ahamez•19m ago•0 comments

vLLM 0.29.0: Model Runner V2 is now the default

https://github.com/vllm-project/vllm/releases/tag/v0.29.0

2•joshcsimmons•19m ago•0 comments

Show HN: GPT 6 Astra in Lanes

https://lanes.sh/blog/whats-new-v049-astra-is-a-banger-and-codex-got-a-lot-better

4•s-xyz•19m ago•0 comments

PauseAI: Theory of Change

https://pauseai.info/theory-of-change

1•0xDEAFBEAD•20m ago•0 comments

It's Getting Harder to Return Things–and It's Making Shoppers Mad

https://www.wsj.com/business/retail/its-getting-harder-to-return-thingsand-its-making-shoppers-ma...

A "proof" of Fermat's Last Theorem that fits the margin

"Just" a Library

In an Age of AI, a Physicist Seeks What Endures

Live from ICM 2026: What Is Math for in the Age of AI?

Building Software Is Learning

C++26: Module Improvements

Pisa 2025 Volume 1 – Future Ready Students

NLnet announces 60 projects stengthening the digital commons

OpenAI/Hugging Face incident – Independent investigation of agents' behavior [pdf]

ALdía – Self-hosted business engine with permissioned MCP tools for agents

Show HN: Revliu – Multi-touch attribution from acquisition to revenue

Show HN: Wax – A language for reproducible, changeable, replayable programs

Don't Let Architecture Astronauts Scare You

Post-Training RLM Agents for End-to-End M&A Diligence

Claude Fable 5.1 Solves the Cyphral Distich

Show HN: DortDB, a TS library for mixed-lang queries on JavaScript structures

Fewer and Fewer Students Earn Degrees in the Humanities

Draw on Mapbox, MapLibre, Google, Leaflet, or ArcGIS in React

Show HN: Seams handles access, spend caps, and metering on one request path

Show HN: GuardRail, shell guards that stop Claude Code before it pushes to main

Show HN: I rewrite my game while it is still running

Malware Analysis in the Age of AI: What Still Requires Human Skill?

iTerm2 3.7.0

vLLM 0.29.0: Model Runner V2 is now the default

Show HN: GPT 6 Astra in Lanes

PauseAI: Theory of Change

It's Getting Harder to Return Things–and It's Making Shoppers Mad

Show HN: Starwell – give AI agents real statistics instead of made up numbers

Show HN: URL Roulette – redesigned site for discovering human-submitted links

We're providing Muse for free for up to 100M tokens per week

Google: €13B investment in AI infrastructure in Finland

A "proof" of Fermat's Last Theorem that fits the margin

"Just" a Library

In an Age of AI, a Physicist Seeks What Endures

Live from ICM 2026: What Is Math for in the Age of AI?

Building Software Is Learning

C++26: Module Improvements

Pisa 2025 Volume 1 – Future Ready Students

NLnet announces 60 projects stengthening the digital commons

OpenAI/Hugging Face incident – Independent investigation of agents' behavior [pdf]

ALdía – Self-hosted business engine with permissioned MCP tools for agents

Show HN: Revliu – Multi-touch attribution from acquisition to revenue

Show HN: Wax – A language for reproducible, changeable, replayable programs

Don't Let Architecture Astronauts Scare You

Post-Training RLM Agents for End-to-End M&A Diligence

Claude Fable 5.1 Solves the Cyphral Distich

Show HN: DortDB, a TS library for mixed-lang queries on JavaScript structures

Fewer and Fewer Students Earn Degrees in the Humanities

Draw on Mapbox, MapLibre, Google, Leaflet, or ArcGIS in React

Show HN: Seams handles access, spend caps, and metering on one request path

Show HN: GuardRail, shell guards that stop Claude Code before it pushes to main

Show HN: I rewrite my game while it is still running

Malware Analysis in the Age of AI: What Still Requires Human Skill?

iTerm2 3.7.0

vLLM 0.29.0: Model Runner V2 is now the default

Show HN: GPT 6 Astra in Lanes

PauseAI: Theory of Change

It's Getting Harder to Return Things–and It's Making Shoppers Mad

Show HN: Starwell – give AI agents real statistics instead of made up numbers

Show HN: URL Roulette – redesigned site for discovering human-submitted links

We're providing Muse for free for up to 100M tokens per week