General

A 2.9 magnitude earthquake was detected in Lake Michigan near the Illinois-Wisconsin border, according to USGS officials. No injuries or damage reported.

GAO reports that the Department of Energy is prematurely excluding less costly methods for nuclear waste cleanup, raising concerns about efficiency and cost-effectiveness.

Kani, a model checker for Rust, has been introduced to improve software safety verification, offering developers a new tool for formal analysis.

Research publication mentions worldwide have increased sharply, with 24 mentions this window—24 times the baseline, signaling heightened global interest.

A severe thunderstorm watch has been issued across parts of the Midwest and Southeast, with authorities warning of potential damaging winds and hail.

Recent data shows a significant increase in media coverage of oceans, including the North Sea, indicating rising global interest amid ongoing environmental concerns.