Nitter, the privacy-focused Twitter/X alternative, said it will keep operating after receiving cease-and-desist letters from X Corp. NetBSD released 9.5 as the final 9-branch update, ending support for all NetBSD-9.x and urging users to upgrade to 10.2 or 11.0. Elsewhere, a modder got Windows CE running on a Nintendo 64, and Trynix now lets you run over 310,000 historical Nix packages in a browser via WebAssembly.
A federal lawsuit says Waukesha County deputies used Flock cameras over 100 times to track a Navy veteran who recorded a traffic stop. New reporting reveals 3M concealed PFAS in Americans’ blood for decades; a UCSF researcher tied tobacco giants’ food brands to today’s ultra-processed diets. OpenLake beat NVIDIA AIStore in MLPerf storage with 6.72 GiB/s writes and 11.55 GiB/s reads.
Claude spent 11 days producing the first computer-checked proof of Fermat’s Last Theorem, formalizing 29,500 theorems in Lean. OpenAI and Anthropic suffered outages without explaining causes. GitHub’s HydraFusion orchestrates models to match Claude Opus 5 at up to 67% lower cost. An adult studio linked a Meta Reality Labs exec to pirating nearly 20,000 files. Allison Guerriero, who exposed an FBI official’s Russia ties, was found dead.
Nvidia agreed to acquire Hugging Face for $12.9 billion, pledging to keep the AI platform open. Audacity 4.0 launched with a Qt-based interface and new project format. NASA picked Dragonfly’s landing area on Saturn’s moon Titan for its 2028 mission. Salesforce said its heavy reliance on Anthropic’s Claude dented profit margins. Cybercrooks also stole password hashes from the Fishbrain social network, and Haiku OS released its sixth beta.
Security researchers listed 10 Downing Street on Booking.com, exposing flaws and taking real bookings. Milo Yiannopoulos said ICE detention left him ’terrified’ and regretting support for Trump. NATO fears France’s next president could undermine the alliance as hardline support grows. Chemogenetics reached early human trials in China for pain and Parkinson’s. AI coding harness evaluations showed costs varying 17x.
Anthropic launched Claude Fable 5.1 and Mythos 5.1, lowering costs by up to 45% for agentic workloads, and unveiled Enterprise Frontier Safeguards after customer complaints. WhatsApp remittance startup Félix raised $200M, becoming a unicorn. Google introduced Google Pics, its AI design suite for Workspace. Aslan secured $20.8M to supply AI agents for intelligence operations.
A privilege escalation attack from IIS AppPool to SYSTEM via AD CS was disclosed, enabling full server compromise. C++26 adds a hardened library mode that turns undefined behavior like out-of-bounds access into terminating violations. Servo 0.5.0 brings Linux aarch64, faster canvas, and SVG web fonts. At a recent academic conference, panelists were criticized for using AI to generate questions, highlighting troubling reliance on chatbots.
Omarchy fixed a Docker misconfiguration that allowed any user process to gain root access via the docker group. SAT-solver research proved Tarski’s high school algebra countermodels have exactly 12 elements, formally verified in Lean. A BPF checksum failure traced to Clang strict-aliasing; compile with -fno-strict-aliasing. OpenWrt can now alert IPv6 outages via MQTT and Home Assistant. Also: a new Zig QOI decoder and Omniflake simplify Nix flakes.
AWS developed a flat, near-random network for data centers that cuts energy use up to 40%, but admitted keeping the savings rather than cutting prices. A startup raised $7M for Spike, a backpack-portable drone interceptor. Debian voted to allow responsible AI-assisted contributions, requiring quality and legal checks. Meanwhile, AI crawlers are hammering git.kernel.org by rendering commits as HTML, evading blocks via residential IPs.
Meta is rolling out an update to block smart-glasses recording when the indicator light is covered, but critics call it too late as voice recording remains unaddressed. Android job seekers face fake Indeed apps that sideload spyware, giving criminals device control. Meanwhile, htmx 4.0.0 shipped after eight months, and a Rustdoc fix cut build times by up to 40% on real-world crates. Also, a Unix file bug stopped OpenOffice printing on Tuesdays.
