Submissions from haskellforall.com

		Mechanized type inference for record concatenation (haskellforall.com)
		2 points by birdculture 25 days ago \| past
		Mechanized type inference for record concatenation as in Nix (haskellforall.com)
		3 points by fanf2 26 days ago \| past
		Mechanized type inference for record concatenation (haskellforall.com)
		4 points by g0xA52A2A 26 days ago \| past
		Record Type Inference for Dummies (haskellforall.com)
		3 points by fanf2 38 days ago \| past
		Record Type Inference for Dummies (haskellforall.com)
		3 points by birdculture 39 days ago \| past
		Record type inference for dummies (haskellforall.com)
		80 points by g0xA52A2A 41 days ago \| past \| 8 comments
		Ergonomic Overrides for Nixpkgs (haskellforall.com)
		5 points by birdculture 57 days ago \| past
		Type Out the Code (haskellforall.com)
		20 points by theanonymousone 76 days ago \| past \| 1 comment
		A bidirectional typechecking puzzle in the Grace programming language (haskellforall.com)
		5 points by fanf2 89 days ago \| past
		A Bidirectional Typechecking Puzzle (haskellforall.com)
		3 points by g0xA52A2A 3 months ago \| past
		Prefer do notation over Applicative operators when assembling records (2024) (haskellforall.com)
		54 points by wazHFsRy 4 months ago \| past \| 14 comments
		A sufficiently detailed spec is code (haskellforall.com)
		652 points by signa11 4 months ago \| past \| 334 comments
		A sufficiently detailed spec is code (haskellforall.com)
		13 points by dokdev 4 months ago \| past \| 3 comments
		A sufficiently detailed spec is code (haskellforall.com)
		12 points by Gabriel439 4 months ago \| past
		Browse Code by Meaning (haskellforall.com)
		26 points by cl3misch 5 months ago \| past \| 2 comments
		Browse Code by Meaning (haskellforall.com)
		13 points by romac 5 months ago \| past \| 1 comment
		Browse Code by Meaning (haskellforall.com)
		5 points by todsacerdoti 5 months ago \| past \| 3 comments
		Beyond agentic coding (haskellforall.com)
		269 points by RebelPotato 5 months ago \| past \| 90 comments
		Beyond Agentic Coding (haskellforall.com)
		5 points by todsacerdoti 5 months ago \| past
		My Experience with Vibe Coding (haskellforall.com)
		8 points by todsacerdoti 6 months ago \| past \| 3 comments
		Type-Safe Eval in Grace (haskellforall.com)
		5 points by todsacerdoti 6 months ago \| past
		Chat is the least interesting interface to LLMs (haskellforall.com)
		4 points by sebg 6 months ago \| past
		Chat is the least interesting interface to LLMs (haskellforall.com)
		7 points by todsacerdoti 6 months ago \| past
		Prompting 101: Show, don't tell (haskellforall.com)
		9 points by birdculture 6 months ago \| past
		Prompting 101: Show, don't tell (haskellforall.com)
		7 points by todsacerdoti 6 months ago \| past
		Nix Steering Committee vote of no confidence (haskellforall.com)
		11 points by Bogdanp 10 months ago \| past \| 5 comments
		Unification-free ("keyword") type checking (haskellforall.com)
		3 points by fanf2 10 months ago \| past
		Steering Committee Retrospective (haskellforall.com)
		3 points by Athas 10 months ago \| past
		Steering Committee Retrospective (haskellforall.com)
		9 points by todsacerdoti 10 months ago \| past
		Type Inference for Plain Data (haskellforall.com)
		1 point by PaulHoule 11 months ago \| past
		More

HN For You