Submissions from hatsya.com

		Schanuel's Conjecture and the Semantics of Triton's FPSan (hatsya.com)
		29 points by c1ccccc1 26 days ago \| past \| 6 comments
		Shallow trees with heavy leaves (2020) (hatsya.com)
		11 points by HeliumHydride 5 months ago \| past
		Catagolue (hatsya.com)
		2 points by HeliumHydride 6 months ago \| past
		4-input 2-output Boolean circuits (2020) (hatsya.com)
		1 point by gone35 11 months ago \| past
		The exceptional Jordan algebra (2020) (hatsya.com)
		108 points by gone35 on March 17, 2025 \| past \| 15 comments
		Every finite phoenix has period 2 (hatsya.com)
		19 points by ColinWright on March 5, 2024 \| past \| 3 comments
		Every finite phoenix has period 2 (Conway's Game of Life) (hatsya.com)
		2 points by ColinWright on Jan 20, 2024 \| past
		Catagolue – The Largest Distributed Search of Cellular Automata (hatsya.com)
		2 points by alexstore06 on Dec 10, 2023 \| past
		Discovery of a single tile that tiles the plane only aperiodically (hatsya.com)
		4 points by tromp on March 21, 2023 \| past
		29-year-old Conway conjecture settled (hatsya.com)
		230 points by OscarCunningham on Jan 16, 2022 \| past \| 54 comments
		Training a Random Gaussian Generator (hatsya.com)
		3 points by Straw on Jan 9, 2022 \| past
		Urbit for Mathematicians (hatsya.com)
		7 points by bronzejaguar on June 19, 2021 \| past
		Keep your public keys private (hatsya.com)
		2 points by jstrieb on Feb 7, 2021 \| past
		The neural network of the Stockfish chess engine (hatsya.com)
		355 points by c1ccccc1 on Jan 13, 2021 \| past \| 94 comments
		Shallow Trees with Heavy Leaves (hatsya.com)
		8 points by mathgenius on Dec 14, 2020 \| past \| 2 comments
		Subsumptions of Regular Polytopes (hatsya.com)
		2 points by mathgenius on Oct 1, 2020 \| past

HN For You