-
209
Motorola GrapheneOS devices will be bootloader unlockable/relockable
(grapheneos.social)
-
27
Graphics Programming Resources
(develop--gpvm-website.netlify.app)
-
18
California's Digital Age Assurance Act, and FOSS
(runxiyu.org)
-
39
Weave – A language aware merge algorithm based on entities
(github.com)
-
34
TikTok will not introduce end-to-end encryption, saying it makes users less safe
(bbc.com)
-
10
Speculative Speculative Decoding (SSD)
(arxiv.org)
-
709
MacBook Pro with M5 Pro and M5 Max
(apple.com)
-
28
The largest acidic geyser has been putting on quite a show
(usgs.gov)
-
17
Mac external displays for designers and developers, part 2
(bjango.com)
-
533
Claude's Cycles [pdf]
(www-cs-faculty.stanford.edu)
-
135
Voxile: A ray-traced game made in its own engine and programming language
(elbowgreasegames.substack.com)
-
16
Mount Mayhem at Netflix: Scaling Containers on Modern CPUs
(netflixtechblog.com)
-
91
Textadept
(orbitalquark.github.io)
-
36
You can use newline characters in URLs
(lemire.me)
-
311
GPT‑5.3 Instant
(openai.com)
-
260
Intel's make-or-break 18A process node debuts for data center with 288-core Xeon
(tomshardware.com)
-
175
When AI writes the software, who verifies it?
(leodemoura.github.io)
-
105
An Interactive Intro to CRDTs (2023)
(jakelazaroff.com)
-
35
Vibe coding for PMs
(ddmckinnon.com)
-
3
A pretty looking web for a quantum mechanics tool
(github.com)
-
75
Launch HN: Cekura (YC F24) – Testing and monitoring for voice and chat AI agents
()
-
106
We've freed Cookie's Bustle from copyright hell
(gamehistory.org)
-
19
130k Lines of Formal Topology: Simple and Cheap Autoformalization for Everyone?
(arxiv.org)
-
322
Don't become an engineering manager
(newsletter.manager.dev)
-
298
Lenovo’s new ThinkPads score 10/10 for repairability
(ifixit.com)
-
79
TorchLean: Formalizing Neural Networks in Lean
(leandojo.org)
-
448
Physics Girl: Super-Kamiokande – Imaging the sun by detecting neutrinos [video]
(youtube.com)
-
13
LLMs can unmask pseudonymous users at scale with surprising accuracy
(arstechnica.com)
-
14
What’s in a name? (2014)
(sailsandcommas.com)
-
13
Time, Space, and Life as We Know It (2017)
(raganwald.com)