Hacker News

1.		Network visualization of 50k blogs and links (henryn.ca)
		48 points by ng-henry 1 hour ago \| hide \| 11 comments
2.		GPU Compute in the Browser at the Speed of Native: WebGPU Marching Cubes (willusher.io)
		16 points by Twinklebear 1 hour ago \| hide \| 3 comments
3.		New Foundations is consistent – a difficult mathematical proof proved using Lean (leanprover-community.github.io)
		198 points by namanyayg 7 hours ago \| hide \| 66 comments
4.		Show HN: Getada: rustup-like installer for Ada's toolchain/package manager (getada.dev)
		133 points by ajdude 6 hours ago \| hide \| 69 comments
5.		The beautiful dissociation of the Japanese language (aethermug.com)
		155 points by mrcgnc 6 hours ago \| hide \| 100 comments
6.		Show HN: Balancing game for the mobile browser with increasing difficulty (balanc3dgame.com)
		209 points by nargaw 10 hours ago \| hide \| 79 comments
7.		Spritely Goblins v0.13.0: Object persistence and easier IO (spritely.institute)
		23 points by paroneayea 1 hour ago \| hide \| 3 comments
8.		Help us invent CSS Grid Level 3, a.k.a. "Masonry" layout (webkit.org)
		409 points by achairapart 11 hours ago \| hide \| 290 comments
9.		A Photographer Captured His Spectacular Dream Eclipse Photo (petapixel.com)
		54 points by elijahparker 8 hours ago \| hide \| 1 comment
10.		Mathematicians marvel at 'crazy' cuts through four dimensions (quantamagazine.org)
		39 points by nsoonhui 7 hours ago \| hide \| 4 comments
11.		Taiki (YC W24) is hiring a software engineer intern (ycombinator.com)
		3 hours ago \| hide
12.		The man who killed Google Search (wheresyoured.at)
		509 points by elorant 3 hours ago \| hide \| 256 comments
13.		FTC announces rule banning noncompetes (ftc.gov)
		457 points by null0ranje 1 hour ago \| hide \| 156 comments
14.		Reverse engineering a software crack (twitter.com/gf_256)
		70 points by nharada 5 hours ago \| hide \| 26 comments
15.		The Tech Bros Powering Silicon Valley's Military Fever Dream (forbes.com/sites/davidjeans)
		3 points by suvankumar 5 minutes ago \| hide \| discuss
16.		Show HN: Hashquery, a Python library for defining reusable analysis (hashquery.dev)
		41 points by cpimhoff 6 hours ago \| hide \| 14 comments
17.		Generative A.I. arrives in the gene editing world of CRISPR (nytimes.com)
		59 points by msmanek 4 hours ago \| hide \| 38 comments
18.		Krazam OS (krazam.tv)
		817 points by zdgeier 21 hours ago \| hide \| 169 comments
19.		HCL: Toolkit for Structured Configuration Languages (github.com/hashicorp)
		3 points by thunderbong 2 hours ago \| hide \| discuss
20.		EURISKO Lives (funcall.org)
		105 points by wodow 16 hours ago \| hide \| 58 comments
21.		To Live Past 100, Mangia a Lot Less: Italian Expert's Ideas on Aging (nytimes.com)
		3 points by simonebrunozzi 20 minutes ago \| hide \| discuss
22.		The Moon brings a wild but precarious fish orgy to California's beaches (bbc.com)
		64 points by priyankanath 14 hours ago \| hide \| 16 comments
23.		AMA: I'm Dave Greene, an accidental expert on Conway's Game of Life
		238 points by dvgrn 6 hours ago \| hide \| 117 comments
24.		The Beautiful Islands of San Serriffe (2016) (realdougwilson.com)
		84 points by Schiphol 11 hours ago \| hide \| 16 comments
25.		Rabbit R1 source code [part 1] (github.com/rabbitscam)
		231 points by wibbily 2 hours ago \| hide \| 90 comments
26.		The evolution of stupidity (and octopus intelligence) (forkingpaths.co)
		19 points by ColinWright 9 hours ago \| hide \| 8 comments
27.		Carl Sagan, nuking the moon, and not nuking the moon (eukaryotewritesblog.com)
		78 points by freediver 6 hours ago \| hide \| 67 comments
28.		Fallout1-ce: Fallout for modern operating systems (github.com/alexbatalov)
		60 points by ulrischa 3 hours ago \| hide \| 14 comments
29.		Understanding and avoiding visually ambiguous characters in IDs (gajus.com)
		232 points by gajus 20 hours ago \| hide \| 176 comments
30.		The 40-Year-Old Cable Modem (a NABU network modem teardown) [video] (youtube.com)
		37 points by handelaar 5 hours ago \| hide \| 14 comments
		More