Hacker News new | past | comments | ask | show | jobs | submit
vikramkr | on: AlphaProof Code
Have seen that as well. A ton of the extra eng productivity has flowed into better eng practices