FACTFLOW

Tech

Show HN: Formally verified polygon intersection – Opus 4.8 oneshots, prev failed

To my knowledge, this is the first formally verified implementation of an intersection algorithm for polygons. The experience of working with AI agents on this project changed a lot with recent model releases, as I describe in the readme. Opus 4.8 is

Tech

Show HN: Mercek – A Desktop IDE for AWS ECS

Hey HN I've been using ECS for a while now and found it annoying having to log into the console everytime I use Lens for Kubernetes but couldnt find an equivalent for ECS so i built one! The project is open source as well https://github.com/utibeabas

Tech

NSA using Anthropic's Mythos for cyber attacks

Article URL: https://www.ft.com/content/d02d91b3-2636-454e-9442-dc7e69f51815 Comments URL: https://news.ycombinator.com/item?id=48404233 Points: 43 # Comments: 16

Tech

Show HN: FFmpeg WebCLI – Full FFmpeg in Browser, Offline PWA, No Uploads(WASM)

Built a browser-based FFmpeg editor that runs entirely client-side via WebAssembly. Your files never leave your device -- all processing happens in a Web Worker. Works offline as an installable PWA after first load. Comments URL: https://news.ycombin

Tech

Iran Shock Jolts Asia and Europe to Speed Up Energy Transition

Article URL: https://www.bloomberg.com/graphics/2026-energy-transition-iran-war/ Comments URL: https://news.ycombinator.com/item?id=48404063 Points: 54 # Comments: 29

Tech

Ask HN: High school student – is learning programming still worthwhile?

As a high school student, I’m trying to figure out what major I’m interested in. About half a year ago, I thought EECS was a great major for some STEM students like me, because I see many of the world's most influential entrepreneurs, such as Elon Mu

Tech

Meta steals a tactic from Tesla and builds data centers in tents

Meta may have one found one way to slash its massive data center bill: tents.

Tech

Apple approves Poke as the first AI agent on its Messages for Business platform

Poke, the startup that lets people use AI agents through simple text messages, has become the first AI agent approved for Apple’s Messages for Business platform.

Tech

Helion, the Sam Altman-backed fusion startup, raises $465M to build a power plant for Microsoft

Fusion startup Helion is racing to complete a power plant for Microsoft by 2028. A fresh infusion of cash should help with that.

Tech

Elon Musk tries again to escape FTC audits of X data handling

Musk can't be trusted to protect X user privacy, public commenters warn FTC.

Tech

Cable lobby warns of chaos if FCC doesn't relax ban on foreign routers

NCTA seeks waiver from foreign-router ban, citing memory and substrate shortages.

Tech

Bumblebees can spontaneously solve problems, study finds

Scientists in Finland found bees could solve an insect version of the classic "box-and-banana" problem.

Tech

Microsoft, Atom Computing update their quantum computing progress

Some quantum computing companies we've covered have done recent progress updates.

Tech

Anthropic's open-source framework for AI-powered vulnerability discovery

Article URL: https://github.com/anthropics/defending-code-reference-harness Comments URL: https://news.ycombinator.com/item?id=48403980 Points: 7 # Comments: 0

Tech

Castor: CERN Advanced STORage Manager

Article URL: https://castor.web.cern.ch/content/home.html Comments URL: https://news.ycombinator.com/item?id=48403753 Points: 7 # Comments: 0