Submissions from daniellowengrub.com

		Show HN: Formal Verification with Lean (daniellowengrub.com)
		1 point by lowdanie 28 days ago \| past
		Show HN: Formal Verification with Lean (daniellowengrub.com)
		3 points by lowdanie 31 days ago \| past
		Show HN: Quantum Chemistry from Scratch (daniellowengrub.com)
		1 point by lowdanie 4 months ago \| past
		Quantum Computing and the Hidden Subgroup Problem (daniellowengrub.com)
		40 points by lowdanie on May 29, 2025 \| past \| 12 comments
		Show HN: Understanding the Bloch Sphere (daniellowengrub.com)
		7 points by lowdanie on Nov 17, 2024 \| past
		Show HN: Fully Homomorphic Encryption from Scratch (daniellowengrub.com)
		3 points by lowdanie on April 28, 2024 \| past \| 2 comments
		Show HN: Building a Binary Counter (daniellowengrub.com)
		4 points by lowdanie on Feb 22, 2021 \| past
		Heat Capacity and the Speed of Sound (daniellowengrub.com)
		5 points by lowdanie on Dec 31, 2020 \| past
		Show HN: Breaking Substitution Ciphers with Markov Chains (daniellowengrub.com)
		9 points by lowdanie on May 12, 2020 \| past
		Efficient Search with Markov Chains (daniellowengrub.com)
		4 points by lowdanie on May 3, 2020 \| past
		Introduction to Python for Middle Schoolers (daniellowengrub.com)
		2 points by lowdanie on April 5, 2020 \| past
		What Makes Consciousness Confusing? (daniellowengrub.com)
		3 points by lowdanie on March 3, 2020 \| past \| 1 comment
		Book Review: Consciousness Explained by Daniel Dennett (daniellowengrub.com)
		3 points by lowdanie on Feb 23, 2020 \| past
		A Review of Dennett's “Consciousness Explained” (daniellowengrub.com)
		3 points by emme on Feb 23, 2020 \| past
		How Radar Works (daniellowengrub.com)
		242 points by lowdanie on Dec 1, 2019 \| past \| 58 comments

HN For You