fp.
newest
Gauss, an Agent for Autoformalization
https://www.math.inc/gauss
1
•
auggierose
•
37s ago
•
0 comments
Solar Cannibalization: Spain vs. Germany
https://solarletter.substack.com/p/solarletter-27_en-solar-cannibalization
1
•
barredo
•
3m ago
•
0 comments
Documents show Fed Governor Cook declared her Atlanta property as vacation home
https://www.reuters.com/world/us/fed-governor-cook-declared-her-atlanta-property-vacation-home-do...
1
•
m-hodges
•
5m ago
•
0 comments
Global press freedom suffers sharpest fall in 50 years, report finds
https://www.theguardian.com/media/2025/sep/11/global-press-freedom-suffers-sharpest-fall-in-50-ye...
1
•
giuliomagnifico
•
7m ago
•
0 comments
Why Your 3x ETF Isn't Tripling Your Returns?
https://www.signalbloom.ai/posts/ultimate-guide-leveraged-etfs/
1
•
paulpauper
•
10m ago
•
0 comments
Google's Wire is no longer maintained
https://github.com/google/wire/pull/434
2
•
maxboone
•
15m ago
•
0 comments
FFglitch, FFmpeg fork for glitch arch
https://ffglitch.org/gallery/
2
•
captain_bender
•
16m ago
•
0 comments
Looking back at Steve Jobs's NeXT, Inc – the most successful failure
https://appleinsider.com/articles/25/09/12/looking-back-at-steve-jobss-next-inc----the-most-succe...
1
•
evo_9
•
16m ago
•
0 comments
Go channels to solve interface impedance mismatch
https://www.dolthub.com/blog/2025-09-12-go-channels-for-period-mismatch/
1
•
ingve
•
17m ago
•
0 comments
Device enabling dogs to form sentences
https://www.hungerforwords.com/
4
•
lumenwrites
•
24m ago
•
0 comments
Show HN: Aris – a free AI-powered answer engine for kids
https://www.aris.chat
4
•
andrewdug
•
26m ago
•
0 comments
What I Learned Starting an AI-Only Fantasy Football League
https://brooklynhacker.com/post/794518431273762816/what-i-learned-running-an-ai-only-fantasy-foot...
1
•
coloneltcb
•
28m ago
•
0 comments
Tucker Carlson blindsides Sam Altman with theory about OpenAI staffer's 'murder'
https://www.dailymail.co.uk/news/article-15093245/Tucker-Carlson-Sam-Altman-AI-researcher-death-i...
7
•
nirmel
•
28m ago
•
4 comments
Python async: a step in the wrong direction
https://harshal.sheth.io/2025/09/12/python-async.html
2
•
hsheth2
•
29m ago
•
0 comments
Streaming React UI using JSON chunks
https://github.com/amerani/react-json-chunked
2
•
amerani
•
33m ago
•
0 comments
ARM is great, ARM is terrible (and so is RISC-V)
https://changelog.complete.org/archives/10858-arm-is-great-arm-is-terrible-and-so-is-risc-v
8
•
edward
•
34m ago
•
0 comments
Show HN: Cardog Reports
https://cardog.app/reports
1
•
samsullivan
•
34m ago
•
0 comments
Fire up the gas turbines, says US Interior Secretary: Gotta win the AI arms race
https://www.theregister.com/2025/09/12/fire_up_gas_turbines_ai_race/
1
•
rntn
•
35m ago
•
1 comments
Why does recurring revenue matter?
https://substack.com/inbox/post/173453705
1
•
mathattack
•
36m ago
•
0 comments
Show HN: Tsink – Embedded time-series database for Rust
https://github.com/h2337/tsink
2
•
h2337
•
37m ago
•
0 comments
The Internet Will Be More Dead Than Alive Within 3 Years, Trend Shows
https://www.popularmechanics.com/science/a65997294/dead-internet-explained/
4
•
dandelionv1bes
•
40m ago
•
0 comments
Researchers propose heat engine that surpasses classical thermodynamic limits
https://phys.org/news/2025-08-surpasses-classical-thermodynamic-limits.html
2
•
PaulHoule
•
40m ago
•
0 comments
Education report calling for ethical AI use contains over 15 fake sources
https://arstechnica.com/ai/2025/09/education-report-calling-for-ethical-ai-use-contains-over-15-f...
3
•
The_Fox
•
41m ago
•
0 comments
Ask HN: What are you using Motion for?
2
•
RyanShook
•
44m ago
•
2 comments
NASA's Guardian Tsunami Detection Tech Catches Wave in Real Time
https://www.jpl.nasa.gov/news/nasas-guardian-tsunami-detection-tech-catches-wave-in-real-time/
3
•
geox
•
46m ago
•
0 comments
Basemapkit generates custom Maplibre Styles based on Protomaps Schemas
https://github.com/jonathanlurie/basemapkit
2
•
jtbaker
•
49m ago
•
0 comments
Proton Mail Suspended Journalist Accounts at Request of Cybersecurity Agency
https://theintercept.com/2025/09/12/proton-mail-journalist-accounts-suspended/
39
•
lehi
•
50m ago
•
10 comments
The Onion's Chad Nackers on the enduring power of satire
https://www.reuters.com/lifestyle/onions-chad-nackers-enduring-power-satire-2025-09-11/
1
•
petethomas
•
54m ago
•
0 comments
ChatGPT Confidant
https://aidarwinawards.org/nominees/chatgpt-paranoid-delusions.html
4
•
planetdebut
•
54m ago
•
0 comments
A extension that blocks captions in LinkedIn
https://chromewebstore.google.com/detail/clear-linkedin/obcoinofdabjgolebklpeooecghanhel
2
•
javierbuilds
•
55m ago
•
0 comments
Load More
Open in hackernews
Nepal's Social Media Ban Backfires as Politics Moves to a Chat Room
https://www.nytimes.com/2025/09/11/world/asia/nepal-protest-genz-discord.html
5
•
rmason
•
1h ago
Comments
rmason
•
1h ago
Lack a subscription:
https://archive.is/fwrqd#selection-503.0-503.67
rmason•1h ago