Orbán is gone, the blockade is on, and the cracks run in every direction — Budapest toward Brussels, Tehran toward Europe, and straight through the trusted computing base.
The Orbán Era Ends
Péter Magyar swept Hungary’s election in a landslide, ending Viktor Orbán’s 16-year grip. Within hours, he confirmed Hungary will not block the €90 billion EU loan to Ukraine, rejected calls for territory concessions — invoking Hungary’s 1956 uprising — and said he would demand Putin “stop the killing.” Russia immediately added Hungary to its list of unfriendly countries. Belgium, Spain, and Canada piled on with fresh military and financial commitments. For JD Vance, who had invested heavily in Orbán and the Iran talks, it was a back-to-back collapse of MAGA foreign policy bets.
Hormuz Blockade Begins
The US Navy launched its blockade of Iranian ports Monday after weekend negotiations failed over a 20-year uranium enrichment moratorium Iran found unacceptable. Trump threatened to sink approaching vessels. A sanctioned Chinese tanker sailed through anyway — an early test of enforcement limits. NATO allies refused to join. Norsk shipping is directly affected: Wilhelmsen has four ships stuck in the strait, 20–30 Norwegian-flagged vessels operate in the area, and Rederiforbundet called the blockade “uakseptabel.” Brent crossed $100. Iran, meanwhile, is courting European capitals to exploit the transatlantic rift.
When Proofs End and Bugs Begin
A Claude agent fuzzed a formally verified Lean 4 zip library for 19 hours — 105 million executions — and found two real bugs. Neither was in the verified code. One was a heap overflow in the C++ runtime that all Lean proofs assume is correct; the other was in an unverified parser module. A clean demonstration that formal verification works precisely where applied, and says nothing about everything else.
Peter Magyar holder seierstale i
Budapest etter valget.
Hezbollah-leder Naim Qassem på
skjerm — oppfordrer Libanons regjering til å trekke seg fra
fredsforhandlinger med Israel.
Brann ved Cherepovets Azot
kjemianlegg etter ukrainsk droneangrep, 13. april 2026.
Ukrainas Koral bakke-til-luft-missil
vist offentlig på forsvarsutstilling.
Det nye regjeringskvartalet i Oslo —
A-blokken og høyblokken.
LazyAgent TUI — five panes showing
project list, session summaries, active agents, event log, and event
detail.