US President Donald Trump posted on Truth Social that Iran must move "FAST" toward a deal or "there won't be anything left of them," after exchanges through Pakistani mediators failed to bridge gaps. Iran had responded to a US proposal with demands including an immediate end to all war fronts, lifting the naval blockade, and compensation for war damage. Trump had earlier rejected these terms as "totally unacceptable" and declared the April ceasefire on "massive life support." The US reportedly offered a 20-year suspension of Iran's nuclear program rather than total dismantlement, while Iran seeks sovereignty over the Strait of Hormuz, which it has kept closed since February.
The US and Israel began air strikes on Iran on February 28. A ceasefire was announced in early April to facilitate talks, but sporadic exchanges of fire have continued. Iran has maintained control of the Strait of Hormuz, through which roughly 20% of global oil and LNG travels, causing oil prices to surge.
Three drones entered UAE airspace from the west on Sunday. Two were intercepted; a third struck an electrical generator outside the inner perimeter of the Barakah Nuclear Power Plant in Abu Dhabi, causing a fire. No injuries occurred and radiological safety levels were unaffected, authorities said. The UAE foreign ministry called it an "unacceptable act of aggression" and a "flagrant violation of international law," reserving the right to respond. The UN's International Atomic Energy Agency expressed "grave concern," with director general Rafael Grossi calling for "maximum military restraint" around nuclear facilities. The UAE has previously accused Iran of attacks on its infrastructure since the regional war began in February.
The Barakah plant is the UAE's first nuclear power facility and the first in the Arab world. Since the US-Israeli strikes on Iran began in February, Tehran has launched retaliatory attacks across the region, accusing Gulf states of allowing US military operations from their territory.
The Africa Centres for Disease Control and Prevention confirmed over 390 suspected cases and at least 100 deaths in an Ebola outbreak in DR Congo's eastern Ituri province. The WHO has declared an international emergency. Six Americans have been exposed to the virus; one is symptomatic, three had high-risk contact. The US CDC is supporting their withdrawal, possibly to a military base in Germany. The current strain is caused by the Bundibugyo virus, for which no approved vaccines or drugs exist. The US has issued its most severe travel advisory against DR Congo. Uganda has confirmed two additional cases with one death.
The 2014-2016 West Africa Ebola outbreak infected over 28,600 people and killed 11,325 across multiple countries including the US, UK, and Italy. Community funeral practices, where families washed bodies of the deceased, contributed heavily to early transmission.
The UN has verified at least 32 political prisoner executions in Iran since US and Israeli strikes began on February 28, a sharp increase from 45 such executions in all of 2025. Mehrab Abdollahzadeh, arrested during 2022 protests over Mahsa Amini's death, was executed this month after 42 months in prison; he claimed torture-produced false confessions. Amnesty International reports near-daily execution announcements, with the death penalty weaponized to crush dissent following the January uprising. Some executed prisoners were accused of spying for Israel or the CIA; others were linked to the crushed January protests. The UN Human Rights Office fears secret executions may also be occurring.
Iran carried out 2,159 executions in 2025, the highest since 1981, per Amnesty International. Most were for drug offenses or murder. The regime has intensified repression amid external war and internal crises, using executions to project control after the January uprising damaged its authority.
Israeli commandos boarded at least 16 vessels from the Global Sumud Flotilla in international waters west of Cyprus, according to organizers. The fleet of over 50 boats carrying aid for Gaza departed from Turkey last Thursday with more than 460 activists from 45 countries. Live video showed commandos approaching and boarding sailboats as passengers raised their hands. Israel's Prime Minister Benjamin Netanyahu called the raid a success that "neutralized a malicious plan" to break the Gaza blockade. Turkey's foreign ministry condemned the intervention as "piracy." Last month, Israeli forces intercepted 22 boats from the same flotilla near Crete, detaining 181 activists; all but two were released in Greece.
The Global Sumud Flotilla aims to breach Israel's maritime blockade of Gaza. In 2010, Israeli commandos raided the Turkish ship Mavi Marmara, killing 10 activists. The IHH, one organizer of that flotilla, is designated a terrorist organization by Israel; the GSF denies any affiliation.
Izz al-Din al-Haddad, leader of Hamas' military wing, was killed in a Friday airstrike in Gaza, Israel's military announced. Al-Haddad was one of the last surviving architects of the October 7, 2023 attacks that killed approximately 1,200 Israelis and took over 250 hostages. Hamas confirmed his death. Six others including his wife and daughter died in the strike; his two sons were killed earlier in the war. Israel stated al-Haddad had used Israeli hostages as shields. The killing comes as ceasefire talks stall over Hamas disarmament, with over 850 Palestinians killed in Gaza since the October ceasefire began, according to Gaza's Health Ministry.
Al-Haddad joined Hamas in the 1980s and served in its Military Council, the highest command body. He assumed leadership after his predecessor Mohammed Sinwar was killed. The October 2023 attacks triggered the ongoing war, in which Gaza's Health Ministry reports over 72,700 Palestinian deaths.
Linux creator Linus Torvalds declared that AI-generated bug reports have made the kernel security list "almost entirely unmanageable," with duplicate submissions flooding maintainers. In a state-of-the-kernel post, Torvalds stated that AI-detected bugs are "by definition not secret" and treating them on private lists wastes time. He urged reporters to submit patches rather than raw AI output: "Don't be the drive-by 'send a random report with no real understanding' kind of person." The warning follows GitHub security engineer Jarom Brown's similar call for validated, reproducible findings over volume. The "Copy Fail" exploit, found with AI assistance and affecting nearly all Linux distributions, represents the productive use case Torvalds distinguishes from slop.
Bug bounty programs have seen submission volume surge as AI tools lower barriers to entry. GitHub and other platforms now emphasize depth over volume, with validated, proof-of-concept findings earning more than speculative reports. Torvalds' intervention signals maintainer burnout at the core of open-source infrastructure.
Bug bounty programs are drowning in low-quality AI-generated vulnerability reports, forcing some organizations to suspend operations. Bugcrowd, serving clients including OpenAI and T-Mobile, saw submissions quadruple in three weeks this March, most proving false. Curl suspended its paid program in January citing "explosion in AI slop reports" and mental toll on maintainers. Nextcloud paused its program in April. The surge comes as Anthropic launched Mythos, an AI model claiming superior flaw detection. HackerOne, serving Google and the US Department of Defense, introduced "agentic validation" to triage submissions, noting that while total reports rose 76 percent, the legitimate vulnerability rate held at 25 percent.
Bug bounties have grown since the early 2000s, with Google disbursing $17 million in 2025 and paying $605,000 for a single Android vulnerability in 2022. The economics shift as AI enables both experienced researchers and amateurs to generate reports at scale, straining triage capacity.
In 1931, Kurt Gödel proved that no finite set of axioms can capture all mathematical truth, even for basic arithmetic. Quanta Magazine columnist Natalie Wolchover surveys contemporary logicians, mathematicians, and philosophers on what this means for knowledge. Panu Raatikainen notes the theorems undermine the ancient Greek ideal of organizing science from self-evident principles: mathematical truth concerning positive integers exceeds any axiomatization. Rebecca Goldstein emphasizes that intuitions, not just proof, remain essential to mathematics. The theorems also blur the boundary between discovered and invented truth, as adding different axioms can make the same undecidable statement either true or false.
Gödel was 25 when he published his incompleteness theorems. Ernest Nagel and James R. Newman's 1958 book Gödel's Proof noted the theorems' meaning had "not been fully fathomed." The theorems transformed philosophy of mathematics, influencing debates about artificial intelligence, minds, and the limits of formal systems.
SpaceX has invested approximately $15 billion and built 600 Raptor engines for Starship over a decade, yet the rocket has not flown in seven months and has never reached orbit. A test flight is scheduled for Wednesday. The company's valuation, now approaching $1.5-2 trillion, rests increasingly on Starlink and AI data services rather than launch. Yet Starship remains essential to SpaceX's next 25 years and NASA's Artemis lunar program. After six test flights through 2024, SpaceX demonstrated first-stage capture and upper-stage controlled splashdown, but the program remains in test mode three years after its initial flight. The V3 iteration aims for rapid reusability, with Jacob McKenzie, VP for Raptor engines, stating the goal is to "leverage" physics rather than break it.
NASA selected Starship as the lunar lander for its Artemis III mission, originally planned for 2026 but now delayed. SpaceX's Starfactory in South Texas and expanding Florida facilities aim to support high production rates. The company paid $17 billion for wireless spectrum to expand Starlink, more than its total rocket development spending.
