Submissions from thunderseethe.dev

		Making a Language (thunderseethe.dev)
		5 points by usdogu 13 days ago \| past \| discuss
		Compiler Education Deserves a Revolution (thunderseethe.dev)
		4 points by birdculture 39 days ago \| past
		Compiler Education Deserves a Revolution (thunderseethe.dev)
		6 points by azhenley 41 days ago \| past
		Compiler Education Deserves a Revolution (thunderseethe.dev)
		2 points by thunderseethe 45 days ago \| past
		How to choose between Hindley-Milner and bidirectional typing (thunderseethe.dev)
		153 points by thunderseethe 49 days ago \| past \| 49 comments
		Making an LSP for Great Good (thunderseethe.dev)
		2 points by todsacerdoti 74 days ago \| past
		Desugaring the Relationship Between Concrete and Abstract Syntax (thunderseethe.dev)
		2 points by PaulHoule 3 months ago \| past
		WASM Does Not Stand for WebAssembly (thunderseethe.dev)
		2 points by swernli 3 months ago \| past \| 3 comments
		Desugaring the Relationship Between Concrete and Abstract Syntax (thunderseethe.dev)
		4 points by todsacerdoti 4 months ago \| past
		Reproachfully Presenting Resilient Recursive Descent Parsing (thunderseethe.dev)
		3 points by adamch 4 months ago \| past
		Reproachfully Presenting Resilient Recursive Descent Parsing (thunderseethe.dev)
		7 points by todsacerdoti 4 months ago \| past
		Part 6a: Lowering Row Types, Evidently (thunderseethe.dev)
		3 points by thunderbong on Feb 12, 2025 \| past
		Part 5B: Escaping the Typechecker, an Implementation (thunderseethe.dev)
		3 points by thunderbong on Feb 6, 2025 \| past
		Picking Equatable Names (thunderseethe.dev)
		2 points by thunderbong on Jan 24, 2025 \| past
		Traits Are a Local Maxima (thunderseethe.dev)
		2 points by thunderbong on Nov 19, 2024 \| past
		Traits are a local maximum (thunderseethe.dev)
		121 points by emschwartz on Nov 18, 2024 \| past \| 101 comments
		In Search of the Perfect Fold (thunderseethe.dev)
		3 points by g0xA52A2A on March 29, 2024 \| past
		I'm Betting on Call-by-Push-Value (thunderseethe.dev)
		174 points by todsacerdoti on March 9, 2024 \| 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

HN For You