Verifying Rust cryptography in SymCrypt, from standards to code
Read original source →microsoft.com
Microsoft Research verified production cryptographic algorithms in SymCrypt using Rust, Lean, Aeneas, and AI agents. The formal verification process ensures that the code matches cryptographic standards, providing higher security assurance.
1 source
More stories today
ChatGPT web app reported using 18GB of RAM in Firefox
A Reddit user reports chatgpt.com consuming 18GB of memory in Firefox, sharing a screenshot of the usage. No official response or explanation from OpenAI appears in the thread.
r/ChatGPT·1 hour ago
NYSOFA extends Intuition Robotics deal to expand ElliQ for seniors
New York State Office for the Aging signed a new three-year, $2.1 million agreement with Intuition Robotics to keep placing the ElliQ AI companion with older adults at risk of loneliness. The program has run since 2022, with similar partnerships in Wisconsin, Florida, and Washington.
The Robot Report·1 hour ago
Nous Research CEO Dillon Rolnick speaks at AI Engineering Conference in NYC
Teknium·1 hour ago
Science Corporation implants PRIMA vision chip in first Stargardt patient
The first Stargardt disease patient received the PRIMA implant in May at Sydney Eye Hospital in Australia. Stargardt affects roughly 150,000 people worldwide; PRIMA is already commercially available in Europe for geographic atrophy.
TechCrunch·1 hour ago
Cerebras CEO predicts personal AI assistants in every home
Andrew Feldman said at TechCrunch Disrupt 2026 that home AI assistants are "not very far away," running partly on-device and partly in the cloud. He cited Meta's Muse and Instinct, a startup now valued at $10 billion, as signs of consumer agent traction.
Local 2B decision model drives Halo CE split-screen co-op
A hobbyist wired Intern-Decision-2B into OpenCE, feeding it game state as text — player/NPC positions, health, ammo — plus raycasts for obstacle detection, and translating its predicted actions into game input.
r/Singularity·2 hours ago
Reddit users debate whether AI chat has replaced their own work
Two r/ClaudeAI and r/ChatGPT threads describe heavy daily reliance: one user says Claude now reads and drafts all their email and documents, another runs a small SaaS business through hundreds of ChatGPT exchanges a day as a "second CEO brain."
r/ClaudeAI·2 hours agoAnthropic asks DC appeals court to rehear Pentagon blacklisting case
Anthropic is petitioning the federal appeals court in Washington, D.C. to revisit its ruling upholding the Trump administration's designation of the company as a supply-chain risk to US national security. The designation blacklisted Anthropic's AI models from Pentagon use.
CNBC Technology·2 hours ago
