Monthly Highlights
13681.
13682.
Greece buys up to six KC-390s from Brazil's Embraer in €590M deal
(breakingdefense.com)
13683.
Replacing the Stadia cloud with a server on my LAN
(jkfran.com)
13684.
13685.
Formalizing Julia in Lean (and finding 400 bugs in Base)
(discourse.julialang.org)
13686.
Europe's AI future taking shape
(nebul.com)
13687.
Normalizing Struggle
(ashfurrow.com)
13688.
13689.
Ask Wikipedia in Airplane Mode
(askcommonplace.app)
13690.
Apple Watch's Disasterous Update
(aperocky.com)
13691.
The half-life of AI knowledge
(zairai.substack.com)
13692.
Show HN: Orca Style Workspaces for Herdr
(github.com)
13694.
Re.press
(re-press.org)
13695.
A decade of bugs in kill(1) with a negative pgid
(alangrow.com)
13696.
How AI could work in hospitals
(briankitano.com)
13697.
Show HN: Hand Your Markdown Tasks to Claude Code from a Kanban Board
(blog.etherpk.com)
13698.
JetKVM Mini is now available
(shop.jetkvm.com)
13699.
Met Norway Service Disruptions, Revised Terms of Service
(lists.met.no)
13700.
13701.
Show HN: SnapFire FSR: Full Stack Web Apps Served via Rust IR Engine
(snapfirers.com)
13702.
TorchLean is a Lean 4 framework for neural-networks
(github.com)
13703.
Colors of the Moon
(science.nasa.gov)
13704.
Don't change a Win32 static control's style after creation
(devblogs.microsoft.com)
13705.
Welcome to the NeXT Decade- Steve Jobs' NeXTSTEP
(authopirecompendium.com)
13706.
13707.
The Assault on Reason
(en.wikipedia.org)
13708.
13709.
Israeli ad tech firm tied to suspected Starlink tracking
(tomshardware.com)
13710.
PostgreSQL Internals [pdf]
(edu.postgrespro.com)