-
281
Motorola GrapheneOS devices will be bootloader unlockable/relockable
(grapheneos.social)
-
56
California's Digital Age Assurance Act, and FOSS
(runxiyu.org)
-
45
Nobody Gets Promoted for Simplicity
(terriblesoftware.org)
-
80
TikTok will not introduce end-to-end encryption, saying it makes users less safe
(bbc.com)
-
39
Graphics Programming Resources
(develop--gpvm-website.netlify.app)
-
22
Speculative Speculative Decoding (SSD)
(arxiv.org)
-
64
Weave – A language aware merge algorithm based on entities
(github.com)
-
722
MacBook Pro with M5 Pro and M5 Max
(apple.com)
-
556
Claude's Cycles [pdf]
(www-cs-faculty.stanford.edu)
-
7
Welcoming Elizabeth Barron as the New Executive Director of the PHP Foundation
(thephp.foundation)
-
143
Voxile: A ray-traced game made in its own engine and programming language
(elbowgreasegames.substack.com)
-
25
Mount Mayhem at Netflix: Scaling Containers on Modern CPUs
(netflixtechblog.com)
-
35
The largest acidic geyser has been putting on quite a show
(usgs.gov)
-
97
Textadept
(orbitalquark.github.io)
-
41
You can use newline characters in URLs
(lemire.me)
-
189
When AI writes the software, who verifies it?
(leodemoura.github.io)
-
6
A pretty looking web for a quantum mechanics tool
(github.com)
-
8
Number Research Inc
(numberresearch.xyz)
-
317
GPT‑5.3 Instant
(openai.com)
-
266
Intel's make-or-break 18A process node debuts for data center with 288-core Xeon
(tomshardware.com)
-
113
An Interactive Intro to CRDTs (2023)
(jakelazaroff.com)
-
28
Mac external displays for designers and developers, part 2
(bjango.com)
-
40
Vibe coding for PMs
(ddmckinnon.com)
-
76
Launch HN: Cekura (YC F24) – Testing and monitoring for voice and chat AI agents
()
-
30
LLMs can unmask pseudonymous users at scale with surprising accuracy
(arstechnica.com)
-
108
We've freed Cookie's Bustle from copyright hell
(gamehistory.org)
-
329
Don't become an engineering manager
(newsletter.manager.dev)
-
20
130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?
(arxiv.org)
-
456
Physics Girl: Super-Kamiokande – Imaging the sun by detecting neutrinos [video]
(youtube.com)
-
80
TorchLean: Formalizing Neural Networks in Lean
(leandojo.org)