Submissions from thunderseethe.dev

		In Search of the Perfect Fold (thunderseethe.dev)
		3 points by g0xA52A2A 6 months ago \| past
		I'm Betting on Call-by-Push-Value (thunderseethe.dev)
		174 points by todsacerdoti 7 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