I loved the transitioning/layering question you posed: Are you helping developers make better decisions? Or are you adding complexity that feels like safety while deferring uncertainty to the next layer? And with that transitioning/layering is it just managing uncertainty (ala oil reservoirs) or is there a novelty problem yet to be understood?
I would enjoy any conversation with you - I have enjoyed what I have read on Substack. You see similar puzzles that I do - I have often felt a bit lonely on my perch.
I wonder if the implication is that we should switch to writing code that can be formally verified ...
I am working on a formal verifier derived from observing agent exploration
Fair and balanced! Contrary to most posts on the topic of AI or Vibe coding, I left this article with some useful tips
I loved the transitioning/layering question you posed: Are you helping developers make better decisions? Or are you adding complexity that feels like safety while deferring uncertainty to the next layer? And with that transitioning/layering is it just managing uncertainty (ala oil reservoirs) or is there a novelty problem yet to be understood?
Paul - I might start a podcast soon . Would be great to have you on to continue this discussion
I would enjoy any conversation with you - I have enjoyed what I have read on Substack. You see similar puzzles that I do - I have often felt a bit lonely on my perch.