- 336 Motorola GrapheneOS devices will be bootloader unlockable/relockable (grapheneos.social)
- 97 Nobody Gets Promoted for Simplicity (terriblesoftware.org)
- 98 TikTok will not introduce end-to-end encryption, saying it makes users less safe (bbc.com)
- 47 Graphics Programming Resources (develop--gpvm-website.netlify.app)
- 75 Weave – A language aware merge algorithm based on entities (github.com)
- 28 Speculative Speculative Decoding (SSD) (arxiv.org)
- 735 MacBook Pro with M5 Pro and M5 Max (apple.com)
- 71 California's Digital Age Assurance Act, and FOSS (runxiyu.org)
- 12 Welcoming Elizabeth Barron as the New Executive Director of the PHP Foundation (thephp.foundation)
- 567 Claude's Cycles [pdf] (www-cs-faculty.stanford.edu)
- 157 Voxile: A ray-traced game made in its own engine and programming language (elbowgreasegames.substack.com)
- 39 The largest acidic geyser has been putting on quite a show (usgs.gov)
- 102 Textadept (orbitalquark.github.io)
- 31 Mount Mayhem at Netflix: Scaling Containers on Modern CPUs (netflixtechblog.com)
- 44 You can use newline characters in URLs (lemire.me)
- 42 My spicy take on vibe coding for PMs (ddmckinnon.com)
- 192 When AI writes the software, who verifies it? (leodemoura.github.io)
- 117 An Interactive Intro to CRDTs (2023) (jakelazaroff.com)
- 270 Intel's make-or-break 18A process node debuts for data center with 288-core Xeon (tomshardware.com)
- 319 GPT‑5.3 Instant (openai.com)
- 31 Mac external displays for designers and developers, part 2 (2022) (bjango.com)
- 8 A pretty looking web for a quantum mechanics tool (github.com)
- 18 Number Research Inc (numberresearch.xyz)
- 77 Launch HN: Cekura (YC F24) – Testing and monitoring for voice and chat AI agents ()
- 42 LLMs can unmask pseudonymous users at scale with surprising accuracy (arstechnica.com)
- 336 Don't become an engineering manager (newsletter.manager.dev)
- 21 130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone? (arxiv.org)
- 461 Physics Girl: Super-Kamiokande – Imaging the sun by detecting neutrinos [video] (youtube.com)
- 111 We've freed Cookie's Bustle from copyright hell (gamehistory.org)
- 83 TorchLean: Formalizing Neural Networks in Lean (leandojo.org)