You're tuned in to Tech Beat, your daily look at the stories shaping our world.
A tanker has struck a paddlewheel cruise ship in New Orleans, with one hundred twenty nine people reported aboard at the time of the collision. Video from the scene shows the significantly larger vessel crashing into the cruise boat while it appeared to be docked, raising immediate questions about navigation safety on the Mississippi.
Turning overseas, new figures suggest Russia has lost close to half a million lives in its war on Ukraine. The toll, reported by the Financial Times, underscores the staggering human cost of a conflict now well into its third year, with no clear diplomatic resolution in sight.
And in the tech world, a developer has brought the Lean theorem prover directly into the browser using WebAssembly. It is a quiet but meaningful step — making formal verification tools accessible without installation, lowering the barrier for researchers and students who want to write mathematically rigorous code from anywhere.
That is your briefing for now. Keep surfing. Tech Beat out.
