The post explores the concept of 'Algebraic Effects' in programming, emphasizing the importance of structure and compositionality in code. It contrasts traditional views of compositionality with a mathematical perspective, particu...
About:
Interjected Future is a website focused on local-first software, LLMs, programming, tech optimism, and startups. It is associated with the Twitter handle @iamwil.
Website:
Specializations:
Subscribe to RSS:
The article discusses the anxiety among programmers regarding AI's potential to replace their jobs, arguing that the real concern should be about understanding system boundaries rather than just coding efficiency. It emphasizes th...
The post discusses the limitations of the Elm programming language, particularly its unidirectional data flow and how it complicates handling multiple messages and side effects from a single user action. It highlights the simplici...
The article discusses the challenges founders and product managers face in customer development, emphasizing that simply talking to users is insufficient. It highlights the importance of a feedback loop in interviews, which is oft...
The article discusses how AI can transform the learning process by allowing individuals to start with practical applications rather than traditional prerequisites. It emphasizes that curiosity and critical thinking can drive learn...
The author discusses the suitability of the Elm programming language for vibe coding, particularly in the context of large language models (LLMs) coding. Key advantages of Elm include its strong type system, clear error messages, ...
The author discusses their decision to use SolidJs over Elm for a project involving AI avatars in a digital space. They reflect on the challenges of functional programming, particularly with Elm's handling of side effects. The pos...
The post discusses the author's experiences and insights on 'vibe coding' in production environments, particularly using AI tools like Claude and Codex. It highlights the importance of proper scaffolding, task breakdown, and the n...
The text outlines a structured approach for evaluating a customer development conversation, focusing on identifying effective and ineffective questions posed by the author. It emphasizes the importance of understanding customer ne...
The author argues that while chatbots and LLMs (Large Language Models) can be useful learning tools, they should be approached with critical thinking. The text discusses three specific ways the author utilizes LLMs: as a teaching ...
The author discusses an innovative approach to system evaluation using Obsidian as a documentation tool and Claude Code as a coding agent. By combining these tools, the author creates a repeatable evaluation process that allows fo...
A personal reflection on 2025, highlighting a shift from database work to reactive systems, project challenges, and a commitment to improve productivity and clarity in future endeavors.
The author shares their experiences with various coding tools, particularly Cursor and Claude Code, highlighting frustrations with user interfaces and responsiveness. They emphasize the importance of adapting workflows to better u...
The author reflects on their recent experiences with LLMs (Large Language Models) and productivity tools, particularly focusing on the use of Obsidian and Claude Code for system evaluations. They discuss the challenges of obtainin...
The author discusses the choice of language for vibe coding, considering alternatives to React, such as Svelte-likes, Solid-likes, and Elm. The author is leaning towards SolidJs due to its ability to move stuff around at 60fps whi...
The author started a prototype on an app that helps users make buying decisions with an AI agent. The effectiveness of agents depends largely on the context you can give it. The author also realized that this has very good alignme...
The author discusses their experience with using AI to write code and the challenges they faced. They found that using AI to write product description docs (PRD) was more successful. They also discuss the limitations of AI in thei...
The author discusses the implementation of DBSP and the challenges faced in generating prompts to vibe code. They also talk about their experience with OpenAI Codex and Claude Code, and the difficulties faced in getting usable cha...
The author discusses the progress made in the past two weeks, including research on notebooks, E-graphs, Interaction Nets, Incremental Lambda Calculus, and DBSP. They also talk about the strengths and weaknesses of Jupyter noteboo...
The author discusses the inevitability of writing an interpreter/compiler, the properties and constraints of the notebook, and the need for reactivity, collaboration, and observability. They also explore the challenges of pipeline...
The author discusses the challenges of implementing an effects system using native async/await, and the roadblocks encountered along the way. They explore different options and consider the implications of various design choices, ...
The text discusses the concept of vibe coding and AI-assisted programming, and the author's experience with it. The author also talks about async computation and the challenges faced in the process. The text also includes the auth...
The text explains the concept of a Kleisli Category, which provides a way to encapsulate and compose effectful computations. It discusses the core concept, why it matters in functional programming, and reflective questions. It als...
The text is about the work on the scheduler to support async effect handlers. The author discusses the API, reactive functions, effect descriptions and their handlers, async handlers, and the use of vibe coding. The author also me...