fp.

Inspiring Applications of Spin multi-threaded software verification tool

https://spinroot.com/spin/success.html

1•vitalnodo•14s ago•0 comments

Show HN: WavexAI – Unlimited tokens for a fixed cost

https://wavexai.dev/

1•wilsprouse•2m ago•0 comments

Show HN: Open-source Express-like HTTP server in C++

https://amsozzer.com/projects/plusweb

1•Amsozzer•6m ago•0 comments

Daily Bible Verse Wordle Game

https://lordle.net

2•andrewmcm•11m ago•1 comments

The Mystery of "Medbeds"

https://slate.com/news-and-politics/2026/09/medbeds-conspiracy-theory-donald-trump-origins.html

2•testhellohi•12m ago•0 comments

Decentralized Social Medias

https://github.com/SalamiMommy/Soshal

1•SalamiMommy•12m ago•0 comments

DigitalOcean Managed Agents

https://www.digitalocean.com/blog/managed-agents-public-preview

3•mfiguiere•14m ago•0 comments

Claude Opus 5.5 vs. GPT-6 Sol: Cost per correct task, not price per token

https://www.aipricing.guru/blog/claude-opus-5-5-vs-gpt-6-sol-pricing-2026/

1•alexmercerdev•15m ago•0 comments

I Agreed to Join Agmai

https://proofsandprompts.com/2026/09/22/why-i-agreed-to-join-agmai/

3•robinhouston•15m ago•1 comments

Newly Discovered Neo Asteroid 2026SC Close Approach Improves Our Understanding

https://www.astrophyzix.com/2026/09/neo-asteroid-2026SC.html

2•JEOFFEZZ•17m ago•1 comments

GB Names

https://apps.geods.ac.uk/gbnames/

1•bookofjoe•18m ago•0 comments

AI staff complain of mental toll over fears of threat to society

https://www.ft.com/content/60870960-f433-48ca-bc2c-708686a69ae7

3•macleginn•21m ago•1 comments

Show HN: I built a macOS Quick Look app for Markdown, SQLite, ZIP, and 300 more

https://quicklookpro.com/

1•mucahittutuncu•22m ago•0 comments

The current balance of power in open models

https://www.interconnects.ai/p/the-current-balance-of-power-in-open

2•gmays•23m ago•0 comments

AI Scenario in 2070

https://docs.google.com/document/d/1tFyIuZKXpWwZwQq5a1Vaa9Dr-MiO2RXmT14yOvRb5uA/edit?tab=t.0

1•383toast•24m ago•1 comments

Autonomous AI Agents Are Breaking into Online Retailers

https://gambit.security/blog-posts/autonomous-ai-agents-online-retailers-25-a-company

2•arkwor•26m ago•1 comments

Show HN: Layered writing – a novel way to write and read digital text

https://github.com/aartoghrul/layered

1•artoghrul•27m ago•0 comments

tRNA Therapy

https://www.science.org/content/blog-post/trna-therapy

1•EA-3167•28m ago•0 comments

AI is getting cheaper more quickly than any other transformative tech in history

https://epoch.ai/publications/the-plunging-price-of-thought

3•vitalnodo•28m ago•2 comments

The strange death of libertarianism

https://spectator.com/article/the-strange-death-of-libertarianism/

4•Fricken•30m ago•3 comments

Eating Alone

https://longreads.com/2026/09/15/convenience-friction-eating-alone/

1•gmays•30m ago•0 comments

Evaluating smolvm as a sandbox for untrusted Python and JavaScript

https://simonwillison.net/2026/Aug/19/smolmachines-untrusted-sandbox/

1•binsquare•31m ago•0 comments

AI Abundance Requires a 4-Hour Workweek

https://elnahla.com/4-hour-workweek/

2•notfried•32m ago•0 comments

DuckDB supports a new SQL IDE

https://duckdb.org/docs/preview/guides/sql_editors/libredb_studio

4•abdullahk0634•34m ago•0 comments

MariaDB's official docs now list LibreDB Studio as a graphical client

https://mariadb.com/docs/server/clients-and-utilities/graphical-and-enhanced-clients/libredb-studio

3•devgundogdu•35m ago•0 comments

Dragonfly and LibreDB Studio: Redis-compatible database management

https://www.dragonflydb.io/docs/integrations/libredb-studio

3•cevheribozoglan•37m ago•0 comments

Show HN: LinearSolveBench, interesting new benchmark to discover linear solvers

https://www.autodidakt.ai/linear-solve-bench

1•hgarud•38m ago•0 comments

Show HN: Jade Email. Unlimited emails for your domain plus AI Agent support

https://jade.email/

3•piesupplies•39m ago•4 comments

Gadgetbridge: A FOSS alternative to your fitness watch's app

https://manualdousuario.net/en/gadgetbridge-android/

2•rpgbr•40m ago•0 comments

UmbrelOS 2.0: Your cloud, at home [video]

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

2•sashazykov•42m ago•1 comments

Inspiring Applications of Spin multi-threaded software verification tool

Show HN: WavexAI – Unlimited tokens for a fixed cost

Show HN: Open-source Express-like HTTP server in C++

Daily Bible Verse Wordle Game

The Mystery of "Medbeds"

Decentralized Social Medias

DigitalOcean Managed Agents

Claude Opus 5.5 vs. GPT-6 Sol: Cost per correct task, not price per token

I Agreed to Join Agmai

Newly Discovered Neo Asteroid 2026SC Close Approach Improves Our Understanding

GB Names

AI staff complain of mental toll over fears of threat to society

Show HN: I built a macOS Quick Look app for Markdown, SQLite, ZIP, and 300 more

The current balance of power in open models

AI Scenario in 2070

Autonomous AI Agents Are Breaking into Online Retailers

Show HN: Layered writing – a novel way to write and read digital text

tRNA Therapy

AI is getting cheaper more quickly than any other transformative tech in history

The strange death of libertarianism

Eating Alone

Evaluating smolvm as a sandbox for untrusted Python and JavaScript

AI Abundance Requires a 4-Hour Workweek

DuckDB supports a new SQL IDE

MariaDB's official docs now list LibreDB Studio as a graphical client

Dragonfly and LibreDB Studio: Redis-compatible database management

Show HN: LinearSolveBench, interesting new benchmark to discover linear solvers

Show HN: Jade Email. Unlimited emails for your domain plus AI Agent support

Gadgetbridge: A FOSS alternative to your fitness watch's app

UmbrelOS 2.0: Your cloud, at home [video]

Inspiring Applications of Spin multi-threaded software verification tool

Show HN: WavexAI – Unlimited tokens for a fixed cost

Show HN: Open-source Express-like HTTP server in C++

Daily Bible Verse Wordle Game

The Mystery of "Medbeds"

Decentralized Social Medias

DigitalOcean Managed Agents

Claude Opus 5.5 vs. GPT-6 Sol: Cost per correct task, not price per token

I Agreed to Join Agmai

Newly Discovered Neo Asteroid 2026SC Close Approach Improves Our Understanding

GB Names

AI staff complain of mental toll over fears of threat to society

Show HN: I built a macOS Quick Look app for Markdown, SQLite, ZIP, and 300 more

The current balance of power in open models

AI Scenario in 2070

Autonomous AI Agents Are Breaking into Online Retailers

Show HN: Layered writing – a novel way to write and read digital text

tRNA Therapy

AI is getting cheaper more quickly than any other transformative tech in history

The strange death of libertarianism

Eating Alone

Evaluating smolvm as a sandbox for untrusted Python and JavaScript

AI Abundance Requires a 4-Hour Workweek

DuckDB supports a new SQL IDE

MariaDB's official docs now list LibreDB Studio as a graphical client

Dragonfly and LibreDB Studio: Redis-compatible database management

Show HN: LinearSolveBench, interesting new benchmark to discover linear solvers

Show HN: Jade Email. Unlimited emails for your domain plus AI Agent support

Gadgetbridge: A FOSS alternative to your fitness watch's app

UmbrelOS 2.0: Your cloud, at home [video]

The HUGS Stack – Hypermedia, Unix, Go, SQLite