Submissions from haskellforall.com

		A sufficiently detailed spec is code (haskellforall.com)
		648 points by signa11 5 days ago \| past \| 336 comments
		A sufficiently detailed spec is code (haskellforall.com)
		13 points by dokdev 6 days ago \| past \| 3 comments
		A sufficiently detailed spec is code (haskellforall.com)
		12 points by Gabriel439 7 days ago \| past \| discuss
		Browse Code by Meaning (haskellforall.com)
		26 points by cl3misch 35 days ago \| past \| 2 comments
		Browse Code by Meaning (haskellforall.com)
		13 points by romac 35 days ago \| past \| 1 comment
		Browse Code by Meaning (haskellforall.com)
		5 points by todsacerdoti 36 days ago \| past \| 3 comments
		Beyond agentic coding (haskellforall.com)
		269 points by RebelPotato 44 days ago \| past \| 90 comments
		Beyond Agentic Coding (haskellforall.com)
		5 points by todsacerdoti 45 days ago \| past
		My Experience with Vibe Coding (haskellforall.com)
		8 points by todsacerdoti 50 days ago \| past \| 3 comments
		Type-Safe Eval in Grace (haskellforall.com)
		5 points by todsacerdoti 63 days ago \| past
		Chat is the least interesting interface to LLMs (haskellforall.com)
		4 points by sebg 68 days ago \| past
		Chat is the least interesting interface to LLMs (haskellforall.com)
		7 points by todsacerdoti 69 days ago \| past
		Prompting 101: Show, don't tell (haskellforall.com)
		9 points by birdculture 72 days ago \| past
		Prompting 101: Show, don't tell (haskellforall.com)
		7 points by todsacerdoti 74 days ago \| past
		Nix Steering Committee vote of no confidence (haskellforall.com)
		11 points by Bogdanp 5 months ago \| past \| 5 comments
		Unification-free ("keyword") type checking (haskellforall.com)
		3 points by fanf2 6 months ago \| past
		Steering Committee Retrospective (haskellforall.com)
		3 points by Athas 6 months ago \| past
		Steering Committee Retrospective (haskellforall.com)
		9 points by todsacerdoti 6 months ago \| past
		Type Inference for Plain Data (haskellforall.com)
		1 point by PaulHoule 6 months ago \| past
		Type Inference for Plain Data (haskellforall.com)
		4 points by fanf2 7 months ago \| past
		Type Inference for Plain Data (haskellforall.com)
		8 points by todsacerdoti 7 months ago \| past
		Optics Are Monoids (2021) (haskellforall.com)
		3 points by xaedes 8 months ago \| past
		Scrap Your Type Classes (haskellforall.com)
		3 points by asplake 9 months ago \| past
		Prompt chaining reimagined with type inference (haskellforall.com)
		5 points by birdculture 10 months ago \| past
		Prompt chaining reimagined with type inference (haskellforall.com)
		10 points by todsacerdoti 10 months ago \| past
		The golden rule of software distributions (2022) (haskellforall.com)
		2 points by walterbell on Jan 10, 2025 \| past \| 1 comment
		The Haskell inlining and specialization FAQ (haskellforall.com)
		3 points by JNRowe on Nov 14, 2024 \| past
		Namespaced De Bruijn Indices (haskellforall.com)
		8 points by fanf2 on Oct 25, 2024 \| past
		Firewall rules: not as secure as you think (haskellforall.com)
		189 points by jnord on Aug 29, 2024 \| past \| 82 comments
		Firewall rules: not as secure as you think (haskellforall.com)
		4 points by todsacerdoti on Aug 29, 2024 \| past
		More