Submissions from thunderseethe.dev

		Traits Are a Local Maxima (thunderseethe.dev)
		2 points by thunderbong 15 days ago \| past
		Traits are a local maximum (thunderseethe.dev)
		121 points by emschwartz 16 days ago \| past \| 101 comments
		In Search of the Perfect Fold (thunderseethe.dev)
		3 points by g0xA52A2A 8 months ago \| past
		I'm Betting on Call-by-Push-Value (thunderseethe.dev)
		174 points by todsacerdoti 9 months ago \| past \| 64 comments
		What’s in a Module? (thunderseethe.dev)
		2 points by ethansinjin on Aug 2, 2023 \| past \| 1 comment
		What's in a Module? (thunderseethe.dev)
		3 points by thunderseethe on Aug 1, 2023 \| past
		Tying Up Type Inference (thunderseethe.dev)
		1 point by thunderseethe on July 18, 2023 \| past
		Type Inference: Bidirectional Constraint Generation (thunderseethe.dev)
		1 point by thunderseethe on July 11, 2023 \| past
		Designing a Language Without a Parser (thunderseethe.dev)
		114 points by thunderseethe on July 4, 2023 \| past \| 127 comments