Submissions from reasonablypolymorphic.com

		The Co-Blub Paradox (reasonablypolymorphic.com)
		5 points by hargup 10 days ago \| past \| discuss
		Struggling Towards an Algebraic Theory of Music (reasonablypolymorphic.com)
		2 points by surprisetalk 52 days ago \| past
		Arrows to Arrows, Categories to Queries (reasonablypolymorphic.com)
		39 points by surprisetalk 70 days ago \| past \| 3 comments
		Analyzing API Design via Algebraic Laws (reasonablypolymorphic.com)
		1 point by surprisetalk 72 days ago \| past
		An Algebraic Theory of Music (reasonablypolymorphic.com)
		4 points by ibobev 89 days ago \| past \| 1 comment
		Struggling Towards an Algebraic Theory of Music (reasonablypolymorphic.com)
		2 points by ibobev 3 months ago \| past
		Arrows to Arrows, Categories to Queries (reasonablypolymorphic.com)
		3 points by JNRowe 5 months ago \| past
		Arrows to Arrows, Categories to Queries (reasonablypolymorphic.com)
		2 points by ibobev 5 months ago \| past
		Theorems for Free Redux (reasonablypolymorphic.com)
		1 point by ibobev 5 months ago \| past
		Protobuffers Are Wrong (2018) (reasonablypolymorphic.com)
		244 points by b-man 7 months ago \| past \| 307 comments
		Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com)
		106 points by matt_d 10 months ago \| past \| 28 comments
		Analyzing API Design via Algebraic Laws (reasonablypolymorphic.com)
		1 point by speckx 11 months ago \| past
		How These Things Work – A book about CS from first principles (2016) (reasonablypolymorphic.com)
		4 points by Willingham on March 31, 2025 \| past
		Use Monoids for Construction (reasonablypolymorphic.com)
		2 points by fanf2 on Jan 28, 2025 \| past
		Read the Code, Not the Profile (reasonablypolymorphic.com)
		2 points by yakshaving_jgt on Jan 24, 2025 \| past \| 1 comment
		Read the Code, Not the Profile (reasonablypolymorphic.com)
		2 points by trelane on Jan 16, 2025 \| past
		Jujutsu Strategies (reasonablypolymorphic.com)
		1 point by pdobsan on Sept 6, 2024 \| past \| 1 comment
		Freer Monads, More Better Programs (reasonablypolymorphic.com)
		2 points by nbaksalyar on Aug 2, 2024 \| past
		Jujutsu Strategies (reasonablypolymorphic.com)
		2 points by JNRowe on May 20, 2024 \| past \| 1 comment
		Why Is the Web So Monotonous? Google (2022) (reasonablypolymorphic.com)
		20 points by throwup238 on Jan 25, 2024 \| past \| 22 comments
		FRP in Yampa: Part 1 (reasonablypolymorphic.com)
		1 point by mjan22640 on Jan 4, 2024 \| past
		How These Things Work (2016) (reasonablypolymorphic.com)
		1 point by turtleyacht on Nov 3, 2023 \| past \| 1 comment
		Protobuffers Are Wrong (2018) (reasonablypolymorphic.com)
		82 points by alihm on March 23, 2023 \| past \| 59 comments
		Abusing Constraints for Automatic Documentation (reasonablypolymorphic.com)
		2 points by JNRowe on Jan 4, 2023 \| past
		Why Is the Web So Monotonous? Google (reasonablypolymorphic.com)
		303 points by amf12 on Aug 4, 2022 \| past \| 246 comments
		Review: Syntax-Guided Synthesis (reasonablypolymorphic.com)
		1 point by JNRowe on March 21, 2022 \| past
		Automatic Ring Solving (reasonablypolymorphic.com)
		1 point by JNRowe on Feb 17, 2022 \| past
		Haskell2020 Is Dead, but All Hope Is Not Lost (2019) (reasonablypolymorphic.com)
		84 points by signa11 on Feb 17, 2022 \| past \| 63 comments
		Underlining the Bugs (reasonablypolymorphic.com)
		1 point by JNRowe on Feb 12, 2022 \| past
		Underlining the Bugs (reasonablypolymorphic.com)
		2 points by cosmic_quanta on Feb 1, 2022 \| past
		More

HN For You