Submissions from interjectedfuture.com

		Way to Learn Might Be Starting at the End: Writing a Proof in Lean (interjectedfuture.com)
		1 point by ibobev 11 days ago \| past \| discuss
		Learning by starting at the end: Writing a Proof in Lean (interjectedfuture.com)
		1 point by birdculture 13 days ago \| past \| discuss
		Way to Learn Might Be Starting at the End: Writing a Proof in Lean (interjectedfuture.com)
		1 point by iamwil 18 days ago \| past
		The Best to Way to Learn Might Be Starting at the End: Writing a Proof in Lean (interjectedfuture.com)
		2 points by iamwil 19 days ago \| past
		The Best Way to Learn Might Be Starting at the End (interjectedfuture.com)
		5 points by iamwil 20 days ago \| past
		Doing More Customer Interviews Won't Make You Better at Them (interjectedfuture.com)
		1 point by iamwil 26 days ago \| past
		Three ways I learn with AI (interjectedfuture.com)
		2 points by ibobev 28 days ago \| past
		I Built an AI Coach for Customer Development (interjectedfuture.com)
		2 points by iamwil 29 days ago \| past
		Why I built an AI Coach for Customer Development (interjectedfuture.com)
		1 point by iamwil 30 days ago \| past
		Three ways I learn with AI (interjectedfuture.com)
		1 point by iamwil 42 days ago \| past
		What is algebraic about algebraic effects? (interjectedfuture.com)
		96 points by iamwil 46 days ago \| past \| 38 comments
		What is algebraic about algebraic effects? (interjectedfuture.com)
		3 points by iamwil 51 days ago \| past
		Visual programming is stuck on the form (interjectedfuture.com)
		66 points by iamwil 55 days ago \| past \| 33 comments
		System Eval with Obsidian and Claude Code (interjectedfuture.com)
		2 points by iamwil 55 days ago \| past
		Elm should have had algebraic effects (interjectedfuture.com)
		4 points by iamwil 56 days ago \| past
		The Hidden Scaffolding Behind Production Vibe Coding (interjectedfuture.com)
		4 points by iamwil 59 days ago \| past
		Elm should have had Algebraic Effects (interjectedfuture.com)
		3 points by iamwil 66 days ago \| past
		System Eval with Obsidian and Claude Code (interjectedfuture.com)
		2 points by iamwil 72 days ago \| past
		Programming After AI: Why System Boundary Taste Matters (interjectedfuture.com)
		1 point by iamwil 73 days ago \| past
		Elm as target language for vibe coding (interjectedfuture.com)
		2 points by iamwil 3 months ago \| past
		Types as a Design Tool (interjectedfuture.com)
		2 points by todsacerdoti 8 months ago \| past
		Visual programming is stuck on the form (interjectedfuture.com)
		2 points by rbanffy 8 months ago \| past \| 2 comments
		When Declarative Systems Break (interjectedfuture.com)
		6 points by iamwil 8 months ago \| past \| 2 comments
		Visual programming is stuck on the form (interjectedfuture.com)
		3 points by praptak 8 months ago \| past
		When Declarative Systems Break (interjectedfuture.com)
		1 point by iamwil 8 months ago \| past
		Visual programming is stuck on the form (interjectedfuture.com)
		10 points by iamwil 8 months ago \| past \| 2 comments
		Visual Programming Is Stuck on the Form (interjectedfuture.com)
		1 point by iamwil 8 months ago \| past
		A simple way to understand CRDTs (interjectedfuture.com)
		20 points by iamwil 11 months ago \| past \| 6 comments
		The Moats are in the GPT-wrappers (interjectedfuture.com)
		4 points by iamwil 11 months ago \| past
		The Moats are in the GPT-wrappers (interjectedfuture.com)
		2 points by iamwil 11 months ago \| past \| 2 comments
		More