Hacker News

1.		Show HN: Getada: rustup-like installer for Ada's toolchain/package manager (getada.dev)
		89 points by ajdude 3 hours ago \| hide \| 42 comments
2.		New Foundations is consistent – a difficult mathematical proof proved using Lean (leanprover-community.github.io)
		132 points by namanyayg 4 hours ago \| hide \| 38 comments
3.		Show HN: 10 Level Balancing Game for the Mobile Browser w/ increasing difficulty (balanc3dgame.com)
		163 points by nargaw 7 hours ago \| hide \| 70 comments
4.		Help us invent CSS Grid Level 3, a.k.a. "Masonry" layout (webkit.org)
		340 points by achairapart 8 hours ago \| hide \| 256 comments
5.		The Beautiful Dissociation of the Japanese Language (aethermug.com)
		66 points by mrcgnc 3 hours ago \| hide \| 41 comments
6.		Show HN: Hashquery, a Python library for defining reusable analysis (hashquery.dev)
		19 points by cpimhoff 3 hours ago \| hide \| 6 comments
7.		Taiki (YC W24) Is Hiring a Software Engineer Intern (ycombinator.com)
		56 minutes ago \| hide
8.		Generative A.I. Arrives in the Gene Editing World of CRISPR (nytimes.com)
		27 points by msmanek 1 hour ago \| hide \| 11 comments
9.		AMA: I'm Dave Greene, an accidental expert on Conway's Game of Life
		187 points by dvgrn 4 hours ago \| hide \| 91 comments
10.		The Beautiful Islands of San Serriffe (2016) (realdougwilson.com)
		73 points by Schiphol 8 hours ago \| hide \| 11 comments
11.		Krazam OS (krazam.tv)
		784 points by zdgeier 18 hours ago \| hide \| 165 comments
12.		EURISKO Lives (funcall.org)
		97 points by wodow 14 hours ago \| hide \| 47 comments
13.		Carl Sagan, nuking the moon, and not nuking the moon (eukaryotewritesblog.com)
		61 points by freediver 4 hours ago \| hide \| 55 comments
14.		Apple Cuts Vision Pro Shipments as Demand Falls 'Sharply Beyond Expectations' (macrumors.com)
		34 points by mfiguiere 20 minutes ago \| hide \| 19 comments
15.		The Moon brings a wild but precarious fish orgy to California's beaches (bbc.com)
		51 points by priyankanath 11 hours ago \| hide \| 16 comments
16.		Phi-3 Technical Report (arxiv.org)
		369 points by varunvummadi 15 hours ago \| hide \| 116 comments
17.		The Man Who Killed Google Search (wheresyoured.at)
		94 points by elorant 1 hour ago \| hide \| 47 comments
18.		Meta Horizon OS (meta.com)
		757 points by ahiknsr 1 day ago \| hide \| 613 comments
19.		Mathematicians Marvel at 'Crazy' Cuts Through Four Dimensions (quantamagazine.org)
		10 points by nsoonhui 4 hours ago \| hide \| discuss
20.		Equinox.space (equinox.space)
		1515 points by fragmede 1 day ago \| hide \| 316 comments
21.		Petoi Bittle – a programmable robot dog (petoi.com)
		58 points by metalwhale 13 hours ago \| hide \| 38 comments
22.		The 40-Year-Old Cable Modem (a NABU network modem teardown) [video] (youtube.com)
		18 points by handelaar 3 hours ago \| hide \| 2 comments
23.		The Evolution of Stupidity (and Octopus Intelligence) (forkingpaths.co)
		12 points by ColinWright 6 hours ago \| hide \| 3 comments
24.		Reverse Engineering a Software Crack (twitter.com/gf_256)
		26 points by nharada 2 hours ago \| hide \| 8 comments
25.		Understanding and avoiding visually ambiguous characters in IDs (gajus.com)
		204 points by gajus 17 hours ago \| hide \| 167 comments
26.		How Amazon Became the Largest Private EV Charging Operator in the US (bloomberg.com)
		54 points by defrost 5 hours ago \| hide \| 81 comments
27.		Apple cuts Vision Pro shipments, now 'reviewing and adjusting' headset strategy (9to5mac.com)
		13 points by retskrad 36 minutes ago \| hide \| 4 comments
28.		The Resurrection of Rajasthan's Royal Liquors (atlasobscura.com)
		55 points by Thevet 14 hours ago \| hide \| 17 comments
29.		Most Books Don't Sell Only a Dozen Copies (2022) (countercraft.substack.com)
		75 points by jahnu 2 hours ago \| hide \| 48 comments
30.		Lawsuit accuses GM of sharing drivers' data with insurers without consent (theregister.com)
		5 points by beardyw 17 minutes ago \| hide \| 1 comment
		More