Good morning
We’ve found 12 important news and 4 useful articles for you today. Enjoy reading.
News
Cybercriminals allegedly hacked tens of thousands of Fortinet firewalls used by major companies all over the world
securityinfrastructure
Large-scale credential-stuffing campaign hits tens of thousands of Fortinet devices globally; serves as a reminder of basic security hygiene.
RFC 10008: The new HTTP Query Method
backendnetworksystems
Standardization of the HTTP QUERY method, bridging the gap between GET and POST for idempotent queries.
SpaceX alum nabs $22M to turn rocket engines into geothermal power plants
infrastructuresystems
Critical Energy raises $22M to apply aerospace engineering (rocket engine design) to modular geothermal turbine manufacturing.
World leaders want American AI. They just don’t want America to be able to turn it off.
aiindustryinfrastructure
Geopolitical implications of AI model export controls; highlights the risks of dependency on US-based AI infrastructure providers.
GitHub Copilot Desktop App Targets Parallel Agentic Workflows
aidevopsindustry
Overview of the new GitHub Copilot desktop app, focusing on workflow integration and agentic task management.
Leaked OpenAI financial documents reveal high operational losses despite massive revenue growth.
Tesco moving 40k server workloads off VMware amid Broadcom's abusive conduct
infrastructuresystemsindustry
Tesco is migrating 40,000 workloads off VMware due to significant licensing cost increases.
Pramaana Labs raises $27M seed round from Khosla Ventures to bring formal verification to AI
aisystemsindustry
Pramaana Labs raises $27M to integrate LEAN-based formal verification with LLMs for high-stakes enterprise applications.
google-research/timesfm
aidata
Google's updated time-series foundation model with expanded context length and fine-tuning support.
Collecting robot training data is dirty, unglamorous work. Some AI labs are already paying XDOF to do it.
aiinfrastructuresystems
XDOF raises $70M to build infrastructure for collecting high-quality robot training data, addressing a major bottleneck in physical AI.
bytedance/UI-TARS-desktop
aisystems
ByteDance's multimodal AI agent stack for GUI-based desktop automation.
RocketChat/Rocket.Chat
infrastructureopen source
Self-hosted secure communications platform and team collaboration tool.
Articles
Presentation: From Hype to Strong Foundations: What the Rise, Fall and Resurgence of Agents Can Teach Us About Outlasting the Cycle
aisystemsinfrastructurebackend
Insightful synthesis of AI agent patterns, emphasizing process science and modular cognitive architectures over hype.
AI Agent Identity and Permission Challenges: How Uber and Auth0 Are Rethinking Access Control
securitysystemsaiinfrastructure
Deep dive into Uber’s architecture for managing AI agent identities, proving context, and securing cross-agent communication.
How we run Firecracker VMs inside EC2 and start browsers in less than 1s
infrastructuresystemsbackend
Engineering analysis on running nested Firecracker VMs for high-density, low-latency cloud browser sessions.
Show HN: Inkwash, a watercolor sketching app and explanation
systemsgraphicsbenchmark
Deep technical breakdown of a WebGL-based watercolor simulation, covering fluid dynamics, shader math, and rendering tricks.