Year 2025 in Review
It's another year again, and I look back on what I did. This is mainly for myself, as I didn't write one of these in 2022, and now I can't remember what I spent all my time doing for the whole year. Year 2024
Interjected Future
Interjected Future is an independent engineering blog focused on deep technical essays about programming languages, developer tooling, incremental computation, and the future of software
Latest posts
The Best Way to Learn Might Be Starting at the End: Writing a Proof in Lean
AI leveraged learning lets you start with the application at the end. Curiosity guides what you learn, fundamentals backfill when you need them.
Doing More Customer Interviews Won't Make You Better At Them
Founders and product managers fail at customer development, even when they're consistently talking to users. But this is less from conducting too few interviews and more from a missing feedback loop. The art of posing the right question is counterintuitive and cognitively taxing, so founders can’t
Agent: Customer Development Coach for Feedback
🤖 This is a prompt for a customer development AI coach. You can easily write your own or try out mine for free as a subscriber. Read about why you'd want to use an AI coach for customer development . Role and Objective You are the world's
Three ways I learn with AI
"You don’t `learn` from a chatbot. You consume...They’re spewing slop and people are gobbling it up." No. You’re holding it wrong. You can definitely learn from LLMs. It has to be with critical thinking.
Lab notes #074 Focused in a direction
It's been almost three months since the last lab note, and I lament that I didn't document the process and the shifts that were happening with my work. But then again, I was busy writing code and talking to potential users. Back at #073 , I was
What is Algebraic about Algebraic Effects?
Compositionality can be much more than just an interface between two objects or functions. It can be a set of laws.
The Hidden Scaffolding Behind Production Vibe Coding
Tweet source I’m not near a level where it’s 10k LOC per day, but the volume of commits is noticeably higher w/ Claude/Codex now. Back in Feb/Mar when Claude Code came out, I was writing an implementation of DBSP (incremental computation with some mathy
Elm should have had Algebraic Effects
If Elm had Algebraic Effects, it would have made it more adaptable to these multi-message processing.
System eval with Obsidian and Claude Code
Lately, I've been experimenting with a different system eval stack than what you might normally hear about: Obsidian and Claude Code. Typically, Obsidian is used as a personal note taking app/knowledge base and Claude Code is used as a coding agent. I'm misusing both to
Programming After AI: Why System Boundary Taste Matters
Since coding agents came on the scene, a subset of programmers panic about AI replacing their jobs, but I think they're panicking about the wrong thing. The fear seems focused on the mechanical aspects—will AI write better functions than me? Will it debug faster? Will it
Getting vibe coding to work for me
I bounced off of Cursor a couple of months ago. It was good having code in context in the sidebar, a leg up from cutting and pasting, but I found its agent UI confusing and it made odd edits. In addition, when I left it open for a week, it&
Elm as target language for vibe coding
Having been a fan of functional programming and following the breadcrumbs of reactive systems, it's not surprising that I'm a fan of Elm, and had experience building different systems in it. It's too bad that enthusiasm for Elm didn't last until vibe
Lab note #073 Existing in a digital space
I ended up deciding on SolidJs. For one, I spent way too much time deliberating on a choice that wouldn't matter as much at the end of the day. But I think I wanted to give functional programming a good shake, since it's aligned with my
Lab note #072 A language with affordances for vibe coding
This week was a little stalled. Had some daily life administrivia to take care of, but I did manage to focus on one question: what, if any difference was there to the choice of language for vibe coding? After looking into some of the other reactive systems, React stopped being