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