Apakah Acorn adalah perangkat atau produk? Apa itu, sebenarnya? Kevin (@lacker) membahas apa sebenarnya Acorn itu, dan mengapa itu penting untuk bagaimana kita menulis dan memverifikasi matematika.