The verification gap, ML training and more | Hacker News Reader