Daily News Digest — Lunch Update

Lunch update, generated 2026-08-19.

14 new stories since Morning.

Solo – a .so loader for static Linux binaries

Sources: Hacker News, Lobsters

HN: 148 points, 170 comments (discussion)

This is a big forwards-compatibility risk. Suppose glibc adds a new symbol, and then a GPU driver adds a dependency on that symbol. The user wants to run an old executable with the updated GPU driver (maybe the old GPU driver doesn’t support their GPU). Normally, this would work fine: the user ha...

Palomar: A registry of Lean verified mathematics

Sources: Hacker News, Lobsters

HN: 114 points, 19 comments (discussion)

OpenLogi

Sources: Hacker News

HN: 827 points, 233 comments (discussion)

2 anecdotes about Logitech software: I had a high-end webcam that flickered. There should be switch in the software to switch from 50hz to 60hz that'd fix it but it was nowhere to be found. After digging deeper I found that it was only available in English version of software. It was before macOS ha...

Bun 1.4 Rust rewrite is not looking good

Sources: Lobsters

Babies Born Under Sugar Rationing Grew Into Adults With Lower Cancer Risk

Sources: Slashdot

Scotland's AI Growth Zone gets a wee £300M power-up

Sources: The Register

Simple DIY STM32 Oscilloscope Project

Sources: Hackaday

Physicists Entangle Quantum Memories Across a Record-Breaking 420 Kilometers

Sources: Slashdot

SAP consultant job ads overshoot final offers by up to 12%, recruiter claims

Sources: The Register

Building Custom Backyard Solar Lights

Sources: Hackaday

Raspberry Pi gets jiggy with batch CM5 provisioning

Sources: The Register

Cerebras CS-4

Sources: Hacker News

HN: 306 points, 205 comments (discussion)

God I wish they'd back up all of those claims by offering a subscription of Kimi K3 and GLM 5.3, not some outdated GLM 4.7 instance that they then proceed to call a preview model and say that they'll remove it, leaving users only with GPT-OSS 120B which is nigh useless nowadays: https://support.cere...

UK taxman discovers low code doesn't mean low cost with £657M awards

Sources: The Register

HTML Can Do That

Sources: Lobsters