- 669 MacBook Pro with M5 Pro and M5 Max (apple.com)
- 183 Lenovo's New ThinkPads Score 10/10 for Repairability (ifixit.com)
- 103 Voxile: A ray-traced game made in its own engine and programming language (elbowgreasegames.substack.com)
- 470 Claude's Cycles [pdf] (www-cs-faculty.stanford.edu)
- 247 Intel's make-or-break 18A process node debuts for data center with 288-core Xeon (tomshardware.com)
- 70 Textadept (orbitalquark.github.io)
- 296 GPT‑5.3 Instant (openai.com)
- 53 Marcus AI Claims Dataset (github.com)
- 15 Claude's Cycles [pdf] (cs.stanford.edu)
- 95 An Interactive Intro to CRDTs (2023) (jakelazaroff.com)
- 9 Time, Space, and Life as We Know It (2017) (raganwald.com)
- 1146 The Xkcd thing, now interactive (editor.p5js.org)
- 143 When AI writes the software, who verifies it? (leodemoura.github.io)
- 71 Launch HN: Cekura (YC F24) – Testing and monitoring for voice and chat AI agents ()
- 31 You can't use a code editor when you're under 18 now? (mastodon.online)
- 92 We've freed Cookie's Bustle from copyright hell (gamehistory.org)
- 308 Don't become an engineering manager (newsletter.manager.dev)
- 10 What’s in a name? (2014) (sailsandcommas.com)
- 6 130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone? (arxiv.org)
- 425 Physics Girl: Super-Kamiokande – Imaging the sun by detecting neutrinos [video] (youtube.com)
- 74 TorchLean: Formalizing Neural Networks in Lean (leandojo.org)
- 100 Disable Your SSH access accidentally with scp (sny.sh)
- 213 Don't make me talk to your chatbot (raymyers.org)
- 192 Possible US Government iPhone-Hacking Toolkit in foreign spy and criminal hands (wired.com)
- 373 MacBook Air with M5 (apple.com)
- 882 I'm reluctant to verify my identity or age for any online services (neilzone.co.uk)
- 44 Talos: Hardware accelerator for deep convolutional neural networks (talos.wtf)
- 448 I'm losing the SEO battle for my own open source project (twitter.com)
- 1371 Meta’s AI smart glasses and data privacy concerns (svd.se)
- 34 Two kinds of error (evanhahn.com)