Hacker News

1.		Typst: A Possible LaTeX Replacement (lwn.net)
		96 points by pykello 1 hour ago \| hide \| 36 comments
2.		SimpleFold: Folding proteins is simpler than you think (github.com/apple)
		385 points by kevlened 14 hours ago \| hide \| 116 comments
3.		Litex: The First Formal Language Learnable in 1-2 Hours (github.com/litexlang)
		53 points by litexlang 4 hours ago \| hide \| 25 comments
4.		Open Social (overreacted.io)
		652 points by knowtheory 16 hours ago \| hide \| 272 comments
5.		Meshtastic 64 – A meshtastic radio for the Commodore 64 (64jim64.blogspot.com)
		19 points by geerlingguy 3 hours ago \| hide \| discuss
6.		New math revives geometry's oldest problems (quantamagazine.org)
		101 points by pykello 10 hours ago \| hide \| 8 comments
7.		Moondream 3 Preview: Frontier-level reasoning at a blazing speed (moondream.ai)
		167 points by kristianp 10 hours ago \| hide \| 19 comments
8.		The Beauty of Programming (2001) (brynmawr.edu)
		165 points by andsoitis 12 hours ago \| hide \| 31 comments
9.		The Amazon Kindle War Against Piracy (goodereader.com)
		51 points by kozmonaut 2 hours ago \| hide \| 39 comments
10.		CT scans of 1k lithium-ion batteries show quality risks in inexpensive cells (lumafield.com)
		193 points by jonbruner 17 hours ago \| hide \| 60 comments
11.		The Obsessively Complete Infocom Catalog (eblong.com)
		85 points by exvi 9 hours ago \| hide \| 20 comments
12.		If you are harassed by lasers (laserpointersafety.com)
		168 points by 1970-01-01 13 hours ago \| hide \| 164 comments
13.		Thoughts on Mechanical Keyboards and the ZSA Moonlander (masteringemacs.org)
		110 points by TheFreim 10 hours ago \| hide \| 151 comments
14.		US cities pay too much for buses (bloomberg.com)
		260 points by pavel_lishin 19 hours ago \| hide \| 456 comments
15.		Auth.js is now part of Better Auth (better-auth.com)
		123 points by ShaggyHotDog 14 hours ago \| hide \| 45 comments
16.		GPT-OSS Reinforcement Learning (unsloth.ai)
		49 points by vinhnx 6 hours ago \| hide \| 13 comments
17.		How insurance risk is transformed into investable assets (riskvest.io)
		94 points by rrjjww 12 hours ago \| hide \| 25 comments
18.		Traefik's 10-year anniversary (traefik.io)
		206 points by beckford 20 hours ago \| hide \| 116 comments
19.		Suno Studio, a Generative AI DAW (suno.com)
		145 points by debrisapron 15 hours ago \| hide \| 161 comments
20.		Property-Based Testing of OCaml 5's Runtime System [pdf] (janmidtgaard.dk)
		4 points by todsacerdoti 2 hours ago \| hide \| discuss
21.		Modular Manifolds (thinkingmachines.ai)
		141 points by babelfish 15 hours ago \| hide \| 51 comments
22.		Oral Microbes Linked to 3-Fold Increased Risk of Pancreatic Cancer (nyulangone.org)
		99 points by bmau5 14 hours ago \| hide \| 36 comments
23.		AI Investment Is Starting to Look Like a Slush Fund (nymag.com)
		24 points by thoughtpeddler 2 hours ago \| hide \| 9 comments
24.		Why use mailing lists? (ietf.org)
		191 points by cnst 13 hours ago \| hide \| 120 comments
25.		Requiem for a Hash Function, or: How I learned to love package maphash (matttproud.com)
		3 points by zdw 2 hours ago \| hide \| discuss
26.		RNA structure prediction is hard. How much does that matter? (owlposting.com)
		49 points by abhishaike 12 hours ago \| hide \| 7 comments
27.		Where to find PCB dataset for autorouting?
		11 points by technivis 6 hours ago \| hide \| 9 comments
28.		Britain to introduce compulsory digital ID for workers (reuters.com)
		428 points by alex77456 1 day ago \| hide \| 686 comments
29.		Pairing with Claude Code to rebuild my startup's website (nseldeib.com)
		150 points by nadis 22 hours ago \| hide \| 103 comments
30.		Ultra efficient vector extension for SQLite (marcobambini.substack.com)
		125 points by marcobambini 19 hours ago \| hide \| 45 comments
		More