Radar 12 luglio 2026 Terence Tao prova i coding agent per costruire app matematiche vecchie e nuove Hacker News