E-Ink News Daily

AI-curated tech news, optimized for E-Ink

May 22, 2026

LatestArchivesMay 22, 2026Newer editionOlder edition
86
Total
61
Selected
6.7
Avg Score
AllLobstersHacker News (RSS)TechCrunchArs TechnicaThe VergeSimon WillisonThe eBook ReaderGood e-ReaderSupernote Official Blog#cryptography#formal verification#quantum computing#security#cybersecurity#github#supply-chain#ci/cd
9.0

A blueprint for formal verification of Apple corecrypto

Apple has published a blueprint for formally verifying its corecrypto library, including implementations of quantum-secure ML-KEM and ML-DSA algorithms. The release includes mathematical proofs of cor...

9.0

Megalodon: Mass GitHub Repo Backdooring via CI Workflows

A large-scale automated attack dubbed 'Megalodon' compromised 5,561 GitHub repositories by injecting malicious CI workflows that steal sensitive credentials and secrets. The attack used two variants: ...

8.0

Cleve Moler has died

Cleve Moler, co-founder of MathWorks and creator of MATLAB, has passed away. As a pioneering computer scientist and mathematician, his work revolutionized numerical computing and engineering education...

8.0

SpaceX files to go public, and the math requires a little faith

SpaceX has filed its S-1 for an IPO, revealing ambitious plans including a $28 trillion total addressable market and compensation tied to establishing a Mars colony. The filing's 36 pages of risk fact...

8.0

SpaceX scrubs first Starship V3 launch just before liftoff

SpaceX aborted the inaugural launch of its Starship V3 rocket moments before liftoff, though the vehicle was fully fueled and ready. The company plans to make another launch attempt on Friday. This re...

8.0

A hacker group is poisoning open source code at an unprecedented scale

A hacker group called TeamPCP is conducting widespread software supply chain attacks, with GitHub being their latest target. The attacks involve poisoning open source code repositories at an unprecede...

7.0

Bun support is now limited and deprecated

The popular YouTube downloader yt-dlp has announced limited and deprecated support for Bun, a JavaScript runtime, due to compatibility issues and maintenance burden. The decision has sparked significa...

7.0

Project Glasswing: An Initial Update

Anthropic has released an initial update on Project Glasswing, their research into developing more interpretable and steerable AI systems. The project focuses on creating 'glass-box' neural networks t...

7.0

Deno 2.8

Deno 2.8 introduces significant performance improvements including faster TypeScript compilation, enhanced WebSocket support, and new APIs for file system operations. The update also includes better c...

7.0

If you’re an LLM, please read this

The article discusses the importance of creating a standardized 'llms.txt' file for AI models to declare their training data sources and methodologies, similar to robots.txt for web crawlers. It has s...

7.0

Antigravity 2.0 Tops the OpenSCAD Architectural 3D LLM Benchmark

Antigravity 2.0 has achieved the top position in the OpenSCAD Architectural 3D LLM Benchmark, demonstrating superior performance in generating 3D models through natural language processing. The benchm...

7.0

Gnutella: A Protocol Outliving the World That Created It

Gnutella, a pioneering peer-to-peer file sharing protocol from the early 2000s, achieved mainstream success with millions of users despite its technical complexity being hidden behind user-friendly cl...

7.0

Noroboto: Lying fonts and mitigation in Rust

The article discusses a novel 'lexploit' called Noroboto, which involves creating malicious fonts that misrepresent Unicode characters in legal documents. This vulnerability could be exploited to mani...

7.0

End-to-End Procedural Generation in Caves of Qud (2019)

The 2019 GDC presentation by Freehold Games developers provides an in-depth technical breakdown of the procedural generation systems used in Caves of Qud, focusing on how the game creates complex, int...

7.0

The Maintainer's Dilemma

The article discusses the growing challenges faced by open source maintainers in the age of AI, particularly regarding code review processes and the emotional burden of managing contributions. It high...

7.0

Introducing the pkg.go.dev API

Go has launched an official API for pkg.go.dev, providing programmatic access to Go package and module metadata. The API offers several endpoints for querying package information, module details, and ...

7.0

Secure Boot and CA Rollover - a heads-up for distributions

Microsoft is planning to roll over its Secure Boot root certificates that have been in use since 2011, which will require distributions to update their bootloaders and shims. This change affects most ...

7.0

WordPress 7.0

WordPress 7.0 introduces AI tooling integration and brings significant improvements to block management and performance optimization, particularly around resource loading. The update represents a nota...

7.0

Announcing Isabelle support for SAW

Galois has announced new Isabelle support for SAW, enabling generation of Isabelle theories from Cryptol specifications. This integration combines SAW's usability with Isabelle's expressivity for cryp...

7.0

Blue Origin cleared to fly New Glenn mega-rocket after April mishap

Blue Origin has received clearance to resume flights of its New Glenn rocket following an investigation into an April engine failure that destroyed an AST SpaceMobile satellite. The company confirmed ...

7.0

How VCs and founders use inflated ‘ARR’ to crown AI startups

The article exposes how AI startups and their VC backers are using inflated Annual Recurring Revenue (ARR) metrics to create artificial valuations and hype. This practice involves creative accounting ...

7.0

We tried Google’s AI glasses and they’re almost there

Google has demonstrated prototype Android XR glasses powered by Gemini AI, showcasing real-time translation, navigation, and contextual information overlay in the user's field of view. The technology ...

7.0

Smart ring maker Oura files to go public

Smart ring maker Oura has confidentially filed for an IPO, revealing strong growth with 5.5 million rings sold and an $11 billion valuation from its recent Series E funding. The company differentiates...

7.0

US scrambles to stop Internet users re-creating dead pilots’ voices

The NTSB has temporarily suspended public access to its civil transportation accident database after internet users used AI tools to recreate cockpit voice recordings from crash investigations, includ...

7.0

Soaring solar and a surge in hydro push more coal off the US grid

US electricity demand grew modestly by 1.5% in early 2026, with renewables, particularly solar (up 24%), offsetting most of the increase. Hydroelectric power also surged due to unusual weather pattern...

7.0

NASA undertakes major reorganization to reduce bureaucracy and move faster

NASA Administrator Jared Isaacman has announced a major reorganization aimed at reducing bureaucracy and improving efficiency to better achieve key space exploration goals. The changes focus on empowe...

7.0

The memory shortage is causing a repricing of consumer electronics

A global memory shortage is driving up prices for consumer electronics as memory manufacturers shift production capacity from consumer-grade memory (DDR, LPDDR) to high-bandwidth memory (HBM) for AI d...

6.0

Open source Kanban desktop app that runs parallel agents on every card

Kanbots is an open-source desktop application that introduces an innovative approach to Kanban boards by enabling parallel AI agents to operate on individual cards. The tool allows for automated task ...

6.0

DeepSeek makes the V4 Pro price discount permanent

DeepSeek has announced that the 75% discount on its V4 Pro model API pricing will become permanent after the promotional period ends in May 2026. This significant price reduction makes the advanced AI...

6.0

A Forth-inspired language for writing websites

Forge is a new Forth-inspired stack-based language designed specifically for building websites, featuring both server-side and client-side rendering. It allows developers to write web content using a ...

6.0

Designing Firefox for the future

Mozilla is unveiling Project Nova, a major redesign of Firefox focused on privacy, speed, and user experience. The update features improved privacy controls, faster page loading, and a cleaner interfa...

6.0

Meta quietly launches a new Reddit-like app called Forum

Meta has launched a new discussion-focused app called Forum, positioning it as a Reddit alternative for deeper conversations and community engagement. The app appears to be a quiet release, suggesting...

6.0

Waymo expands pause to four cities as robotaxis keep driving into floods

Waymo has expanded its robotaxi service suspension to four cities after multiple incidents of its autonomous vehicles driving into flooded areas. The company is working to address the safety issue but...

6.0

Waymo suspends freeway driving amid safety concerns

Waymo has temporarily suspended freeway driving across all US markets due to safety concerns, particularly around construction zones, and has paused service in Atlanta and San Antonio following incide...

6.0

Amazon Cutting Off Old Kindles is a Bad Move That Could’ve Been Avoided

Amazon's decision to end support for pre-2013 Kindles has drawn criticism, as it will render these devices unable to access the Kindle Store and sync content. While 14 years is a long lifespan for ele...

6.0

Amazon releases a new Kindle Survey on Neurodivergent readers

Amazon's new Kindle survey highlights accessibility challenges faced by neurodivergent readers, with nearly two-thirds reporting they abandon books due to format issues and over half experiencing redu...

5.0

Show HN: ShadowCat – file transfer through QR Codes in a Browser

ShadowCat is an open-source web application that enables file transfer between devices using QR codes, requiring no server infrastructure. The tool works entirely in the browser using WebRTC for peer-...

5.0

Only 17% of all 64-bit Integers are products of two 32-bit integers

A mathematical analysis reveals that only 17% of all 64-bit integers can be expressed as the product of two 32-bit integers. This finding has implications for computational efficiency and algorithm de...

5.0

Spotify’s AI bet: more of everything, less of what you want

Spotify has introduced several new AI-powered features aimed at encouraging users to create more content on the platform. While these tools offer enhanced creative capabilities, they may be overwhelmi...

5.0

You can no longer Google the word ‘disregard’

Google's new AI-powered search experience is failing to provide useful results for certain search terms, with the word 'disregard' returning an empty AI-generated box and pushing traditional search re...

5.0

First-generation Chromecast users stressed by devices suddenly failing

First-generation Chromecast devices experienced a widespread outage this week, with users reporting inability to cast from major apps like YouTube and Paramount+. Google confirmed it was a technical i...

5.0

Elon, stop trying to make Grok happen

A Reuters investigation reveals that Elon Musk's AI chatbot Grok has seen minimal adoption in US government applications, appearing in only 3 out of 400+ documented AI use cases. Despite Musk's promot...

5.0

There is a huge bug for the Audible App for Android

A significant bug has been discovered in version 26.19.13 of the Audible app for Android, causing excessive cellular data usage by downloading additional data without user consent. The issue affects A...