| 48 | 213 | Motorola GrapheneOS devices will be bootloader unlockable/relockable(grapheneos.social)3 hours ago |
| 3 | 28 | Graphics Programming Resources(develop--gpvm-website.netlify.app)1 hour ago |
| 1 | 21 | California's Digital Age Assurance Act, and FOSS(runxiyu.org)46 minutes ago |
| 14 | 41 | Weave – A language aware merge algorithm based on entities(github.com)2 hours ago |
| 18 | 35 | TikTok will not introduce end-to-end encryption, saying it makes users less safe(bbc.com)2 hours ago |
| 0 | 11 | Speculative Speculative Decoding (SSD)(arxiv.org)57 minutes ago |
| 711 | 711 | MacBook Pro with M5 Pro and M5 Max(apple.com)14 hours ago |
| 1 | 29 | The largest acidic geyser has been putting on quite a show(usgs.gov)2 hours ago |
| 226 | 536 | Claude's Cycles [pdf](www-cs-faculty.stanford.edu)17 hours ago |
| 9 | 17 | Mac external displays for designers and developers, part 2(bjango.com)1 hour ago |
| 32 | 135 | Voxile: A ray-traced game made in its own engine and programming language(elbowgreasegames.substack.com)7 hours ago |
| 5 | 18 | Mount Mayhem at Netflix: Scaling Containers on Modern CPUs(netflixtechblog.com)2 hours ago |
| 19 | 93 | Textadept(orbitalquark.github.io)7 hours ago |
| 18 | 36 | You can use newline characters in URLs(lemire.me)3 hours ago |
| 0 | 4 | Nobody Gets Promoted for Simplicity(terriblesoftware.org)42 minutes ago |
| 238 | 311 | GPT‑5.3 Instant(openai.com)10 hours ago |
| 216 | 260 | Intel's make-or-break 18A process node debuts for data center with 288-core Xeon(tomshardware.com)9 hours ago |
| 164 | 177 | When AI writes the software, who verifies it?(leodemoura.github.io)11 hours ago |
| 21 | 105 | An Interactive Intro to CRDTs (2023)(jakelazaroff.com)8 hours ago |
| 30 | 35 | Vibe coding for PMs(ddmckinnon.com)4 hours ago |
| 0 | 3 | A pretty looking web for a quantum mechanics tool(github.com)1 hour ago |
| 19 | 75 | Launch HN: Cekura (YC F24) – Testing and monitoring for voice and chat AI agents()13 hours ago |
| 14 | 106 | We've freed Cookie's Bustle from copyright hell(gamehistory.org)8 hours ago |
| 8 | 19 | 130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?(arxiv.org)5 hours ago |
| 236 | 324 | Don't become an engineering manager(newsletter.manager.dev)14 hours ago |
| 142 | 300 | Lenovo’s new ThinkPads score 10/10 for repairability(ifixit.com)4 hours ago |
| 0 | 16 | LLMs can unmask pseudonymous users at scale with surprising accuracy(arstechnica.com)1 hour ago |
| 11 | 79 | TorchLean: Formalizing Neural Networks in Lean(leandojo.org)12 hours ago |
| 71 | 448 | Physics Girl: Super-Kamiokande – Imaging the sun by detecting neutrinos [video](youtube.com)12 hours ago |
| 6 | 15 | What’s in a name? (2014)(sailsandcommas.com)5 hours ago |
