news
A Contract-Grade Verifier for LLM-Generated GPU Kernels
46 pointsposted 3 days ago
by Jimmc414Ask HN: GitHub employees what's going on? Why?
98 pointsposted 7 hours ago
by shartsWhatCable: 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 saidayVaultwarden Sequence Diagrams
5 pointsposted a day ago
by billyp-rvaHyperOSUnfucker 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 uneeknameLicense plate reader searches should require a warrant
639 pointsposted 5 days ago
by apwheeleLibreOffice Conference 2026 Schedule
19 pointsposted a day ago
by mmarianHow Samsung's Privacy Screen Works
9 pointsposted 2 days ago
by gnabgib22 Years on Firefox, and Today I'm All In
10 pointsposted a day ago
by riettaOctopuses could help us conceptualize a different form of intelligence
12 pointsposted 20 hours ago
by colinprinceThe Case Against Formal Verification, 50 Years Later
94 pointsposted a day ago
by ghuntleyBig Pickle on SWE Atlas – Codebase QnA
9 pointsposted 2 days ago
by phillipchaffeez486: A 486-Class Pipelined FPGA CPU with Integrated Floating-Point
20 pointsposted 3 days ago
by matt_dWhere 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 0x54MUR41Tim King, AmigaDOS developer, has died
303 pointsposted 5 days ago
by doenerShow HN: Lumabri – Run Moe Models on a P2P Swarm with Colibri
48 pointsposted 4 days ago
by vfornoDeutsche Bank becomes first foreign yuan clearing bank in Europe
412 pointsposted 4 days ago
by MarkoffEvery exterior shot in The Taking of Pelham 123
44 pointsposted 3 days ago
by evakhouryI Let My Students Watch Me Struggle with a Masterpiece. It Changed Everything
4 pointsposted 6 hours ago
by sonabinu