-
46
A Contract-Grade Verifier for LLM-Generated GPU Kernels
(arxiv.org)
-
4
I Let My Students Watch Me Struggle with a Masterpiece. It Changed Everything
(nytimes.com)
-
101
How art invented humanity
(aeon.co)
-
35
Humazon
(hughhowey.com)
-
5
Vaultwarden Sequence Diagrams
(app.ilograph.com)
-
110
WhatCable: Know what your USB-C cable can do
(whatcable.uk)
-
76
Self-hosted web push Cloudflare Worker, works on iOS
(kukuroo.cc)
-
20
HyperOSUnfucker is an Android app that unlocks hidden system performance
(github.com)
-
19
LibreOffice Conference 2026 Schedule
(events.documentfoundation.org)
-
12
Octopuses could help us conceptualize a different form of intelligence
(cbc.ca)
-
35
Show HN: A website for exploring historical photographs of my city
(yesterdays.maprva.org)
-
94
The Case Against Formal Verification, 50 Years Later
(ivan-gavran.github.io)
-
10
22 Years on Firefox, and Today I'm All In
(rietta.com)
-
68
Tocharian Online
(lrc.la.utexas.edu)
-
9
How Samsung's Privacy Screen Works
(ifixit.com)
-
50
David Sacks on X: Some thoughts on Dario's post
(twitter.com)
-
639
License plate reader searches should require a warrant
(andrewpwheeler.com)
-
9
Big Pickle on SWE Atlas – Codebase QnA
(github.com)
-
133
Pixel 11 Pro Fold
(blog.google)
-
212
Bluesky Protocol Services
(atproto.com)
-
20
z486: A 486-Class Pipelined FPGA CPU with Integrated Floating-Point
(nand2mario.github.io)
-
228
Where did the old web go? We followed 657,607 links to find out
(0.mk)
-
279
Principia Mathematica is modern and insightful
(okmij.org)
-
209
How Compaction Works in Pi
(earendil.com)
-
68
JDK 27 G1/Parallel/Serial GC Changes
(tschatzl.github.io)
-
303
Tim King, AmigaDOS developer, has died
(amiga-news.de)
-
48
Show HN: Lumabri – Run Moe Models on a P2P Swarm with Colibri
(github.com)
-
124
Coin-sized device can hack a Boeing 737
(wired.com)
-
11
YouTube Dumps Cache Between Ads, Quality Toggling and Wastes Cellular Bandwidth
(inavoyage.blogspot.com)
-
44
Every exterior shot in The Taking of Pelham 123
(iafisher.com)