▲ 4 pointsQuestions and answers on AI and verification: follow-up to my May ACM Tech Talkbertrandmeyer.comby rbanffy·19d ago·0 comments·view on hn ↗