3 ms·It might be a good idea to try vf-vibe-codingby visarga 2y agoIt might be a good idea to try vf-vibe-codingdarioush 2y agoActually I think we will be writing more of the verification coding and allowing the solution to be re-written as necessary by AI.nextos 2y agoThis is my take as well. I think something like Dafny + LLMs will raise in popularity.