Hacker News

1.		"Why don't you use dependent types?" (lawrencecpaulson.github.io)
		25 points by baruchel 52 minutes ago \| hide \| discuss
2.		Tongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch (tongyi-agent.github.io)
		76 points by meander_water 4 hours ago \| hide \| 10 comments
3.		URLs are state containers (alfy.blog)
		163 points by thm 4 hours ago \| hide \| 84 comments
4.		Autodesk's John Walker Explained HP and IBM in 1991 (cringely.com)
		25 points by suioir 2 hours ago \| hide \| 18 comments
5.		Mock – An API creation and testing utility: Examples (dhuan.github.io)
		72 points by dhuan_ 4 hours ago \| hide \| 16 comments
6.		Backpropagation is a leaky abstraction (2016) (karpathy.medium.com)
		218 points by swatson741 10 hours ago \| hide \| 89 comments
7.		Notes by djb on using Fil-C (2025) (cr.yp.to)
		168 points by transpute 10 hours ago \| hide \| 77 comments
8.		Matched Clean Power Index (matched.energy)
		21 points by bensg 4 hours ago \| hide \| 12 comments
9.		Go Primitive in Java, or Go in a Box (donraab.medium.com)
		35 points by ingve 5 hours ago \| hide \| 12 comments
10.		Visopsys: OS maintained by a single developer since 1997 (visopsys.org)
		402 points by kome 17 hours ago \| hide \| 97 comments
11.		HyperRogue – A non-Euclidean roguelike (roguetemple.com)
		79 points by stared 4 hours ago \| hide \| 19 comments
12.		Claude Code can debug low-level cryptography (filippo.io)
		387 points by Bogdanp 21 hours ago \| hide \| 179 comments
13.		Welcome to hell; please drive carefully (2earth.github.io)
		47 points by 2earth 6 hours ago \| hide \| 18 comments
14.		Updated practice for review articles and position papers in ArXiv CS category (arxiv.org)
		468 points by dw64 1 day ago \| hide \| 214 comments
15.		How I use every Claude Code feature (sshh.io)
		359 points by sshh12 15 hours ago \| hide \| 124 comments
16.		Pomelli (blog.google)
		222 points by birriel 16 hours ago \| hide \| 94 comments
17.		LM8560, the eternal chip from the 1980 years (tycospages.com)
		85 points by userbinator 11 hours ago \| hide \| 28 comments
18.		A man who changes the time on Big Ben (mylondon.news)
		6 points by simmerup 2 hours ago \| hide \| 1 comment
19.		FlightAware Map Design (andywoodruff.com)
		60 points by marklit 9 hours ago \| hide \| 19 comments
20.		GHC now runs in the browser (haskell.org)
		330 points by kaycebasques 23 hours ago \| hide \| 115 comments
21.		Automatically Translating C to Rust (acm.org)
		86 points by FromTheArchives 15 hours ago \| hide \| 53 comments
22.		Context engineering (chrisloy.dev)
		44 points by chrisloy 7 hours ago \| hide \| 13 comments
23.		Show HN: Why write code if the LLM can just do the thing? (web app experiment) (github.com/samrolken)
		379 points by samrolken 22 hours ago \| hide \| 273 comments
24.		Crossfire: High-performance lockless spsc/mpsc/mpmc channels for Rust (github.com/frostyplanet)
		81 points by 0x1997 12 hours ago \| hide \| 13 comments
25.		SQLite concurrency and why you should care about it (jellyfin.org)
		328 points by HunOL 1 day ago \| hide \| 149 comments
26.		When O3 is 2x slower than O2 (cat-solstice.github.io)
		64 points by keyle 8 hours ago \| hide \| 53 comments
27.		Anonymous credentials: rate-limit bots and agents without compromising privacy (cloudflare.com)
		83 points by eleye 15 hours ago \| hide \| 45 comments
28.		Beginner-friendly, unofficial documentation for Helix text editor (helix-editor.vercel.app)
		182 points by Curiositry 20 hours ago \| hide \| 53 comments
29.		From 400 Mbps to 1.7 Gbps: A WiFi 7 Debugging Journey (tymscar.com)
		138 points by tymscar 20 hours ago \| hide \| 105 comments
30.		The Smol Training Playbook: The Secrets to Building World-Class LLMs (huggingface.co)
		236 points by kashifr 1 day ago \| hide \| 16 comments
		More