At the end you use Git bisect (kevin3010.github.io)
34 points by _spaceatom 35 minutes ago | 19 comments
1"Why don't you use dependent types?" (lawrencecpaulson.github.io)
82 points by baruchel 3 hours ago | 23 comments
2Tongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch (tongyi-agent.github.io)
134 points by meander_water 6 hours ago | 29 comments
3Rats filmed snatching bats from air for first time (science.org)
37 points by XzetaU8 5 days ago | 17 comments
4Autodesk's John Walker Explained HP and IBM in 1991 (cringely.com)
62 points by suioir 4 days ago | 35 comments
5Writing FreeDOS Programs in C (freedos.org)
29 points by AlexeyBrin 4 hours ago | 7 comments
6X.org Security Advisory: multiple security issues X.Org X server and Xwayland (lists.x.org)
40 points by birdculture 5 hours ago | 16 comments
7URLs are state containers (alfy.blog)
203 points by thm 7 hours ago | 110 comments
8Mock – An API creation and testing utility: Examples (dhuan.github.io)
86 points by dhuan_ 6 hours ago | 17 comments
9Backpropagation is a leaky abstraction (2016) (karpathy.medium.com)
241 points by swatson741 13 hours ago | 108 comments
10Notes by djb on using Fil-C (2025) (cr.yp.to)
202 points by transpute 12 hours ago | 102 comments
11New South Korean national law will turn large parking lots into solar farms (electrek.co)
47 points by thelastgallon 3 hours ago | 22 comments
12Go Primitive in Java, or Go in a Box (donraab.medium.com)
46 points by ingve 8 days ago | 19 comments
13Visopsys: OS maintained by a single developer since 1997 (visopsys.org)
422 points by kome 20 hours ago | 102 comments
14A prison of my own making (jsteuernagel.de)
22 points by todsacerdoti 5 hours ago | 5 comments
15Welcome to hell; please drive carefully (2earth.github.io)
60 points by 2earth 6 days ago | 21 comments
16Matched Clean Power Index (matched.energy)
26 points by bensg 6 hours ago | 17 comments
17Claude Code can debug low-level cryptography (words.filippo.io)
405 points by Bogdanp a day ago | 189 comments
18Updated practice for review articles and position papers in ArXiv CS category (blog.arxiv.org)
472 points by dw64 a day ago | 221 comments
19How I use every Claude Code feature (blog.sshh.io)
395 points by sshh12 18 hours ago | 144 comments
20OpenBSD 7.8 Highlights (rsadowski.de)
9 points by zdw 10 days ago | 1 comment
21HyperRogue – A non-Euclidean roguelike (roguetemple.com)
101 points by stared 6 hours ago | 28 comments
22Pomelli (blog.google)
237 points by birriel 19 hours ago | 105 comments
23FlightAware Map Design (andywoodruff.com)
74 points by marklit 6 days ago | 22 comments
24A man who changes the time on Big Ben (mylondon.news)
13 points by simmerup 7 days ago | 12 comments
25Context engineering (chrisloy.dev)
63 points by chrisloy 9 hours ago | 30 comments
26LM8560, the eternal chip from the 1980 years (tycospages.com)
90 points by userbinator 14 hours ago | 34 comments
27GHC now runs in the browser (discourse.haskell.org)
336 points by kaycebasques a day ago | 116 comments
28Automatically Translating C to Rust (cacm.acm.org)
97 points by FromTheArchives 9 days ago | 65 comments
29Show HN: Why write code if the LLM can just do the thing? (web app experiment) (github.com)
398 points by samrolken a day ago | 283 comments
30