• 117 Motorola GrapheneOS devices will be bootloader unlockable/relockable (grapheneos.social)
  by pabs3 2 hours ago | 24 comments
• 16 Just Send the Prompt (justsendtheprompt.com)
  by medalblue 9 minutes ago | 6 comments
• 18 The largest acidic geyser has been putting on quite a show (usgs.gov)
  by 1659447091 2 hours ago | discuss
• 9 Graphics Programming Resources (develop--gpvm-website.netlify.app)
  by abetusk an hour ago | discuss
• 695 MacBook Pro with M5 Pro and M5 Max (apple.com)
  by scrlk 13 hours ago | 684 comments
• 30 You can use newline characters in URLs (lemire.me)
  by chmaynard 3 days ago | 13 comments
• 275 Lenovo's New ThinkPads Score 10/10 for Repairability (ifixit.com)
  by wrxd 4 hours ago | 114 comments
• 9 Mac external displays for designers and developers, part 2 (bjango.com)
  by fragmede 41 minutes ago | 2 comments
• 15 Weave – A language aware merge algorithm based on entities (github.com)
  by rs545837 2 hours ago | 8 comments
• 510 Claude's Cycles [pdf] (www-cs-faculty.stanford.edu)
  by fs123 16 hours ago | 221 comments
• 127 Voxile: A ray-traced game made in its own engine and programming language (elbowgreasegames.substack.com)
  by spacemarine1 6 hours ago | 29 comments
• 84 Textadept (orbitalquark.github.io)
  by giancarlostoro 3 days ago | 16 comments
• 255 Intel's make-or-break 18A process node debuts for data center with 288-core Xeon (tomshardware.com)
  by vanburen 8 hours ago | 209 comments
• 4 Mount Mayhem at Netflix: Scaling Containers on Modern CPUs (netflixtechblog.com)
  by vquemener 3 days ago | 1 comments
• 304 GPT‑5.3 Instant (openai.com)
  by meetpateltech 9 hours ago | 237 comments
• 102 An Interactive Intro to CRDTs (2023) (jakelazaroff.com)
  by evakhoury 8 hours ago | 19 comments
• 164 When AI writes the software, who verifies it? (leodemoura.github.io)
  by todsacerdoti 11 hours ago | 151 comments
• 1176 The Xkcd thing, now interactive (editor.p5js.org)
  by memalign 16 hours ago | 153 comments
• 21 My take on vibe coding for PMs (ddmckinnon.com)
  by dmckinno 4 hours ago | 7 comments
• 72 Launch HN: Cekura (YC F24) – Testing and monitoring for voice and chat AI agents ()
  by atarus 13 hours ago | 19 comments
• 100 We've freed Cookie's Bustle from copyright hell (gamehistory.org)
  by sb057 7 hours ago | 12 comments
• 319 Don't become an engineering manager (newsletter.manager.dev)
  by flail 13 hours ago | 230 comments
• 15 130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone? (arxiv.org)
  by PaulHoule 4 hours ago | 5 comments
• 10 Time, Space, and Life as We Know It (2017) (raganwald.com)
  by vismit2000 4 days ago | discuss
• 437 Physics Girl: Super-Kamiokande – Imaging the sun by detecting neutrinos [video] (youtube.com)
  by pcdavid 13 hours ago | 69 comments
• 76 TorchLean: Formalizing Neural Networks in Lean (leandojo.org)
  by matt_d 3 days ago | 10 comments
• 11 What’s in a name? (2014) (sailsandcommas.com)
  by Curiositry 3 days ago | 5 comments
• 5 Show HN: AgentBus – Centralized AI Agent-to-Agent Messaging via REST API (agentbus.org)
  by notepstein 2 hours ago | 1 comments
• 105 Disable Your SSH access accidentally with scp (sny.sh)
  by zdw 4 days ago | 52 comments
• 892 I'm reluctant to verify my identity or age for any online services (neilzone.co.uk)
  by speckx 13 hours ago | 551 comments