PromptProof – CI gate for LLM outputs (schema/regex/cost; no API keys) (github.com)

1 points by geminimir 32s ago 1 comments

Book Review: The Math Academy Way (ijfen.substack.com)

1 points by gmays 1m ago 0 comments

The Poison Within Patriotism (renfoc.us)

1 points by rtrigoso 4m ago 0 comments

First bidirectional asymmetric frequency conversion in a single system (phys.org)

1 points by PaulHoule 4m ago 0 comments

Show HN: USDA-linked nutrition API from messy inputs (CLI/Python/REST) (nutrition.avocavo.app)

1 points by acriftphase 4m ago 1 comments

Fuse is 95% cheaper and 10x faster than NFS (nilesh-agarwal.com)

2 points by agcat 5m ago 0 comments

Show HN: PhantomWall – open‑source prompt‑injection firewall and telemetry (github.com)

1 points by phantomwall 6m ago 0 comments

Next slap in European Tech Sovereignty face? (reddit.com)

1 points by hek2sch 6m ago 0 comments

Yoke Kubernetes Package Manager (github.com)

1 points by gtirloni 6m ago 0 comments

Army developing new iterations of autonomous missile launcher (army.mil)

2 points by Bender 6m ago 0 comments

OpenAI's GPT-5 looks less like AI evolution and more like cost cutting (theregister.com)

1 points by rntn 8m ago 0 comments

Configuring GH Codespaces with UV/node + llm tool + free GPT4.1 w/$GITHUB_TOKEN (til.simonwillison.net)

1 points by indigodaddy 10m ago 0 comments

The AI boyfriend ticking time bomb (garbageday.email)

1 points by tempodox 10m ago 0 comments

DeepKit Story: how $160M company killed EU trademark for a small OSS project (old.reddit.com)

2 points by molszanski 11m ago 1 comments

The Houthis want to punish Israel. Filipino seafarers are bearing the cost (washingtonpost.com)

1 points by myflash13 11m ago 0 comments

The Software of Science (mirawelner.com)

1 points by mirawelner 12m ago 0 comments

Automagical JavaScript Programming (crtv.dev)

1 points by speckx 12m ago 0 comments

Out of the frying pan (dot dot dot) (fimfiction.net)

1 points by genderdoog 12m ago 0 comments

Show HN: AI Interoperability to the Max – The Intelligence Hub (theintelligencehub.azurewebsites.net)

1 points by Applied-AI-Dev 13m ago 0 comments

How Does a Blind Model See the Earth (lesswrong.com)

1 points by dannyobrien 13m ago 0 comments

Zapstore, Android app store powered by your social graph (zapstore.dev)

1 points by fiatjaf 15m ago 0 comments

The Secret HQ of Synchron, One of Neuralink's Biggest Competitors (pcmag.com)

1 points by walterbell 17m ago 0 comments

Show HN: Use AI to analyze GitHub profiles and repos, and their code (gitsage.dev)

4 points by adamthehorse 17m ago 0 comments

The Bidirectional Stream Processor: Why Pull Beats Push for Crash Recovery (blog.epsiolabs.com)

1 points by dkgs 19m ago 0 comments

We built a live scoreboard for developers. Now 1k+ devs are competing on it (entelligence.ai)

5 points by Arindam1729 20m ago 0 comments

Un-Exceptional US Stock Market Earnings? (elmwealth.com)

1 points by crcastle 21m ago 0 comments

Amazon Launches Same-Day Fresh Grocery Delivery in 1k U.S. Cities (wsj.com)

2 points by bookofjoe 22m ago 1 comments

First EV powered by a semi-solid-state battery cleared for sale (electrek.co)

1 points by dabinat 24m ago 0 comments

Show HN: FakeFind – Free Fakespot Alternative and Amazon Review Checker (fakefind.ai)

1 points by FakeFind 25m ago 0 comments

Job Listing Site Highlighting H-1B Positions So Americans Can Apply (newsweek.com)

5 points by walterbell 26m ago 0 comments

Doctors Were Worse at Spotting Cancer After Leaning on AI, Study Finds (gizmodo.com)

3 points by mikece 27m ago 0 comments

nfjdj

1 points by kwie 29m ago 0 comments

AI Is Different (antirez.com)

2 points by grep_it 29m ago 0 comments

Ask HN: Dotcom Stories

2 points by kwie 30m ago 0 comments

Google Play Store Bans Wallets That Don't Have Banking License (therage.co)

10 points by madars 32m ago 3 comments

Crypto Firm "Bullish" Surges 143% in Debut After $1.1B IPO (bloomberg.com)

1 points by petethomas 33m ago 0 comments

Pyx: A Python-native package registry, now in Beta (simonwillison.net)

2 points by amrrs 34m ago 0 comments

Che, Fidel and Christopher Columbus (english.elpais.com)

1 points by PaulHoule 34m ago 0 comments

How Silicon Valley can prove it is pro-family (thenewatlantis.com)

5 points by jger15 34m ago 0 comments

Data Center VXLAN Overlay Visibility at Scale (kentik.com)

2 points by oavioklein 35m ago 0 comments

PYX: The next step in Python packaging (astral.sh)

28 points by the_mitsuhiko 36m ago 14 comments

Ranking the 25 Top Venture-Backed AI Companies Growing Fast in 2025 (greenflagdigital.com)

1 points by josephjrobison 37m ago 0 comments

Show HN: Tool that helps you generate startup ideas people need (rkaching.com)

2 points by rokbenko 37m ago 0 comments

GPT 5?

1 points by stasElegant 42m ago 3 comments

What Happens When You Register a Domain (and Why Owning a TLD Is So Hard) (prashants.in)

3 points by prashantsengar 43m ago 0 comments

Dear Android Engineers (firebender.com)

2 points by kevo1ution 43m ago 1 comments

How to Marry a Silicon Valley Millionaire / Part 3: You Got Your Catch. Now What (sfgate.com)

1 points by jdcampolargo 45m ago 0 comments

Apple Plots Expansion into AI Robots, Home Security and Smart Displays (bloomberg.com)

2 points by throwfaraway4 46m ago 1 comments

US national debt reaches a record $37T, the Treasury Department reports (apnews.com)

10 points by atombender 48m ago 3 comments

The serverless compute to database connection problem, solved (vercel.com)

2 points by cramforce 48m ago 0 comments

Agency is an amalgamation of two skills: autonomy and efficacy

1 josephjrobison 0 8/13/2025, 6:06:55 PM henrikkarlsson.xyz ↗

Comments (0)

No comments yet