1321
Project Glasswing: An Initial Update
An early update on what we've learned from Project Glasswing.
New
The latest blog posts to take off on Hacker News. 31,667 posts.
1322
A blueprint for formal verification of Apple corecrypto
With the latest release of corecrypto, we’re publishing our implementations of quantum-secure ML-KEM and ML-DSA algorithms, along with the mathematical proofs we built to assure they are faithful to the FIPS 203 and FIPS 204 specifications. To advance the state of the art for assuring critical software, we're also…
1323
1324
Scientists solve 200-year-old puzzle of how tobacco plants make nicotine
Scientists have uncovered how tobacco plants naturally make nicotine, solving a mystery that has puzzled researchers for nearly two centuries.
1325
The Companies Cutting Headcount for AI Will Lose to the Ones Who Didn't
Organisations using AI to cut headcount are making a short-term trade with long-term consequences. The ones holding their teams together and investing in how those teams operate with AI are building something more durable.
1326
1327
Deno 2.8
`import defer`, six new subcommands (`deno transpile`, `deno pack`, `deno bump-version`, `deno ci`, `deno why`, `deno audit fix`), network debugging in Chrome DevTools, framework-aware `deno compile`, and 3.66x faster cold npm installs.
1328
Antigravity 2.0 Tops the OpenSCAD Architectural 3D LLM Benchmark
A practical OpenSCAD LLM benchmark comparing Codex 5.5 High, Claude Sonnet, Claude Opus, Cursor Composer, Google Antigravity, and ModelRift on a detailed Pantheon model.
1329
Cleve Moler has died
Jack Little and Cleve Moler, cofounders of MathWorks, recognized the need among engineers and scientists for more powerful and productive computation environments beyond those provided by languages such as Fortran and C. In response to that need, they combined their expertise in mathematics, engineering, and computer…
1330
Improving C# Memory Safety
The `unsafe` keyword is being redesigned to mark caller-facing contracts rather than just syntax. Safety obligations between callers and callees become visible and reviewable. The model is motivated by the rise of AI-assisted code generation and arrives as a preview in .NET 11.
1331
Key findings about how Americans view artificial intelligence
Drawing on five years of Pew Research Center surveys, here are 13 findings about how Americans use and view AI, and where they see promise and risk.
1332
Indexing a year of video locally on a 2021 MacBook with Gemma4-31B (50GB swap)
How I built a queryable video archive locally on a 2021 MacBook Pro M1 Max using Gemma 4 31B in LM Studio. The build journey, the absurdity of 50GB of swap, and four bugs that taught real lessons.
1333
Flipper One – we need your help
With Flipper One, we're reimagining what a Linux cyberdeck can be — it's a huge project. We're opening up the development process and asking the community for help.
1334
We're testing new ad formats in Search and expanding our Direct Offers pilot
Google is introducing new ad formats built with Gemini in Search and expanding the Direct Offers pilot for shoppers.
1335
Vivaldi 8.0
More than thirteen years in, and I am still as excited about building this browser as I was on day one. Maybe more. That excitement comes from a genuine belief that the people who use Vivaldi deserve…
1336
An OpenAI model has disproved a central conjecture in discrete geometry
An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.
1337
Tracking Starbucks' 'widely recyclable' cups: none ended up at recycling
A three-month national investigation by Beyond Plastics found that not a single tracked Starbucks cold-beverage cup ended up at a recycling facility — even when the cups were placed in clearly marked recycling bins inside Starbucks stores.
1338
Node.js 26.0.0 (Now with Temporal)
Node.js® is a free, open-source, cross-platform JavaScript runtime environment that lets developers create servers, web apps, command line tools and scripts.
1339
Tennessee man jailed 37 days for Trump meme wins settlement after lawsuit
Retired Tennessee law enforcement officer Larry Bushart has won a substantial settlement from the county and sheriff behind his arrest.
1340
Meta blocks human rights accounts from reaching audiences in Saudi Arabia, UAE
The undersigned NGOs condemn Meta’s decision to restrict the Facebook and Instagram accounts of independent NGOs, researchers, and civil society figures from reaching audiences in Saudi Arabia and the UAE.
1341
Saying goodbye to asm.js
Disabling asm.js optimizations in SpiderMonkey
1342
Qwen3.7-Max: The Agent Frontier
Qwen offers comprehensive functionality spanning chatbot, image and video understanding, image generation, document processing, web search integration, tool utilization, and artifacts.
1343
Blood Pumping Mechanism of the Hoof (2020)
Blood is pumped from the heart through arteries to the hoof and is assisted in its return through a “pumping mechanism” in the hoof. This mechanism is necessary due to the position of the hoof in relation to the heart. There are no muscles in the lower leg or hoof to aid in the return of venous blood to the heart…
1344
Incident Report: May 19, 2026 – GCP Account Suspension
Railway experienced a platform-wide disruption after Google Cloud incorrectly suspended our account, temporarily taking down all GCP-hosted infrastructure.
1345
Infomaniak transitions to a foundation model to protect user data privacy
Infomaniak transfers the majority of its voting rights to a Swiss public-benefit foundation. Your cloud remains sovereign, independent, and true to its values. Forever.
1346
OpenAI Adopts Google's SynthID Watermark for AI Images with Verification Tool
OpenAI advances AI content provenance with Content Credentials, SynthID, and a verification tool to help people identify and trust AI-generated media.
1347
Mistral AI acquires Emmi AI
European AI leader Mistral AI is acquiring Emmi AI in one of Europe’s most important and strategic AI acquisitions to date.
1348
Google changes its search box
We shared the next step in our journey to bring together the best of a search engine with the best of AI.
1349
Gemini CLI will stop working from June 18, 2026
Announcement for the sunsetting of Gemini CLI in favor of Antigravity CLI, a more robust, agent-first platform designed to handle the multi-agent complexities of 2026.
1350
Gemini 3.5 Flash
At Google I/O we released Gemini 3.5, our latest series of models combining frontier intelligence with action.