The foundations of a provably secure operating system (PSOS) (1979) [pdf]

“Beyond the limit”: Satellites and mirrors in space pose threat to the night sky

Solar rail could become common in Europe after successful trial in Switzerland

GPT-5.5 Codex reasoning-token clustering may be leading to degraded performance

Potential session/cache leakage between workspace instances or consumer accounts

Show HN: KiCad in the Browser