The tooling hasn't caught up yet to code gen speeds. If we generate code at AI speeds, we need verification at AI. Bottlenecks move. If code gen was 50% of the time and now it's 0% (it's not), you only get 2x faster. Lots of people are building tools (myself included) to solve this verification problem at scale.
2 comments
[ 0.20 ms ] story [ 13.2 ms ] thread