The daily ledger

Liux’s Big microcar bets on sustainability to take on Chinese rivals

The Liux Big microcar is made in Spain. The startup thinks it can compete in a crowded market with its tiny electric car built around sustainability.

Why it matters that President Trump just dialed into a NASA news conference

With just one more major mission upcoming, NASA's science programs need a boost.

Musk’s faster path to more gas turbines comes with pollution problem

Elon Musk says a secretive new SpaceX foundry will let him cast his own turbine blades and get gas power online 18 months faster than anyone else — but it's a bet on a fuel source that's already triggering lawsuits and…

TechCrunch Mobility: The hidden human cost of robotaxis

Welcome back to TechCrunch Mobility, your hub for the future of transportation and now, more than ever, the role AI is playing in it.

Caterpillar is bringing to AI deployment what it learned from automating mining

Caterpillar has spent decades putting autonomous machines to work at remote mining sites. It's now bringing that experience to AI deployment.

Inside Meta’s push to put robots to work in data centers

The company is testing robots on tasks that can performed by technicians.

Why open source rocks – a new SM750 (Silicon Motion GPU) HDMI Driver

Hacker News discussion (6 points, 3 comments)

Running SQLite Apps on Docker and Kubernetes with Litestream

Hacker News discussion (16 points, 7 comments)

Coordination Headwind: How Organizations Are Like Slime Molds

Hacker News discussion (60 points, 30 comments)

Haiku R1/beta6 has been released

Hacker News discussion (152 points, 41 comments)

Omarchy: Any User Process Can Escalate to Root

Hacker News discussion (237 points, 249 comments)

European Commission Revives Push for Encryption Backdoors in ProtectEU Strategy

Hacker News discussion (218 points, 82 comments)

Zig: Pointer Stability for ArrayLists

Hacker News discussion (46 points, 13 comments)

Europe's summer drought is so extreme that desertification is a growing threat

Hacker News discussion (150 points, 181 comments)

METR and Redwood Offer Holy %^ Postmortem of the HuggingFace Hack

Hacker News discussion (104 points, 42 comments)

HSK Manga: Turning Manga into Beginner-Level Chinese

Claude Session URL appended to commit messages and PR descriptions by default

Hacker News discussion (147 points, 173 comments)

A SAT Attack on Tarski's High School Algebra Problem

monty-go: Pure-Go wrapper for Pydantic's Monty Python Interpreter

Hacker News discussion (39 points, 11 comments)

Small and reasonably fast QOI decoder written in zig