T techinasia.com GitHub CEO: manual coding remains key despite AI boom 360 points andrewstetsenko 1 year ago 284 comments