OpenAI’s Navier-Stokes release included a Lean 4 formal proof

OpenAI’s Navier-Stokes release included a Lean 4 formal proof Source: Hacker News

Ruflo MCP Flaw Lets Unauthenticated Attackers Run Commands and Poison AI Memory

Ruflo MCP Flaw Lets Unauthenticated Attackers Run Commands and Poison AI Memory Cybersecurity researchers have flagged a maximum-severity security flaw in Ruflo, an open-source agent meta-harness for Anthropic Claude Code

Airbus Full Scale Foldable Wing Extensions

Airbus Full Scale Foldable Wing Extensions Source: Hacker News