E-Ink News Daily

AI-curated tech news, optimized for E-Ink

August 1, 2026

LatestArchivesAugust 1, 2026Older edition
64
Total
39
Selected
6.1
Avg Score
AllLobstersHacker News (RSS)TechCrunchArs TechnicaSimon WillisonThe VergeGood e-Reader#security#vulnerability#macOS#RCE#lean#formal-verification#bug#theorem-prover
9.0

Apple Screen Sharing Pre-Auth RCE

Critical pre-authentication remote code execution vulnerability in Apple's Screen Sharing daemon allows unauthenticated attackers to gain root access on macOS systems with Screen Sharing enabled. The ...

8.0

Postmortem for Lean Kernel Soundness Bug #14576

A soundness bug in the Lean kernel (#14576) was discovered and fixed, allowing an ill-typed argument to bypass type checking in nested inductive types with phantom parameters. The bug was exposed when...

7.0

NetBSD 11.0

NetBSD 11.0 has been released, continuing the project's tradition of portability and technical innovation across diverse hardware platforms. The release includes numerous kernel improvements, updated ...

7.0

The Art of 64-bit Assembly

No Starch Press is releasing a new edition of 'The Art of 64-bit Assembly,' a book covering x86-64 assembly language programming. The book targets developers seeking to deepen their understanding of l...

7.0

LLMs won't break symmetric crypto

Anthropic's LLM Claude Mythos discovered a key-recovery attack on HAWK, a post-quantum signature scheme candidate, reducing its security estimate, and an improved attack on 7-round AES-128. The negati...

7.0

The Session You Cannot Take With You

The article critiques how AI inference APIs are increasingly moving away from session portability, returning provider-bound opaque state instead of user-owned transcripts. Features like encrypted reas...

7.0

Ten advances in mathematics and theoretical computer science

OpenAI claims to have solved ten long-standing mathematical problems using an internal version of its Astra model at GPT-5.6 token prices, spending under $2,000 per problem. The results include Lean 4...

7.0

deepseek-ai/DeepSeek-V4-Flash-0731

DeepSeek released V4-Flash-0731, a 304B parameter model with enhanced agentic capabilities, ranked ahead of the larger MiniMax M3 on Artificial Analysis. Priced at $0.14/million input and $0.27/millio...

7.0

Defcon's new badge is a security key you can see inside

Defcon's 2026 badge, designed by hardware hacker Andrew 'bunnie' Huang, features the Baochip-1x—an innovative open-source microcontroller whose source code for OS, firmware, processor core, and crypto...

6.0

How Google helped destroy adoption of RSS feeds (2023)

The article argues that Google played a significant role in undermining RSS adoption through its decisions, particularly the shutdown of Google Reader in 2013 and the creation of proprietary alternati...

6.0

Flint: A Visualization Language for the AI Era

Microsoft has released Flint, a visualization language designed for the AI era, available as an open-source project on GitHub. The project aims to bridge the gap between AI-generated insights and effe...

6.0

Test the Email Verification Protocol with an origin trial

Chrome is launching an origin trial for the Email Verification API, which allows browsers to verify email ownership directly with providers without sending emails or interrupting the user flow. The pr...

6.0

wiff

wiff is a terminal-centric diff and code-review utility by Wez Furlong that captures diffs, provides syntax-highlighted browsing and annotation, and persists reviews as local sessions. It supports bot...

6.0

The development pipeline is a production system

The article argues that development pipelines—build systems, QA environments, and tooling—should be treated with the same urgency as production outages, since any breakage halts the team's ability to ...

6.0

As Reddit stock falls, CEO questions value of Google's AI Overviews

Reddit CEO Steve Huffman criticized Google's AI Overviews during the company's earnings call, arguing that AI summaries fail to deliver the same value as traditional search links. He emphasized that R...

6.0

Is this Billboard Hot 100 hit AI slop?

Fenix Flexin's track 'Rubberz' reached #58 on the Billboard Hot 100, but questions arose about whether the song and its cover art were AI-generated. Fenix denied the accusations but has done little to...

5.0

The Silicon Valley Founder Meat Grinder

An opinion piece examining the harsh realities and systemic pressures that Silicon Valley founders face, likely discussing the grueling startup ecosystem and high failure rates. The article generated ...

5.0

Cursor removed cost information from the usage page and CSV export

Cursor has removed cost information from its usage page and CSV export, a change that has sparked discussion among users. The move appears to shift focus from transparent pricing to token-based usage ...

5.0

An old-new take on argument parsing in Rust

The author discusses their philosophy on Unix-style command-line argument parsing in Rust, advocating for consistency with the broader Unix ecosystem rather than just the Rust language ecosystem. They...

5.0

Elevators

An informative article exploring elevator algorithms, from the basic SCAN and LOOK algorithms to multi-car coordination and performance metrics like p50/p90 wait times. The piece explains why elevator...

5.0

But can your calculator run Linux?

The article explores running Linux on the HP Prime G2 graphing calculator, sharing the author's updated Linux port and instructions. It also briefly covers Linux capabilities on other calculators and ...

5.0

Norway's first adventure games

An article documenting Norway's earliest adventure games, SVHA Adventure (1979) and Ringen, which have been rescued from obscurity after over 40 years. SVHA Adventure was an expanded version of Coloss...

5.0

Resigning from Arch Linux

Morten Linderud, a long-time Arch Linux developer and security team member, has resigned from his roles after approximately 10 years of contributions. He cited that things are changing and it's a good...

5.0

Inside the London hacker house taking a stand against founder burnout

A London-based co-living hacker house called Lift House offers an alternative to Silicon Valley's intense startup hustle culture, focusing on holistic well-being for founders. Six residents, led by 26...

5.0

Sam Altman is still making the case for parenting via ChatGPT

Sam Altman promoted a ChatGPT Work feature that auto-generates morning podcasts summarizing kids' schedules and interests, sparking viral backlash with critics like Gravity Falls creator Alex Hirsch s...

5.0

This $9 key physically locks your most addictive apps

Autonomous Key is a $9 NFC physical key that pairs with a companion app to lock distracting apps, requiring users to physically scan the key to unlock them for up to 60 minutes at a time. The device a...

5.0

The Mermaid Mask is a perfect vacation murder mystery

The Mermaid Mask is a new point-and-click murder mystery game from SFB Games, the studio behind Tangle Tower. The game features a compelling locked-room submarine murder setup with a colorful cast of ...

5.0

llm-mcp-client 0.1a0

Simon Willison released llm-mcp-client 0.1a0, a Python package that allows accessing tools from MCP (Model Context Protocol) servers as LLM tools within the llm framework. The release comes amid growi...

5.0

Inkleaf is a dual screen e-reader set for a Kickstarter Launch

InkLeaf is a dual-screen foldable E Ink notebook featuring two 10.3-inch Carta E Ink panels connected by a notebook-style hinge. It allows users to read reference material on one screen while writing ...