Hacker News

31.		Why formalize mathematics – more than catching errors (rkirov.github.io)
		199 points by birdculture 1 day ago \| hide \| 68 comments
32.		Conductor (YC S24) Is Hiring a Founding Engineer in San Francisco (ycombinator.com)
		16 hours ago \| hide
33.		Modern Perfect Hashing (sesse.net)
		106 points by bariumbitmap 18 hours ago \| hide \| 17 comments
34.		Mesh2Motion – Open-source web application to animate 3D models (mesh2motion.org)
		211 points by Splizard 1 day ago \| hide \| 35 comments
35.		The Goon Squad (harpers.org)
		26 points by ericzawo 8 hours ago \| hide \| 6 comments
36.		The fix wasn't easy, or C precedence bites (conman.org)
		24 points by ingve 11 hours ago \| hide \| 26 comments
37.		Debian Technical Committee overrides systemd change (lwn.net)
		201 points by birdculture 1 day ago \| hide \| 193 comments
38.		The Missing Semester of Your CS Education (2020) (csail.mit.edu)
		57 points by vismit2000 3 hours ago \| hide \| 23 comments
39.		Why can't transformers learn multiplication? (arxiv.org)
		142 points by PaulHoule 1 day ago \| hide \| 86 comments
40.		Mistakes I see engineers making in their code reviews (seangoedecke.com)
		26 points by zdw 9 hours ago \| hide \| 9 comments
41.		Typst 0.14 (typst.app)
		601 points by optionalsquid 1 day ago \| hide \| 158 comments
42.		Interstellar Mission to a Black Hole (centauri-dreams.org)
		137 points by JPLeRouzic 1 day ago \| hide \| 103 comments
43.		Alaska Airlines' statement on IT outage (alaskaair.com)
		136 points by fujigawa 1 day ago \| hide \| 139 comments
44.		ChunkLLM: A Lightweight Pluggable Framework for Accelerating LLMs Inference (arxiv.org)
		88 points by PaulHoule 1 day ago \| hide \| 6 comments
45.		Language and thought are not the same thing: evidence from neuroimaging (nih.gov)
		3 points by Marshferm 1 hour ago \| hide \| discuss
46.		Living Dangerously with Claude (simonwillison.net)
		221 points by FromTheArchives 2 days ago \| hide \| 103 comments
47.		VisiCalc on the Apple II (stonetools.ghost.io)
		97 points by hggh 1 day ago \| hide \| 45 comments
48.		'Attention is all you need' coauthor says he's 'sick' of transformers (venturebeat.com)
		393 points by achow 23 hours ago \| hide \| 198 comments
49.		Deepagent: A powerful desktop AI assistant (abacus.ai)
		36 points by o999 12 hours ago \| hide \| 1 comment
50.		A “knot dominated era” may have existed in the early universe: study (phys.org)
		82 points by wglb 1 day ago \| hide \| 32 comments
51.		The Great Butterfly Heist (theguardian.com)
		23 points by lermontov 13 hours ago \| hide \| 1 comment
52.		"ChatGPT said this" Is Lazy (terriblesoftware.org)
		67 points by ragswag 22 hours ago \| hide \| 86 comments
53.		That Time Ken Thompson Wrote a Backdoor into the C Compiler (micahkepe.com)
		72 points by thunderbong 6 hours ago \| hide \| 8 comments
54.		File system design philosophy (deyaa1251.github.io)
		12 points by Feynmankhateeb 4 hours ago \| hide \| 3 comments
55.		New OSM file format: 30% smaller than PBF, 5x faster to import (openstreetmap.org)
		136 points by raybb 15 hours ago \| hide \| 10 comments
56.		Date bug in Rust-based coreutils affects Ubuntu 25.10 automatic updates (lwn.net)
		261 points by blueflow 1 day ago \| hide \| 389 comments
57.		Clojure Zippers (2021) (grishaev.me)
		106 points by prydt 1 day ago \| hide \| 6 comments
58.		Asahi Linux Still Working on Apple M3 Support, M1n1 Bootloader Going Rust (phoronix.com)
		297 points by LorenDB 23 hours ago \| hide \| 315 comments
59.		Show HN: Chonky – a neural text semantic chunking goes multilingual (huggingface.co)
		5 points by hessdalenlight 1 hour ago \| hide \| discuss
60.		Roc Camera (roc.camera)
		535 points by martialg 1 day ago \| hide \| 457 comments
		More