Lisp: Notes on its Past and Future (1980) (www-formal.stanford.edu)
19 points by birdculture an hour ago | 4 comments
1Why don't you use dependent types? (lawrencecpaulson.github.io)
117 points by baruchel 5 hours ago | 33 comments
2Tongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch (tongyi-agent.github.io)
176 points by meander_water 8 hours ago | 57 comments
3Anti-cybercrime laws are being weaponized to repress journalism (cjr.org)
94 points by giuliomagnifico 2 hours ago | 17 comments
4Using FreeBSD to make self-hosting fun again (jsteuernagel.de)
29 points by todsacerdoti 9 hours ago | 4 comments
5Linux gamers on Steam cross over the 3% mark (gamingonlinux.com)
55 points by haunter an hour ago | 22 comments
6Printed circuit board substrates derived from lignocellulose nanofibrils (nature.com)
8 points by PaulHoule 6 days ago | 1 comment
7X.org Security Advisory: multiple security issues X.Org X server and Xwayland (lists.x.org)
85 points by birdculture 7 hours ago | 38 comments
8URLs are state containers (alfy.blog)
254 points by thm 9 hours ago | 120 comments
9Autodesk's John Walker Explained HP and IBM in 1991 (2015) (cringely.com)
84 points by suioir 4 days ago | 49 comments
10Reproducing the AWS Outage Race Condition with a Model Checker (wyounas.github.io)
12 points by simplegeek an hour ago | 0 comments
11Notes by djb on using Fil-C (cr.yp.to)
240 points by transpute 14 hours ago | 131 comments
12Writing FreeDOS Programs in C (freedos.org)
50 points by AlexeyBrin 6 hours ago | 19 comments
13At the end you use Git bisect (kevin3010.github.io)
99 points by _spaceatom 3 hours ago | 93 comments
14Backpropagation is a leaky abstraction (2016) (karpathy.medium.com)
260 points by swatson741 15 hours ago | 113 comments
15Mock – An API creation and testing utility: Examples (dhuan.github.io)
99 points by dhuan_ 8 hours ago | 17 comments
16OpenBSD 7.8 Highlights (rsadowski.de)
40 points by zdw 10 days ago | 2 comments
17New South Korean national law will turn large parking lots into solar farms (electrek.co)
103 points by thelastgallon 5 hours ago | 83 comments
18Is Your Bluetooth Chip Leaking Secrets via RF Signals? (semanticscholar.org)
10 points by transpute 2 hours ago | 0 comments
19Rats filmed snatching bats from air (science.org)
73 points by XzetaU8 5 days ago | 44 comments
20Go Primitive in Java, or Go in a Box (donraab.medium.com)
58 points by ingve 8 days ago | 23 comments
21Visopsys: OS maintained by a single developer since 1997 (visopsys.org)
430 points by kome a day ago | 108 comments
22Welcome to hell; please drive carefully (2earth.github.io)
70 points by 2earth 6 days ago | 23 comments
23Claude Code can debug low-level cryptography (words.filippo.io)
417 points by Bogdanp a day ago | 192 comments
24When O3 is 2x slower than O2 (cat-solstice.github.io)
83 points by keyle 5 days ago | 79 comments
25A man who changes the time on Big Ben (mylondon.news)
25 points by simmerup 7 days ago | 18 comments
26Updated practice for review articles and position papers in ArXiv CS category (blog.arxiv.org)
479 points by dw64 a day ago | 226 comments
27How I use every Claude Code feature (blog.sshh.io)
424 points by sshh12 20 hours ago | 152 comments
28HyperRogue – A non-Euclidean roguelike (roguetemple.com)
119 points by stared 8 hours ago | 36 comments
29Show HN: Anki-LLM – Bulk process and generate Anki flashcards with LLMs (github.com)
20 points by rane 6 hours ago | 5 comments
30