Summ – a single-binary OCI container registry in Rust with a built-in UI (github.com/summcr ↗)
1 pointsby 0 minutes ago
—discuss
Computer programming, and friction as a learning activity (echorand.me ↗)
1 pointsby 0 minutes ago
1comments
Cities and counties sue fire truck makers over soaring costs, delivery delays (stateline.org ↗)
1 pointsby 0 minutes ago
—discuss
Your Agent Aced the Task. Will It Do It Again?(huggingface.co ↗)
1 pointsby 6 minutes ago
—discuss
The truth about 'Naza,' or collateral damage (timesofisrael.com ↗)
1 pointsby 7 minutes ago
2comments
Why Whisper and medical speech APIs are making potentially fatal errors (appen.com ↗)
1 pointsby 7 minutes ago
—discuss
Agent Session Introspection (lmstudio.ai ↗)
1 pointsby 8 minutes ago
—discuss
U.S. Strike on Iranian School May Have Been War Crime, U.N. Report Says (nytimes.com ↗)
4 pointsby 8 minutes ago
1comments
Five air-gapped, zero-telemetry utilities for privacy and operational leaks (github.com/warknoc ↗)
1 pointsby 10 minutes ago
—discuss
The GDP-per-person slowdown threatens global living standards (economist.com ↗)
2 pointsby 14 minutes ago
—discuss
Air Force secretary acknowledges the US has weapons in space (abcnews.com ↗)
1 pointsby 17 minutes ago
—discuss
Show HN: OpenAI has a live market price before it has a stock ticker (tickerlayer.com ↗)
1 pointsby 18 minutes ago
2comments
Open weights models are surprisingly aligned on offensive cyber (pentesttoday.com ↗)
2 pointsby 18 minutes ago
—discuss
Google Earth to be axed next year [video](youtube.com ↗)
1 pointsby 19 minutes ago
1comments
What Little Hope Remains (coredump.cx ↗)
1 pointsby 20 minutes ago
—discuss
Mind Mapping for Omarchy (mindarchy.xyz ↗)
1 pointsby 23 minutes ago
1comments
Ask HN: What exists if I want a premade SoC/MCU/screen/enclosure/battery?
1 pointsby 25 minutes ago
1comments
What's New in Vapor 5 Beta (vapor.codes ↗)
1 pointsby 27 minutes ago
—discuss
How to Get Your First 100 SaaS Users in Europe (speartip.eu ↗)
3 pointsby 27 minutes ago
—discuss
Show HN: Salt – Human and AI Economies driven across E2E encrypted chats (saltapp.ai ↗)
1 pointsby 29 minutes ago
—discuss
Resy suspends VC for using AI agents to book reservations (businessinsider.com ↗)
2 pointsby 30 minutes ago
1comments
OpenAI Agents Got into Link Shortener, Surfed Web, Called FBI with a Stranger's (kennethdegraff.com ↗)
1 pointsby 31 minutes ago
1comments
Best Sugar Daddy Apps (gitlab.com/bestsugardaddyapps ↗)
1 pointsby 31 minutes ago
—discuss
How Bain Cap is deploying 1.6B (techcrunch.com ↗)
1 pointsby 33 minutes ago
—discuss
Separating Compilation from Attestation. C++ memory safety without disruption (gist.github.com ↗)
1 pointsby 34 minutes ago
—discuss
Show HN: Jev routing coding tasks to Grok Build or Codex Astra (github.com/jcpsimmons ↗)
1 pointsby 35 minutes ago
—discuss
The Mother Tongue of All Secrets (sundaylongread.com ↗)
2 pointsby 36 minutes ago
1comments
Cohere launches confidential computing in model vault (cohere.com ↗)
1 pointsby 36 minutes ago
—discuss
How Claude is uplifting biomolecular modeling (anthropic.com ↗)
2 pointsby 37 minutes ago
—discuss
The Next Gene-Editing Technology May Also Be the Oldest (nytimes.com ↗)
1 pointsby 39 minutes ago
—discuss

Bend 2 Is Here

8 pointsby 1h agogithub.com

Announcement post https://x.com/VictorTaelin/status/2100681226143092875

Bend 2 is here!

It is a new programming language that blocks AI mistakes via proof checking - the same technique big AI labs used to >solve open math problems, like Navier-Stokes.

It is also very fast, and runs on GPUs.

1h agoHN ↗

Very cool! You should include in the readme the game Astra implemented from scratch in Bend 2.

https://x.com/VictorTaelin/status/2098007807261892927

Open thread on HN ↗