"Why don't you use dependent types?" (lawrencecpaulson.github.io)
47 points by baruchel 2 hours ago | 8 comments
1Tongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch (tongyi-agent.github.io)
92 points by meander_water 5 hours ago | 16 comments
2Autodesk's John Walker Explained HP and IBM in 1991 (cringely.com)
37 points by suioir 4 days ago | 25 comments
3URLs are state containers (alfy.blog)
178 points by thm 5 hours ago | 90 comments
4Mock – An API creation and testing utility: Examples (dhuan.github.io)
75 points by dhuan_ 5 hours ago | 17 comments
5Backpropagation is a leaky abstraction (2016) (karpathy.medium.com)
229 points by swatson741 11 hours ago | 93 comments
6Notes by djb on using Fil-C (2025) (cr.yp.to)
176 points by transpute 11 hours ago | 85 comments
7Matched Clean Power Index (matched.energy)
22 points by bensg 5 hours ago | 16 comments
8Go Primitive in Java, or Go in a Box (donraab.medium.com)
38 points by ingve 8 days ago | 15 comments
9Visopsys: OS maintained by a single developer since 1997 (visopsys.org)
409 points by kome 19 hours ago | 100 comments
10Palantir Thinks College Might Be a Waste. So It's Hiring High-School Grads (wsj.com)
11 points by adwmayer 17 minutes ago | 10 comments
11Writing FreeDOS Programs in C (freedos.org)
11 points by AlexeyBrin 3 hours ago | 3 comments
12X.org Security Advisory: multiple security issues X.Org X server and Xwayland (lists.x.org)
17 points by birdculture 4 hours ago | 2 comments
13Welcome to hell; please drive carefully (2earth.github.io)
53 points by 2earth 6 days ago | 20 comments
14HyperRogue – A non-Euclidean roguelike (roguetemple.com)
87 points by stared 5 hours ago | 23 comments
15Claude Code can debug low-level cryptography (words.filippo.io)
391 points by Bogdanp a day ago | 183 comments
16Updated practice for review articles and position papers in ArXiv CS category (blog.arxiv.org)
471 points by dw64 a day ago | 218 comments
17How I use every Claude Code feature (blog.sshh.io)
371 points by sshh12 16 hours ago | 132 comments
18A man who changes the time on Big Ben (mylondon.news)
8 points by simmerup 7 days ago | 5 comments
19Pomelli (blog.google)
227 points by birriel 18 hours ago | 99 comments
20LM8560, the eternal chip from the 1980 years (tycospages.com)
87 points by userbinator 12 hours ago | 31 comments
21FlightAware Map Design (andywoodruff.com)
63 points by marklit 6 days ago | 20 comments
22GHC now runs in the browser (discourse.haskell.org)
332 points by kaycebasques a day ago | 115 comments
23Automatically Translating C to Rust (cacm.acm.org)
89 points by FromTheArchives 9 days ago | 58 comments
24Show HN: Why write code if the LLM can just do the thing? (web app experiment) (github.com)
384 points by samrolken a day ago | 275 comments
25SQLite concurrency and why you should care about it (jellyfin.org)
330 points by HunOL a day ago | 150 comments
26Context engineering (chrisloy.dev)
49 points by chrisloy 8 hours ago | 15 comments
27Crossfire: High-performance lockless spsc/mpsc/mpmc channels for Rust (github.com)
82 points by 0x1997 14 hours ago | 14 comments
28When O3 is 2x slower than O2 (cat-solstice.github.io)
68 points by keyle 5 days ago | 59 comments
29Anonymous credentials: rate-limit bots and agents without compromising privacy (blog.cloudflare.com)
87 points by eleye 16 hours ago | 47 comments
30