Hacker News

1.		Twake Drive – An open-source alternative to Google Drive (github.com/linagora)
		175 points by javatuts 7 hours ago \| hide \| 121 comments
2.		Why formalize mathematics – more than catching errors (rkirov.github.io)
		76 points by birdculture 5 hours ago \| hide \| 24 comments
3.		Typst 0.14 (typst.app)
		367 points by optionalsquid 5 hours ago \| hide \| 95 comments
4.		Mesh2Motion – Open-source web application to animate 3D models (mesh2motion.org)
		117 points by Splizard 6 hours ago \| hide \| 28 comments
5.		Asahi Linux Still Working on Apple M3 Support, M1n1 Bootloader Going Rust (phoronix.com)
		168 points by LorenDB 3 hours ago \| hide \| 129 comments
6.		Mosquitoes discovered in Iceland for the first time (cnn.com)
		57 points by breve 5 hours ago \| hide \| 18 comments
7.		A “knot dominated era” may have existed in the early universe: study (phys.org)
		45 points by wglb 4 hours ago \| hide \| 8 comments
8.		Roc Camera (roc.camera)
		452 points by martialg 15 hours ago \| hide \| 398 comments
9.		A sharded DuckDB on 63 nodes runs 1T row aggregation challenge in 5 sec (gizmodata.com)
		171 points by tanelpoder 5 hours ago \| hide \| 91 comments
10.		Disable AI in Firefox (flamedfury.com)
		131 points by speckx 47 minutes ago \| hide \| 67 comments
11.		'Attention is all you need' coauthor says he's 'sick' of transformers (venturebeat.com)
		126 points by achow 3 hours ago \| hide \| 63 comments
12.		Interstellar Mission to a Black Hole (centauri-dreams.org)
		88 points by JPLeRouzic 8 hours ago \| hide \| 53 comments
13.		Cheap DIY solar fence design (joeyh.name)
		172 points by kamaraju 17 hours ago \| hide \| 121 comments
14.		ChunkLLM: A Lightweight Pluggable Framework for Accelerating LLMs Inference (arxiv.org)
		56 points by PaulHoule 6 hours ago \| hide \| 5 comments
15.		Public Montessori programs strengthen learning outcomes at lower costs: study (phys.org)
		61 points by strict9 8 hours ago \| hide \| 17 comments
16.		Counter-Strike's player economy is in a multi-billion dollar freefall (polygon.com)
		382 points by perihelions 17 hours ago \| hide \| 471 comments
17.		Debian Technical Committee overrides systemd change (lwn.net)
		90 points by birdculture 7 hours ago \| hide \| 74 comments
18.		Padlet (YC W13) Is Hiring in San Francisco and Singapore (padlet.jobs)
		5 hours ago \| hide
19.		VisiCalc on the Apple II (stonetools.ghost.io)
		62 points by hggh 7 hours ago \| hide \| 23 comments
20.		The Mainframe Six (2022) (arcanesciences.com)
		30 points by rbanffy 1 hour ago \| hide \| 4 comments
21.		Linux disk I/O diagram (2024) (zenodo.org)
		48 points by vismit2000 3 hours ago \| hide \| 1 comment
22.		Why can't transformers learn multiplication? (arxiv.org)
		45 points by PaulHoule 5 hours ago \| hide \| 1 comment
23.		When is it better to think without words? (henrikkarlsson.xyz)
		215 points by Curiositry 19 hours ago \| hide \| 112 comments
24.		Wasp Blower (softsolder.com)
		55 points by bookofjoe 9 hours ago \| hide \| 61 comments
25.		Alaska Airlines' statement on IT outage (alaskaair.com)
		96 points by fujigawa 10 hours ago \| hide \| 87 comments
26.		Random Numbers from Hard Problems: LWE Toy RNG (s20n.dev)
		4 points by s20n 1 hour ago \| hide \| discuss
27.		Where's the AI design Renaissance? (learnui.design)
		75 points by tobr 3 hours ago \| hide \| 59 comments
28.		Clojure Zippers (2021) (grishaev.me)
		33 points by prydt 4 hours ago \| hide \| 1 comment
29.		SierraDB: A distributed event store built in Rust (tqwewe.com)
		40 points by tqwewe 6 hours ago \| hide \| 6 comments
30.		LightlyStudio – an open-source multimodal data curation and labeling tool (github.com/lightly-ai)
		31 points by masakljun 6 hours ago \| hide \| 1 comment
		More