news
The Case Against Formal Verification, 50 Years Later
94 pointsposted a day ago
by ghuntleyWhatCable: Know what your USB-C cable can do
110 pointsposted 3 days ago
by mikecarltonSelf-hosted web push Cloudflare Worker, works on iOS
76 pointsposted 3 days ago
by saiday22 Years on Firefox, and Today I'm All In
10 pointsposted a day ago
by riettaHyperOSUnfucker is an Android app that unlocks hidden system performance
20 pointsposted 2 days ago
by BluesteinShow HN: A website for exploring historical photographs of my city
35 pointsposted 5 days ago
by uneeknameHow Samsung's Privacy Screen Works
9 pointsposted 2 days ago
by gnabgibBig Pickle on SWE Atlas – Codebase QnA
9 pointsposted 2 days ago
by phillipchaffeeLicense plate reader searches should require a warrant
639 pointsposted 5 days ago
by apwheelez486: A 486-Class Pipelined FPGA CPU with Integrated Floating-Point
20 pointsposted 3 days ago
by matt_dShow HN: I shrank DeepSeek V4 Flash to 57GB and it wrote a compiler on my Mac
20 pointsposted a day ago
by hacklasWhere did the old web go? We followed 657,607 links to find out
228 pointsposted 4 days ago
by tdxPrincipia Mathematica is modern and insightful
279 pointsposted 5 days ago
by matt_dJDK 27 G1/Parallel/Serial GC Changes
68 pointsposted 4 days ago
by 0x54MUR41Wellington second-hand bookstore's mysterious orders
12 pointsposted a day ago
by beanarooYouTube Dumps Cache Between Ads, Quality Toggling and Wastes Cellular Bandwidth
11 pointsposted 2 days ago
by initramfsCoin-sized device can hack a Boeing 737
124 pointsposted 4 days ago
by _tk_Show HN: Lumabri – Run Moe Models on a P2P Swarm with Colibri
48 pointsposted 4 days ago
by vfornoTim King, AmigaDOS developer, has died
303 pointsposted 5 days ago
by doenerEvery exterior shot in The Taking of Pelham 123
44 pointsposted 3 days ago
by evakhouryCould a computer scientist build a brain?
86 pointsposted 2 days ago
by ogundipeoreLearn electronics by making your own circuit simulator in Python
8 pointsposted 2 days ago
by pkoirdDeutsche Bank becomes first foreign yuan clearing bank in Europe
412 pointsposted 4 days ago
by MarkoffGoAccess – Open-source real-time log analyzer and interactive viewer
70 pointsposted 4 days ago
by gregsadetsky