Hacker News

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