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