AI News

Pyro Caml Continuous Profiler for OCaml (semgrep.dev)

Bringing Up DeepSeek-V4-Flash on AMD MI300X (fergusfinn.com)

U.S. Army Corps of Engineers Bay Model (en.wikipedia.org)

Anthropic scales Claude Mythos to critical infrastructure in 15 countries (techcrunch.com)

Show HN: RePlaya – self-hosted browser session replay with live tailing (github.com)

QBE – Compiler Back end: Version 1.3 (c9x.me)

Larry Ellison: "Citizens will be on their best behavior because we’re recording" (www.techradar.com)

DAILY DIGEST, 6/2: Trump administration doubles down on effort to stop Eel River dam removal (mavensnotebook.com)

Microsoft's Project Solara is an OS for AI agent gadgets (www.theverge.com)

GitHub Copilot app: The agent-native desktop experience (github.blog)

I made a kernel 2.2x faster. It made my training loop 3x slower (kyrieblunders.bearblog.dev)

EchoFlow (www.producthunt.com)

Water safeguards, environmental study by data center urged by Caddo officials - AOL (www.aol.com)

DOD wants to integrate cyber in all operations, and integrate security into AI (cyberscoop.com)

Number of suspected Ebola cases falls by hundreds as testing ramps up (arstechnica.com)

Three Ways to Get Paid (jasonzweig.com)

Microsoft Exchange Online outage causes email delays, failures (www.bleepingcomputer.com)

Work IQ is Microsoft's big bet on agent-first enterprise IT, and I have questions (www.zdnet.com)

Adafruit Pauses Blog After Demand Letter From Flux.ai's Lawyers (yro.slashdot.org)

ICC Immersion : réouverture de l'appel à candidatures pour l'Arabie Saoudite - AFJV (afjv.com)

Coreutils for Windows (github.com)

Trump administration releases scaled-back AI executive order (cyberscoop.com)

Your car is following you - how to reclaim your data privacy on the open road (www.zdnet.com)

We're Fighting Mass Surveillance Tech—and Winning (www.eff.org)

I'm a phone reviewer - these are the 5 early Prime Day phone deals I'd recommend (www.zdnet.com)

Trump signs downsized AI order after weeks of reversals (www.politico.com)

Promoting Advanced Artificial Intelligence Innovation and Security (www.whitehouse.gov)

Rethinking Search as Code Generation (research.perplexity.ai)

Cities push Congress to avert water infrastructure funding cliff - ESG Dive (www.esgdive.com)

Pourquoi les coupes budgétaires présentées par le gouvernement ne suffisent pas (www.lopinion.fr)

Code Is Cheap. Engineering Judgement Is Now the Scarce Resource (towardsdatascience.com)

Microsoft created the mini Surface dev box that Qualcomm couldn't (www.theverge.com)

Microsoft’s new developer-optimized Windows embraces Linux even more (www.theverge.com)

Microsoft launches MXC, an OS-level sandbox for AI agents, with OpenAI and Nvidia already on board (venturebeat.com)

Trump goes after green cards (www.theverge.com)

Microsoft debuts Surface RTX Spark Dev Box to run large AI models without cloud costs (venturebeat.com)

RGV Partnership Pushes Regional Water Agenda - Texas Border Business (texasborderbusiness.com)

Consommation responsable : quand les préoccupations forgent la mobilisation et l'action (www.ademe.fr)

Why a Neo Geo port of Doom is functionally impossible (arstechnica.com)

How we index images for RAG (www.kapa.ai)

Cricut's Joy 2 helps you personalize Father's Day gifts, and it's at its lowest price yet (www.theverge.com)

SpaceX IPO Filing Ties AI Growth to Water Access - TechRepublic (www.techrepublic.com)

In a surprise launch, China debuts another big rocket designed for reusability (arstechnica.com)

Show HN: Live breath detection and biofeedback from a phone microphone (github.com)

User-Replaceable Batteries Are Coming Back In a Big Way (hardware.slashdot.org)

Partiful Is Putting Ticket Payments on Its Platform (www.wired.com)

OpenAI's Codex update lets agents build interactive enterprise workspaces via Sites and role-specific plugins (venturebeat.com)

Microsoft Build 2026: All the news about Windows, AI, RTX Spark and more (www.theverge.com)

Forget Amazon - these are the best Costco deals I've found this week (www.zdnet.com)

Ableton is letting musicians build browser-style extensions for Live (www.theverge.com)