Hacker News

1.		Typst: A Possible LaTeX Replacement (lwn.net)
		18 points by pykello 26 minutes ago \| hide \| discuss
2.		Litex: The First Formal Language Learnable in 1-2 Hours (github.com/litexlang)
		48 points by litexlang 3 hours ago \| hide \| 16 comments
3.		SimpleFold: Folding proteins is simpler than you think (github.com/apple)
		375 points by kevlened 13 hours ago \| hide \| 115 comments
4.		Open Social (overreacted.io)
		620 points by knowtheory 15 hours ago \| hide \| 263 comments
5.		New math revives geometry's oldest problems (quantamagazine.org)
		100 points by pykello 9 hours ago \| hide \| 8 comments
6.		Moondream 3 Preview: Frontier-level reasoning at a blazing speed (moondream.ai)
		160 points by kristianp 9 hours ago \| hide \| 18 comments
7.		Meshtastic 64 – A meshtastic radio for the Commodore 64 (64jim64.blogspot.com)
		10 points by geerlingguy 2 hours ago \| hide \| discuss
8.		The Beauty of Programming (2001) (brynmawr.edu)
		160 points by andsoitis 11 hours ago \| hide \| 29 comments
9.		The Obsessively Complete Infocom Catalog (eblong.com)
		80 points by exvi 8 hours ago \| hide \| 19 comments
10.		CT scans of 1k lithium-ion batteries show quality risks in inexpensive cells (lumafield.com)
		185 points by jonbruner 16 hours ago \| hide \| 57 comments
11.		If you are harassed by lasers (laserpointersafety.com)
		160 points by 1970-01-01 12 hours ago \| hide \| 156 comments
12.		GPT-OSS Reinforcement Learning (unsloth.ai)
		44 points by vinhnx 5 hours ago \| hide \| 10 comments
13.		Thoughts on Mechanical Keyboards and the ZSA Moonlander (masteringemacs.org)
		102 points by TheFreim 9 hours ago \| hide \| 139 comments
14.		US cities pay too much for buses (bloomberg.com)
		256 points by pavel_lishin 18 hours ago \| hide \| 439 comments
15.		The Amazon Kindle War Against Piracy (goodereader.com)
		24 points by kozmonaut 1 hour ago \| hide \| 8 comments
16.		Auth.js is now part of Better Auth (better-auth.com)
		114 points by ShaggyHotDog 13 hours ago \| hide \| 42 comments
17.		How insurance risk is transformed into investable assets (riskvest.io)
		93 points by rrjjww 11 hours ago \| hide \| 23 comments
18.		Traefik's 10-year anniversary (traefik.io)
		204 points by beckford 19 hours ago \| hide \| 115 comments
19.		Suno Studio, a Generative AI DAW (suno.com)
		139 points by debrisapron 14 hours ago \| hide \| 158 comments
20.		Modular Manifolds (thinkingmachines.ai)
		141 points by babelfish 14 hours ago \| hide \| 51 comments
21.		Oral Microbes Linked to 3-Fold Increased Risk of Pancreatic Cancer (nyulangone.org)
		96 points by bmau5 13 hours ago \| hide \| 35 comments
22.		Why use mailing lists? (ietf.org)
		185 points by cnst 12 hours ago \| hide \| 116 comments
23.		AI Investment Is Starting to Look Like a Slush Fund (nymag.com)
		7 points by thoughtpeddler 1 hour ago \| hide \| discuss
24.		Where to find PCB dataset for autorouting?
		11 points by technivis 5 hours ago \| hide \| 9 comments
25.		RNA structure prediction is hard. How much does that matter? (owlposting.com)
		47 points by abhishaike 11 hours ago \| hide \| 7 comments
26.		Evanston orders Flock to remove reinstalled cameras (evanstonroundtable.com)
		391 points by ptk 1 day ago \| hide \| 242 comments
27.		Britain to introduce compulsory digital ID for workers (reuters.com)
		418 points by alex77456 1 day ago \| hide \| 670 comments
28.		Pairing with Claude Code to rebuild my startup's website (nseldeib.com)
		146 points by nadis 21 hours ago \| hide \| 102 comments
29.		Evolving the Multi-User Spaceport (spacex.com)
		129 points by thsName 16 hours ago \| hide \| 54 comments
30.		Translating a Fortran F-16 Simulator to Unity3D (vazgriz.com)
		251 points by hggh 1 day ago \| hide \| 122 comments
		More