fp.

Proof abundance and the new unit of mathematical work

https://www.prooftree.ai/notes/proof-abundance

1•lemma1729•1m ago•0 comments

Banca etica shuts down A/I funds

https://keepitfree.ai/announcements/banca-etica-shuts-down-a/i-funds/

1•panic•2m ago•0 comments

CPAN Uploads Are Up 50% Year-over-Year

https://www.olafalders.com/2026/09/04/cpan-uploads-up-50-percent-year-over-year/

1•arunix•10m ago•0 comments

The First Ever Open-Source Movie

https://www.openslop.live/

1•Dere-Wah•12m ago•1 comments

Netherlands pulls gold out of the US for fears of 'geopolitical unrest'

https://www.abc.net.au/news/2026-09-04/why-the-netherlands-moved-its-gold-from-us-and-canada/1071...

1•daniel_iversen•13m ago•0 comments

Show HN: Mado Terminal Multiplexer

https://nerimasoft.co.uk/mado.html

1•nerimasoft•16m ago•0 comments

The Nix sandbox is a hidden input

https://fzakaria.com/2026/07/30/the-nix-sandbox-is-a-hidden-input

1•birdculture•20m ago•0 comments

Are credit rating agencies getting fed up with hyperscalers?

https://www.ft.com/content/623c286b-c973-4488-83f3-97e9016e85f6

1•JumpCrisscross•25m ago•0 comments

Extract Anything from Any PDF: Inside Foxit's Advanced Extraction Engine

https://developer-api.foxit.com/developer-blogs/api-guides-tutorials/pdf-structural-extraction-en...

3•fagnerbrack•27m ago•0 comments

Show HN: BlinkMarkets

https://blinkmarkets.xyz

1•gauryvg98•28m ago•0 comments

Defence officials resist EU plan to curb reliance on US tech giants

https://www.ft.com/content/0e9d714b-f367-4dd7-8ef4-6d4b2c08b79c

1•JumpCrisscross•28m ago•0 comments

Is Russia's rival to Starlink failing? Here's what we know

https://arstechnica.com/space/2026/09/rassvet-russias-rival-to-starlink-is-getting-off-to-a-slow-...

2•gumby•29m ago•0 comments

Linux 7.4 to Improve Apple Silicon Audio Support and Impossible Power Management

https://www.phoronix.com/news/Linux-Apple-Audio-Shared-GPIO

1•theanonymousone•29m ago•0 comments

Picolibrary: A Small Press

https://novalis.org/blog/2026-08-31-picolibrary-a-very-small-press.html

1•luu•33m ago•0 comments

Show HN: Scramblefall - falling blocks anagram game

https://scramblefall.com/

1•jstanley•37m ago•0 comments

SlimTCP is a lightweight, high-performance TCP/IP stack for modern datacenters

https://github.com/CajuM/lib-ndpip

1•CajuMD•38m ago•1 comments

Astra One Shotted Cains's Jawbone

2•marcushyett•40m ago•2 comments

Toolcall-doctor – Shrink broken LLM tool-call reproducers

https://github.com/aldi949/toolcall-doctor

1•Aldi949•41m ago•1 comments

macOS 26.7 Code Hints at Two Unreleased Apple Game Controllers

https://www.macrumors.com/2026/09/04/macos-26-7-code-game-controllers/

1•rene_d•41m ago•0 comments

New study says Michigan sturgeon may live to 400

https://www.greatlakesnow.org/2026/08/13/think-youre-getting-old-new-study-says-michigan-sturgeon...

1•geox•42m ago•0 comments

Nvidia Personal AI Router (Pair)

https://www.nvidia.com/en-us/ai-on-rtx/personal-ai-router/

2•theanonymousone•46m ago•0 comments

I raised 5 kids. Looking back, their careers as adults make perfect sense

https://www.businessinsider.com/childhood-interests-predict-future-careers-kids-2026-9

1•theanonymousone•47m ago•0 comments

Refactoring English: Effective Writing for Software Developers (v1.0)

https://refactoringenglish.com

1•adityaathalye•52m ago•0 comments

Ask HN: Any Alternatives to Archive.ph & co?

1•hebelehubele•54m ago•1 comments

Mariko Aoki Phenomenon

https://en.wikipedia.org/wiki/Mariko_Aoki_phenomenon

2•jonjomckay•59m ago•0 comments

'Guilt by association': why 7 int'l aid workers were killed in Israeli airstrike

https://www.theguardian.com/world/2026/sep/05/aid-workers-gaza-killed-in-israel-airstrike-investi...

3•hebelehubele•1h ago•0 comments

Second complete map of a fruit fly brain completed

https://arstechnica.com/science/2026/09/brain-of-a-male-fly-completely-mapped-joins-earlier-map-o...

1•mdp2021•1h ago•0 comments

Desktop AI for ops is still subsidized

1•xAdamx•1h ago•0 comments

Paper Reef – draw a fish on paper, photograph it, it swims on a shared screen

https://paperreef.com/r/REEF

2•lyapustin•1h ago•0 comments

Nvidia Wants to Turn Your Idle PCs into a Personal Home Data Center with 'Pair'

https://www.pcmag.com/news/nvidia-pair-turn-idle-pcs-into-ersonal-home-data-center-ifa-2026

2•thunderbong•1h ago•0 comments