Hacker News

1.		Rabbit R1 source code [part 1] (github.com/rabbitscam)
		103 points by wibbily 37 minutes ago \| hide \| 26 comments
2.		The Death of 60/40 (lynalden.com)
		11 points by ilamont 9 minutes ago \| hide \| discuss
3.		Show HN: Getada: rustup-like installer for Ada's toolchain/package manager (getada.dev)
		109 points by ajdude 4 hours ago \| hide \| 53 comments
4.		New Foundations is consistent – a difficult mathematical proof proved using Lean (leanprover-community.github.io)
		158 points by namanyayg 5 hours ago \| hide \| 56 comments
5.		Show HN: Balancing game for the mobile browser with increasing difficulty (balanc3dgame.com)
		177 points by nargaw 8 hours ago \| hide \| 75 comments
6.		Help us invent CSS Grid Level 3, a.k.a. "Masonry" layout (webkit.org)
		377 points by achairapart 9 hours ago \| hide \| 272 comments
7.		The beautiful dissociation of the Japanese language (aethermug.com)
		94 points by mrcgnc 4 hours ago \| hide \| 59 comments
8.		Taiki (YC W24) is hiring a software engineer intern (ycombinator.com)
		1 hour ago \| hide
9.		The man who killed Google Search (wheresyoured.at)
		243 points by elorant 2 hours ago \| hide \| 122 comments
10.		Mathematicians Marvel at 'Crazy' Cuts Through Four Dimensions (quantamagazine.org)
		20 points by nsoonhui 5 hours ago \| hide \| 1 comment
11.		Generative A.I. Arrives in the Gene Editing World of CRISPR (nytimes.com)
		39 points by msmanek 2 hours ago \| hide \| 27 comments
12.		The Beautiful Islands of San Serriffe (2016) (realdougwilson.com)
		76 points by Schiphol 9 hours ago \| hide \| 13 comments
13.		LLMs and the Harry Potter Problem (pyqai.com)
		6 points by araghuvanshi 1 hour ago \| hide \| discuss
14.		The Feminist Botanist (nautil.us)
		4 points by dnetesn 3 hours ago \| hide \| discuss
15.		EURISKO Lives (funcall.org)
		100 points by wodow 15 hours ago \| hide \| 53 comments
16.		Krazam OS (krazam.tv)
		798 points by zdgeier 19 hours ago \| hide \| 168 comments
17.		Diet May Be More Important Than Exercise for Long-Term Weight Control (businessinsider.com)
		9 points by paulpauper 56 minutes ago \| hide \| 4 comments
18.		Show HN: Hashquery, a Python library for defining reusable analysis (hashquery.dev)
		26 points by cpimhoff 4 hours ago \| hide \| 13 comments
19.		AMA: I'm Dave Greene, an accidental expert on Conway's Game of Life
		200 points by dvgrn 5 hours ago \| hide \| 100 comments
20.		The Moon brings a wild but precarious fish orgy to California's beaches (bbc.com)
		56 points by priyankanath 12 hours ago \| hide \| 16 comments
21.		Phi-3 Technical Report (arxiv.org)
		373 points by varunvummadi 16 hours ago \| hide \| 119 comments
22.		Carl Sagan, nuking the moon, and not nuking the moon (eukaryotewritesblog.com)
		69 points by freediver 5 hours ago \| hide \| 61 comments
23.		Petoi Bittle – a programmable robot dog (petoi.com)
		63 points by metalwhale 14 hours ago \| hide \| 38 comments
24.		Equinox.space (equinox.space)
		1536 points by fragmede 1 day ago \| hide \| 316 comments
25.		Fallout1-ce: Fallout for modern operating systems (github.com/alexbatalov)
		29 points by ulrischa 1 hour ago \| hide \| 4 comments
26.		IBM nearing a buyout deal for HashiCorp, source says (reuters.com)
		52 points by ridruejo 34 minutes ago \| hide \| 61 comments
27.		The 40-Year-Old Cable Modem (a NABU network modem teardown) [video] (youtube.com)
		21 points by handelaar 4 hours ago \| hide \| 5 comments
28.		The Evolution of Stupidity (and Octopus Intelligence) (forkingpaths.co)
		13 points by ColinWright 7 hours ago \| hide \| 4 comments
29.		Reverse Engineering a Software Crack (twitter.com/gf_256)
		34 points by nharada 3 hours ago \| hide \| 13 comments
30.		Understanding and avoiding visually ambiguous characters in IDs (gajus.com)
		211 points by gajus 18 hours ago \| hide \| 173 comments
		More