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

1 points by indigodaddy 14m ago 0 comments

The AI boyfriend ticking time bomb (garbageday.email)

1 points by tempodox 15m ago 0 comments

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

4 points by molszanski 16m ago 1 comments

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

1 points by myflash13 16m ago 0 comments

The Software of Science (mirawelner.com)

1 points by mirawelner 16m ago 0 comments

Automagical JavaScript Programming (crtv.dev)

2 points by speckx 17m ago 0 comments

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

1 points by genderdoog 17m ago 0 comments

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

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

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

1 points by dannyobrien 18m ago 0 comments

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

1 points by fiatjaf 20m ago 0 comments

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

1 points by walterbell 22m ago 0 comments

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

4 points by adamthehorse 22m ago 0 comments

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

1 points by dkgs 24m ago 0 comments

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

5 points by Arindam1729 25m ago 0 comments

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

1 points by crcastle 26m ago 0 comments

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

2 points by bookofjoe 26m ago 1 comments

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

1 points by dabinat 29m ago 0 comments

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

1 points by FakeFind 30m ago 0 comments

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

5 points by walterbell 31m ago 0 comments

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

3 points by mikece 32m ago 0 comments

nfjdj

1 points by kwie 34m ago 0 comments

AI Is Different (antirez.com)

2 points by grep_it 34m ago 0 comments

Ask HN: Dotcom Stories

2 points by kwie 35m ago 0 comments

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

11 points by madars 36m ago 3 comments

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

1 points by petethomas 38m ago 0 comments

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

2 points by amrrs 38m ago 0 comments

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

1 points by PaulHoule 39m ago 0 comments

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

5 points by jger15 39m ago 0 comments

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

2 points by oavioklein 40m ago 0 comments

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

34 points by the_mitsuhiko 41m ago 15 comments

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

1 points by josephjrobison 42m ago 0 comments

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

2 points by rokbenko 42m ago 0 comments

GPT 5?

1 points by stasElegant 47m ago 3 comments

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

3 points by prashantsengar 48m ago 0 comments

Dear Android Engineers (firebender.com)

2 points by kevo1ution 48m ago 1 comments

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

1 points by jdcampolargo 50m ago 0 comments

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

2 points by throwfaraway4 51m ago 1 comments

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

10 points by atombender 53m ago 3 comments

Show HN: PromptProof – CI gate for LLM outputs (schema/regex/cost; no API keys)

1 geminimir 1 8/13/2025, 7:18:59 PM github.com ↗

Comments (1)

geminimir · 5m ago

I built a tiny GitHub Action that fails PRs when LLM output breaks contracts. No live model calls in CI... it runs on recorded fixtures.

What it does:

Deterministic checks: JSON schema, regex, list/set equality, numeric bounds, file diff

Snapshots + regression compare

Cost budget gate

PR comment + HTML report

Try it in a minute: copy the Quick Start, open a PR, see red → fix → green.

Links: Marketplace: https://github.com/marketplace/actions/promptproof-eval Demo repo: https://github.com/geminimir/promptproof-demo-project Sample report: https://geminimir.github.io/promptproof-action/reports/befor...

Looking for blunt feedback... Was onboarding smooth? Anything missing you expected? Is the report clear enough to make this a required check?

Show HN: Gitego – Automatic Git identity switcher (github.com)