Menu
Notes · July 26, 2026
Notes for July 26, 2026
LLMs May Finally Make Formally Verified Software Practical
Adam Langley’s ImperialViolet post on LLMs proving Lean properties for a Zstd decoder piece—arguing formal verification’s cost curve may flip, so the scarce skill becomes precise specs while the type checker judges the rest.
Inspired by imperialviolet.org · Adam Langley
Burning Up in the Atmosphere Doesn't Make Space Junk Disappear
IEEE Spectrum on satellite reentry particles lingering aloft—arguing “burn up” often relocates debris into the upper atmosphere, so constellation growth needs the full environmental cost of coming home counted, not just orbit risk.
Inspired by spectrum.ieee.org · IEEE Spectrum
GrapheneOS Is Getting Closer to Having Hardware Built for Its Requirements
GrapheneOS explains locked-device protections and flags a 2027 Motorola partnership—arguing hardware designed for its security bar could make hardened phones reachable without buying a Pixel to escape Google’s software.
Inspired by discuss.grapheneos.org · GrapheneOS
Apple Finally Gave Us Our First Real Look at Neuromancer
Apple’s first full Neuromancer teaser (premiere Jan 22, 2027) lands while I’m rereading Gibson—arguing a dense cyberpunk classic needs atmosphere kept intact if the adaptation is to earn a new generation of readers.
Inspired by youtu.be · Apple TV+
Superhuman Mutants May Still Be on the Evolutionary Roadmap
Harvard Magazine covers ancient-DNA research finding selection across hundreds of human genes—arguing evolution never stopped with civilization, even if “superhuman” traits arrive on evolution’s schedule, not Marvel’s.
Inspired by harvardmagazine.com · Monique Brouillette