Lisp: Notes on its Past and Future (1980) (www-formal.stanford.edu)
41 points by birdculture 2 hours ago | 20 comments
1'This is the big one' – tech firms bet on electrifying rail (bbc.com)
28 points by mikhael an hour ago | 14 comments
2Using FreeBSD to make self-hosting fun again (jsteuernagel.de)
82 points by todsacerdoti 10 hours ago | 9 comments
3Reproducing the AWS Outage Race Condition with a Model Checker (wyounas.github.io)
48 points by simplegeek 2 hours ago | 3 comments
4Linux gamers on Steam cross over the 3% mark (gamingonlinux.com)
207 points by haunter 2 hours ago | 114 comments
5Why don't you use dependent types? (lawrencecpaulson.github.io)
131 points by baruchel 6 hours ago | 41 comments
6Tongyi DeepResearch – open-source 30B MoE Model that rivals OpenAI DeepResearch (tongyi-agent.github.io)
190 points by meander_water 9 hours ago | 68 comments
7Anti-cybercrime laws are being weaponized to repress journalism (cjr.org)
129 points by giuliomagnifico 3 hours ago | 32 comments
8Is Your Bluetooth Chip Leaking Secrets via RF Signals? (semanticscholar.org)
29 points by transpute 3 hours ago | 5 comments
9Printed circuit board substrates derived from lignocellulose nanofibrils (nature.com)
16 points by PaulHoule 6 days ago | 7 comments
10X.org Security Advisory: multiple security issues X.Org X server and Xwayland (lists.x.org)
97 points by birdculture 8 hours ago | 47 comments
11URLs are state containers (alfy.blog)
272 points by thm 10 hours ago | 127 comments
12Solar-powered QR reading postboxes being rolled out across UK (bbc.co.uk)
5 points by thinkingemote 4 days ago | 2 comments
13Autodesk's John Walker Explained HP and IBM in 1991 (2015) (cringely.com)
91 points by suioir 4 days ago | 52 comments
14Notes by djb on using Fil-C (cr.yp.to)
252 points by transpute 15 hours ago | 142 comments
15Writing FreeDOS Programs in C (freedos.org)
65 points by AlexeyBrin 7 hours ago | 23 comments
16At the end you use Git bisect (kevin3010.github.io)
114 points by _spaceatom 4 hours ago | 98 comments
17Backpropagation is a leaky abstraction (2016) (karpathy.medium.com)
267 points by swatson741 16 hours ago | 115 comments
18Mock – An API creation and testing utility: Examples (dhuan.github.io)
102 points by dhuan_ 9 hours ago | 17 comments
19Rats filmed snatching bats from air (science.org)
92 points by XzetaU8 6 days ago | 51 comments
20New South Korean national law will turn large parking lots into solar farms (electrek.co)
119 points by thelastgallon 6 hours ago | 101 comments
21React-Native-Godot (github.com)
11 points by Noghartt 2 hours ago | 1 comment
22MTurk is 20 years old today – what did you create with it?
13 points by csmoak an hour ago | 3 comments
23OpenBSD 7.8 Highlights (rsadowski.de)
55 points by zdw 10 days ago | 6 comments
24Visopsys: OS maintained by a single developer since 1997 (visopsys.org)
439 points by kome a day ago | 114 comments
25Go Primitive in Java, or Go in a Box (donraab.medium.com)
61 points by ingve 8 days ago | 29 comments
26Claude Code can debug low-level cryptography (words.filippo.io)
424 points by Bogdanp a day ago | 194 comments
27Welcome to hell; please drive carefully (2earth.github.io)
75 points by 2earth 6 days ago | 24 comments
28When O3 is 2x slower than O2 (cat-solstice.github.io)
90 points by keyle 5 days ago | 83 comments
29Updated practice for review articles and position papers in ArXiv CS category (blog.arxiv.org)
482 points by dw64 a day ago | 228 comments
30