-
Motorola GrapheneOS devices will be bootloader unlockable/relockable
-
MacBook Pro with M5 Pro and M5 Max
-
The largest acidic geyser has been putting on quite a show
-
You can use newline characters in URLs
-
Lenovo's New ThinkPads Score 10/10 for Repairability
-
Just Send the Prompt
-
Weave – A language aware merge algorithm based on entities
-
Graphics Programming Resources
-
Claude's Cycles [pdf]
-
Mac external displays for designers and developers, part 2
-
Voxile: A ray-traced game made in its own engine and programming language
-
Textadept
-
Intel's make-or-break 18A process node debuts for data center with 288-core Xeon
-
Mount Mayhem at Netflix: Scaling Containers on Modern CPUs
-
GPT‑5.3 Instant
-
An Interactive Intro to CRDTs (2023)
-
When AI writes the software, who verifies it?
-
The Xkcd thing, now interactive
-
My take on vibe coding for PMs
-
Launch HN: Cekura (YC F24) – Testing and monitoring for voice and chat AI agents
-
We've freed Cookie's Bustle from copyright hell
-
Don't become an engineering manager
-
Time, Space, and Life as We Know It (2017)
-
130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?
-
What’s in a name? (2014)
-
Physics Girl: Super-Kamiokande – Imaging the sun by detecting neutrinos [video]
-
TorchLean: Formalizing Neural Networks in Lean
-
Show HN: AgentBus – Centralized AI Agent-to-Agent Messaging via REST API
-
Disable Your SSH access accidentally with scp
-
I'm reluctant to verify my identity or age for any online services