fp.

'IT manager' needed tech support because they had never heard of a command line

https://www.theregister.com/2025/09/12/on_call/

1•rogermungo•3m ago•0 comments

Gauss, an Agent for Autoformalization

https://www.math.inc/gauss

1•andy12_•3m ago•0 comments

Undine – GraphQL Library for Django

https://mrthearman.github.io/undine/

1•indigane•4m ago•0 comments

Open Source as Europe's Strategic Advantage

https://www.linuxfoundation.org/research/world-of-open-source-eu-2025

1•luu•5m ago•0 comments

Introduction to Python for Geographic Data Analysis

https://pythongis.org/

1•ibobev•5m ago•0 comments

Strategies for Two-Sided Markets [pdf]

https://www.kth.se/social/files/546b8e7ef2765474dd3f23fe/4.Eisenmann+et+al+(2006).pdf

1•tosh•8m ago•0 comments

The Rising Sea: Foundations of Algebraic Geometry Notes

https://math.stanford.edu/~vakil/216blog/

1•ibobev•11m ago•0 comments

Ask HN: What's the weirdest rule your workplace ever had?

1•jamessmithe•11m ago•0 comments

Dripo AI – All in One AI Image and Video Generator

https://www.dripo.ai

1•cnych•14m ago•0 comments

Show HN: I built an AI that roasts your website and gives tips to fix it

https://ai-roast-vert.vercel.app/

2•happy_malone•16m ago•0 comments

Becoming the person who does the thing

https://www.fredrivett.com/2025/09/10/becoming-the-person-who-does-the-thing/

2•fredrivett•17m ago•0 comments

Why Boards Are Asking for AI Visibility Audits

https://zenodo.org/records/17105734

1•businessmate•19m ago•1 comments

Bolsonaro sentenced to 27 years in prison for plotting Brazil coup

https://www.bbc.com/news/articles/c8xrqxk9p4xo

3•croon•22m ago•0 comments

Show HN: MassifLib++ – Bringing Fortran-style arrays and NumPy operations to C

1•Forgret•24m ago•0 comments

Webstrates: Prototype enabling collaborative editing through DOM manipulations

https://github.com/Webstrates/Webstrates

1•thunderbong•26m ago•0 comments

Ask HN: How to manage work as the sole individual contributor?

2•dominicq•26m ago•1 comments

Meal timing and associations with morbidity, genetic profiles, and mortality

https://www.nature.com/articles/s43856-025-01035-x

1•wjb3•28m ago•1 comments

AI Coding

https://geohot.github.io//blog/jekyll/update/2025/09/12/ai-coding.html

2•DavidHaerer•29m ago•0 comments

North Korea executing more people for watching foreign films and TV, UN finds

https://www.bbc.com/news/articles/ckgqdz17ye3o

1•vinni2•30m ago•0 comments

Fluid vacuum yields exact solutions to Pioneer anomaly and Mercury's perihelion

https://cdnsciencepub.com/doi/10.1139/cjp-2018-0744

2•westurner•30m ago•2 comments

Show HN: TrailDrop – Lightweight GPX sharing and monetization platform

https://traildrop.app/

2•darkwasp-pl•31m ago•2 comments

EU accepts Microsoft's commitments to address competition concerns over Teams

https://ec.europa.eu/commission/presscorner/detail/en/ip_25_2048

1•Improvement•35m ago•0 comments

MP gives BRUTALLY honest speech: 'Parliament is a WASTE OF TIME ' [video]

https://www.youtube.com/watch?v=dl6tMnpNu3Y

2•ksec•40m ago•0 comments

How to not give up trying to run OpenBMC on Supermicro X11SSH?

https://cfp.3mdeb.com/zarhus-developers-meetup-2-2025/talk/QRDX8S/

2•pietrushnic•42m ago•1 comments

What's the best way to benchmark neuro‑symbolic‑causal AI agents?

https://github.com/akarlaraytu/Project-Chimera

1•aytuakarlar•47m ago•1 comments

Maybe everything is OSS now (but not F)

https://www.jeffwofford.com/wp/?p=2252

1•putzdown•51m ago•0 comments

GhostChat v2.0 – Local-first AI chat with IndexedDB persistence and offline

https://github.com/GodsIMiJ1/ghostchat-nextjs-supabase-ai/tree/v2.0-sovereign-aga

2•ghostking613•52m ago•1 comments

Wandering Black Hole Has Left Its Galactic Center – Universe Today

https://www.universetoday.com/articles/this-wandering-black-hole-has-left-its-galactic-center

1•rbanffy•53m ago•0 comments

Perihelion precession of planetary orbits solved from quantum field theory

https://arxiv.org/abs/2506.14447

1•westurner•54m ago•2 comments

Texas banned lab-grown meat. What's next for the industry?

https://www.technologyreview.com/2025/09/11/1123512/texas-lab-grown-meat/

1•rbanffy•55m ago•0 comments

'IT manager' needed tech support because they had never heard of a command line

Gauss, an Agent for Autoformalization

Undine – GraphQL Library for Django

Open Source as Europe's Strategic Advantage

Introduction to Python for Geographic Data Analysis

Strategies for Two-Sided Markets [pdf]

The Rising Sea: Foundations of Algebraic Geometry Notes

Ask HN: What's the weirdest rule your workplace ever had?

Dripo AI – All in One AI Image and Video Generator

Show HN: I built an AI that roasts your website and gives tips to fix it

Becoming the person who does the thing

Why Boards Are Asking for AI Visibility Audits

Bolsonaro sentenced to 27 years in prison for plotting Brazil coup

Show HN: MassifLib++ – Bringing Fortran-style arrays and NumPy operations to C

Webstrates: Prototype enabling collaborative editing through DOM manipulations

Ask HN: How to manage work as the sole individual contributor?

Meal timing and associations with morbidity, genetic profiles, and mortality

AI Coding

North Korea executing more people for watching foreign films and TV, UN finds

Fluid vacuum yields exact solutions to Pioneer anomaly and Mercury's perihelion

Show HN: TrailDrop – Lightweight GPX sharing and monetization platform

EU accepts Microsoft's commitments to address competition concerns over Teams

MP gives BRUTALLY honest speech: 'Parliament is a WASTE OF TIME ' [video]

How to not give up trying to run OpenBMC on Supermicro X11SSH?

What's the best way to benchmark neuro‑symbolic‑causal AI agents?

Maybe everything is OSS now (but not F)

GhostChat v2.0 – Local-first AI chat with IndexedDB persistence and offline

Wandering Black Hole Has Left Its Galactic Center – Universe Today

Perihelion precession of planetary orbits solved from quantum field theory

Texas banned lab-grown meat. What's next for the industry?

Examples from The LaTeX Companion book (3rd edition)

Comments

'IT manager' needed tech support because they had never heard of a command line

Gauss, an Agent for Autoformalization

Undine – GraphQL Library for Django

Open Source as Europe's Strategic Advantage

Introduction to Python for Geographic Data Analysis

Strategies for Two-Sided Markets [pdf]

The Rising Sea: Foundations of Algebraic Geometry Notes

Ask HN: What's the weirdest rule your workplace ever had?

Dripo AI – All in One AI Image and Video Generator

Show HN: I built an AI that roasts your website and gives tips to fix it

Becoming the person who does the thing

Why Boards Are Asking for AI Visibility Audits

Bolsonaro sentenced to 27 years in prison for plotting Brazil coup

Show HN: MassifLib++ – Bringing Fortran-style arrays and NumPy operations to C

Webstrates: Prototype enabling collaborative editing through DOM manipulations

Ask HN: How to manage work as the sole individual contributor?

Meal timing and associations with morbidity, genetic profiles, and mortality

AI Coding

North Korea executing more people for watching foreign films and TV, UN finds

Fluid vacuum yields exact solutions to Pioneer anomaly and Mercury's perihelion

Show HN: TrailDrop – Lightweight GPX sharing and monetization platform

EU accepts Microsoft's commitments to address competition concerns over Teams

MP gives BRUTALLY honest speech: 'Parliament is a WASTE OF TIME ' [video]

How to not give up trying to run OpenBMC on Supermicro X11SSH?

What's the best way to benchmark neuro‑symbolic‑causal AI agents?

Maybe everything is OSS now (but not F)

GhostChat v2.0 – Local-first AI chat with IndexedDB persistence and offline

Wandering Black Hole Has Left Its Galactic Center – Universe Today

Perihelion precession of planetary orbits solved from quantum field theory

Texas banned lab-grown meat. What's next for the industry?