Hacker News

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