Hacker News

1.		"Why don't you use dependent types?" (lawrencecpaulson.github.io)
		58 points by baruchel 1 hour ago \| hide \| 13 comments
2.		Tongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch (tongyi-agent.github.io)
		100 points by meander_water 5 hours ago \| hide \| 19 comments
3.		Autodesk's John Walker Explained HP and IBM in 1991 (cringely.com)
		44 points by suioir 3 hours ago \| hide \| 28 comments
4.		URLs are state containers (alfy.blog)
		186 points by thm 5 hours ago \| hide \| 95 comments
5.		Mock – An API creation and testing utility: Examples (dhuan.github.io)
		78 points by dhuan_ 5 hours ago \| hide \| 17 comments
6.		Backpropagation is a leaky abstraction (2016) (karpathy.medium.com)
		232 points by swatson741 11 hours ago \| hide \| 96 comments
7.		Rats filmed snatching bats from air for first time (science.org)
		12 points by XzetaU8 1 hour ago \| hide \| 1 comment
8.		Notes by djb on using Fil-C (2025) (cr.yp.to)
		182 points by transpute 11 hours ago \| hide \| 87 comments
9.		Writing FreeDOS Programs in C (freedos.org)
		14 points by AlexeyBrin 3 hours ago \| hide \| 5 comments
10.		Visopsys: OS maintained by a single developer since 1997 (visopsys.org)
		411 points by kome 18 hours ago \| hide \| 101 comments
11.		Go Primitive in Java, or Go in a Box (donraab.medium.com)
		39 points by ingve 6 hours ago \| hide \| 15 comments
12.		Matched Clean Power Index (matched.energy)
		25 points by bensg 5 hours ago \| hide \| 17 comments
13.		Welcome to hell; please drive carefully (2earth.github.io)
		53 points by 2earth 7 hours ago \| hide \| 20 comments
14.		Claude Code can debug low-level cryptography (filippo.io)
		394 points by Bogdanp 22 hours ago \| hide \| 184 comments
15.		X.org Security Advisory: multiple security issues X.Org X server and Xwayland (x.org)
		20 points by birdculture 3 hours ago \| hide \| 2 comments
16.		Updated practice for review articles and position papers in ArXiv CS category (arxiv.org)
		471 points by dw64 1 day ago \| hide \| 218 comments
17.		HyperRogue – A non-Euclidean roguelike (roguetemple.com)
		91 points by stared 5 hours ago \| hide \| 26 comments
18.		How I use every Claude Code feature (sshh.io)
		374 points by sshh12 16 hours ago \| hide \| 136 comments
19.		Pomelli (blog.google)
		230 points by birriel 17 hours ago \| hide \| 101 comments
20.		New South Korean national law will turn large parking lots into solar farms (electrek.co)
		18 points by thelastgallon 1 hour ago \| hide \| 3 comments
21.		FlightAware Map Design (andywoodruff.com)
		67 points by marklit 10 hours ago \| hide \| 21 comments
22.		A man who changes the time on Big Ben (mylondon.news)
		9 points by simmerup 3 hours ago \| hide \| 9 comments
23.		LM8560, the eternal chip from the 1980 years (tycospages.com)
		88 points by userbinator 12 hours ago \| hide \| 31 comments
24.		GHC now runs in the browser (haskell.org)
		333 points by kaycebasques 1 day ago \| hide \| 115 comments
25.		Automatically Translating C to Rust (acm.org)
		91 points by FromTheArchives 16 hours ago \| hide \| 62 comments
26.		Context engineering (chrisloy.dev)
		51 points by chrisloy 8 hours ago \| hide \| 18 comments
27.		SQLite concurrency and why you should care about it (jellyfin.org)
		331 points by HunOL 1 day ago \| hide \| 151 comments
28.		Show HN: Why write code if the LLM can just do the thing? (web app experiment) (github.com/samrolken)
		385 points by samrolken 23 hours ago \| hide \| 275 comments
29.		Crossfire: High-performance lockless spsc/mpsc/mpmc channels for Rust (github.com/frostyplanet)
		82 points by 0x1997 13 hours ago \| hide \| 14 comments
30.		Beginner-friendly, unofficial documentation for Helix text editor (helix-editor.vercel.app)
		186 points by Curiositry 21 hours ago \| hide \| 53 comments
		More