Hacker News

1.		FTC Announces Rule Banning Noncompetes (ftc.gov)
		208 points by null0ranje 33 minutes ago \| hide \| 57 comments
2.		New Foundations is consistent – a difficult mathematical proof proved using Lean (leanprover-community.github.io)
		181 points by namanyayg 6 hours ago \| hide \| 63 comments
3.		Show HN: Getada: rustup-like installer for Ada's toolchain/package manager (getada.dev)
		124 points by ajdude 5 hours ago \| hide \| 58 comments
4.		The beautiful dissociation of the Japanese language (aethermug.com)
		123 points by mrcgnc 5 hours ago \| hide \| 73 comments
5.		Network visualization of 50k blogs and links (henryn.ca)
		4 points by ng-henry 17 minutes ago \| hide \| 1 comment
6.		Show HN: Balancing game for the mobile browser with increasing difficulty (balanc3dgame.com)
		195 points by nargaw 9 hours ago \| hide \| 78 comments
7.		Spritely Goblins v0.13.0: Object persistence and easier IO (spritely.institute)
		14 points by paroneayea 39 minutes ago \| hide \| discuss
8.		Reverse engineering a software crack (twitter.com/gf_256)
		49 points by nharada 4 hours ago \| hide \| 22 comments
9.		Help us invent CSS Grid Level 3, a.k.a. "Masonry" layout (webkit.org)
		390 points by achairapart 10 hours ago \| hide \| 285 comments
10.		Taiki (YC W24) is hiring a software engineer intern (ycombinator.com)
		2 hours ago \| hide
11.		The man who killed Google Search (wheresyoured.at)
		390 points by elorant 3 hours ago \| hide \| 201 comments
12.		Mathematicians marvel at 'crazy' cuts through four dimensions (quantamagazine.org)
		27 points by nsoonhui 6 hours ago \| hide \| 2 comments
13.		Facebook users say 'amen' to bizarre AI-generated images of Jesus (nbcnews.com)
		8 points by segasaturn 23 minutes ago \| hide \| 2 comments
14.		FTC Bans Noncompete Clauses That Restrict Job Switching (wsj.com)
		6 points by eatonphil 23 minutes ago \| hide \| discuss
15.		The death of the 60/40 portfolio (lynalden.com)
		32 points by ilamont 1 hour ago \| hide \| 31 comments
16.		Show HN: Hashquery, a Python library for defining reusable analysis (hashquery.dev)
		34 points by cpimhoff 5 hours ago \| hide \| 14 comments
17.		The Feminist Botanist (nautil.us)
		10 points by dnetesn 4 hours ago \| hide \| discuss
18.		Generative A.I. arrives in the gene editing world of CRISPR (nytimes.com)
		52 points by msmanek 3 hours ago \| hide \| 33 comments
19.		AMA: I'm Dave Greene, an accidental expert on Conway's Game of Life
		220 points by dvgrn 6 hours ago \| hide \| 108 comments
20.		A Photographer Captured His Spectacular Dream Eclipse Photo (petapixel.com)
		24 points by elijahparker 7 hours ago \| hide \| discuss
21.		Krazam OS (krazam.tv)
		809 points by zdgeier 20 hours ago \| hide \| 168 comments
22.		EURISKO Lives (funcall.org)
		102 points by wodow 16 hours ago \| hide \| 57 comments
23.		Rabbit R1 source code [part 1] (github.com/rabbitscam)
		195 points by wibbily 1 hour ago \| hide \| 74 comments
24.		The Beautiful Islands of San Serriffe (2016) (realdougwilson.com)
		82 points by Schiphol 10 hours ago \| hide \| 15 comments
25.		The Moon brings a wild but precarious fish orgy to California's beaches (bbc.com)
		58 points by priyankanath 13 hours ago \| hide \| 16 comments
26.		Carl Sagan, nuking the moon, and not nuking the moon (eukaryotewritesblog.com)
		74 points by freediver 6 hours ago \| hide \| 64 comments
27.		Fallout1-ce: Fallout for modern operating systems (github.com/alexbatalov)
		42 points by ulrischa 2 hours ago \| hide \| 9 comments
28.		The 40-Year-Old Cable Modem (a NABU network modem teardown) [video] (youtube.com)
		33 points by handelaar 5 hours ago \| hide \| 10 comments
29.		The evolution of stupidity (and octopus intelligence) (forkingpaths.co)
		15 points by ColinWright 8 hours ago \| hide \| 8 comments
30.		Understanding and avoiding visually ambiguous characters in IDs (gajus.com)
		220 points by gajus 19 hours ago \| hide \| 175 comments
		More