| 31 | 143 | Motorola GrapheneOS devices will be bootloader unlockable/relockable(grapheneos.social)2 hours ago |
| 1 | 16 | Graphics Programming Resources(develop--gpvm-website.netlify.app)1 hour ago |
| 1 | 22 | The largest acidic geyser has been putting on quite a show(usgs.gov)2 hours ago |
| 691 | 698 | MacBook Pro with M5 Pro and M5 Max(apple.com)13 hours ago |
| 16 | 33 | You can use newline characters in URLs(lemire.me)2 hours ago |
| 5 | 10 | Mac external displays for designers and developers, part 2(bjango.com)56 minutes ago |
| 222 | 515 | Claude's Cycles [pdf](www-cs-faculty.stanford.edu)16 hours ago |
| 29 | 128 | Voxile: A ray-traced game made in its own engine and programming language(elbowgreasegames.substack.com)6 hours ago |
| 9 | 21 | Weave – A language aware merge algorithm based on entities(github.com)1 hour ago |
| 16 | 86 | Textadept(orbitalquark.github.io)6 hours ago |
| 211 | 256 | Intel's make-or-break 18A process node debuts for data center with 288-core Xeon(tomshardware.com)8 hours ago |
| 235 | 306 | GPT‑5.3 Instant(openai.com)9 hours ago |
| 20 | 102 | An Interactive Intro to CRDTs (2023)(jakelazaroff.com)8 hours ago |
| 153 | 167 | When AI writes the software, who verifies it?(leodemoura.github.io)11 hours ago |
| 4 | 6 | Mount Mayhem at Netflix: Scaling Containers on Modern CPUs(netflixtechblog.com)1 hour ago |
| 153 | 1187 | The Xkcd thing, now interactive(editor.p5js.org)16 hours ago |
| 1 | 7 | TikTok will not introduce end-to-end encryption, saying it makes users less safe(bbc.com)2 hours ago |
| 19 | 72 | Launch HN: Cekura (YC F24) – Testing and monitoring for voice and chat AI agents()13 hours ago |
| 18 | 26 | Vibe coding for PMs(ddmckinnon.com)4 hours ago |
| 126 | 285 | Lenovo’s new ThinkPads score 10/10 for repairability(ifixit.com)4 hours ago |
| 13 | 100 | We've freed Cookie's Bustle from copyright hell(gamehistory.org)7 hours ago |
| 6 | 16 | 130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?(arxiv.org)4 hours ago |
| 233 | 321 | Don't become an engineering manager(newsletter.manager.dev)13 hours ago |
| 10 | 78 | TorchLean: Formalizing Neural Networks in Lean(leandojo.org)11 hours ago |
| 69 | 440 | Physics Girl: Super-Kamiokande – Imaging the sun by detecting neutrinos [video](youtube.com)11 hours ago |
| 0 | 11 | Time, Space, and Life as We Know It (2017)(raganwald.com)3 hours ago |
| 5 | 11 | What’s in a name? (2014)(sailsandcommas.com)4 hours ago |
| 52 | 106 | Disable Your SSH access accidentally with scp(sny.sh)12 hours ago |
| 1 | 5 | Show HN: AgentBus – Centralized AI Agent-to-Agent Messaging via REST API(agentbus.org)1 hour ago |
| 552 | 895 | I'm reluctant to verify my identity or age for any online services(neilzone.co.uk)13 hours ago |
