• 1.

  Inspiring Applications of Spin Model Checker(spinroot.com)

  1 pointsby vitalnodo42 days ago0 commentsTrend history
• 2.

  Show HN: WavexAI – Unlimited tokens for a fixed cost(wavexai.dev)

  6 pointsby wilsprouse42 days ago8 commentsTrend history
• 3.

  Show HN: Open-source Express-like HTTP server in C++(amsozzer.com)

  1 pointsby Amsozzer42 days ago0 commentsTrend history
• 4.

  Daily Bible Verse Wordle Game(lordle.net)

  3 pointsby andrewmcm42 days ago2 commentsTrend history
• 5.

  The Mystery of "Medbeds"(slate.com)

  3 pointsby testhellohi42 days ago0 commentsTrend history
• 6.

  Decentralized Social Medias(github.com)

  6 pointsby SalamiMommy42 days ago0 commentsTrend history
• 7.

  DigitalOcean Managed Agents(digitalocean.com)

  4 pointsby mfiguiere42 days ago0 commentsTrend history
• 8.

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

  1 pointsby alexmercerdev42 days ago0 commentsTrend history
• 9.

  I Agreed to Join Agmai(proofsandprompts.com)

  3 pointsby robinhouston42 days ago1 commentsTrend history
• 10.

  Newly Discovered Neo Asteroid 2026SC Close Approach Improves Our Understanding(astrophyzix.com)

  Repost1 prior post2 pointsby JEOFFEZZ42 days ago1 commentsTrend history
• 11.

  GB Names(apps.geods.ac.uk)

  2 pointsby bookofjoe42 days ago0 commentsTrend history
• 12.

  AI staff complain of mental toll over fears of threat to society(ft.com)

  Repost1 prior post10 pointsby macleginn42 days ago2 commentsTrend history
• 13.

  Show HN: I built a macOS Quick Look app for Markdown, SQLite, ZIP, and 300 more(quicklookpro.com)

  1 pointsby mucahittutuncu42 days ago0 commentsTrend history
• 14.

  The current balance of power in open models(interconnects.ai)

  Repost1 prior post60 pointsby gmays42 days ago21 commentsTrend history
• 15.

  AI Scenario in 2070(docs.google.com)

  1 pointsby 383toast42 days ago1 commentsTrend history
• 16.

  Autonomous AI Agents Are Breaking into Online Retailers(gambit.security)

  2 pointsby arkwor42 days ago1 commentsTrend history
• 17.

  Show HN: Layered writing – a novel way to write and read digital text(github.com)

  3 pointsby artoghrul42 days ago0 commentsTrend history
• 18.

  tRNA Therapy(science.org)

  2 pointsby EA-316742 days ago0 commentsTrend history
• 19.

  AI is getting cheaper more quickly than any other transformative tech in history(epoch.ai)

  4 pointsby vitalnodo42 days ago3 commentsTrend history
• 20.

  The strange death of libertarianism(spectator.com)

  5 pointsby Fricken42 days ago4 commentsTrend history
• 21.

  Eating Alone(longreads.com)

  2 pointsby gmays42 days ago0 commentsTrend history
• 22.

  Evaluating smolvm as a sandbox for untrusted Python and JavaScript(simonwillison.net)

  2 pointsby binsquare42 days ago0 commentsTrend history
• 23.

  AI Abundance Requires a 4-Hour Workweek(elnahla.com)

  3 pointsby notfried42 days ago0 commentsTrend history
• 24.

  DuckDB supports a new SQL IDE(duckdb.org)

  4 pointsby abdullahk063442 days ago0 commentsTrend history
• 25.

  MariaDB's official docs now list LibreDB Studio as a graphical client(mariadb.com)

  3 pointsby devgundogdu42 days ago0 commentsTrend history
• 26.

  Dragonfly and LibreDB Studio: Redis-compatible database management(dragonflydb.io)

  4 pointsby cevheribozoglan42 days ago0 commentsTrend history
• 27.

  Show HN: LinearSolveBench, interesting new benchmark to discover linear solvers(autodidakt.ai)

  1 pointsby hgarud42 days ago0 commentsTrend history
• 28.

  Show HN: Jade Email. Unlimited emails for your domain plus AI Agent support(jade.email)

  3 pointsby piesupplies42 days ago4 commentsTrend history
• 29.

  Gadgetbridge: A FOSS alternative to your fitness watch's app(manualdousuario.net)

  2 pointsby rpgbr42 days ago0 commentsTrend history
• 30.

  UmbrelOS 2.0: Your cloud, at home [video](youtube.com)

  2 pointsby sashazykov42 days ago1 commentsTrend history

Operational status: system stale