One Compromised Credential, 1,500 Records: Meta’s GitHub Breach Explained

One Compromised Credential, 1,500 Records: Meta’s GitHub Breach Explained

Meta has confirmed that an outside group reached some of its GitHub repositories using a stolen employee credential and walked away with source code and personal information tied to roughly 1,500 people, most of them US-based employees. The company says the intrusion did not stem from a flaw in any Meta product and did not … Read more

Google’s Keyboard Day: A 116-Key Keyboard That Moves on Four Conveyor Belts

Google’s Keyboard Day: A 116-Key Keyboard That Moves on Four Conveyor Belts

Every October 1, Google’s Gboard team ships a keyboard experiment nobody asked for and almost nobody will ever own. This year’s edition, the 15th consecutive instalment for Keyboard Day, takes the idea of “keys coming to you” literally: a physical keyboard built around four independent conveyor belts that carry keys toward the typist mid-sentence. Each … Read more

Nadella’s Infinite SaaS Factory: Copilot’s Plan to Build Custom Software for Every Business

Nadella’s Infinite SaaS Factory: Copilot’s Plan to Build Custom Software for Every Business

Satya Nadella published an essay titled The Infinite SaaS Factory on October 8, 2026, arguing that Copilot should become both the operating system of work and a software factory: describe what your business needs, and you get a customization or a new module connected to your systems. His central thesis challenges the usual take: more … Read more

OpenAI Publishes 722 AI-Generated Math Proofs, Machine-Checked With Lean

OpenAI Publishes 722 AI-Generated Math Proofs, Machine-Checked With Lean

OpenAI has released the largest publicly available corpus of AI-generated mathematical research to date: 722 manuscripts organised into 372 families of results, produced by an internal frontier model that the company has not yet made public. The GitHub repository, live since early October 2026, pairs many of the papers with formalisations written in Lean, the … Read more