Hacker News

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