i truly want to believe in our fantastical AI+FV client future..
..but until we get there & derisked all the unknown unknowns.. i'm doing to continue to point to the clients that have made the past 5-10 years possible, and yell loudly for stable funding
@dankrad Also, coming from a verification background, the tooling doesn't seem to be quite there yet. There are no vibe-proven systems in production yet, and the gap between toy projects (or math) and large production codebases is enormous.