Full threadbaking·One minute in to the first lecture: "We do theorems and proofs every single day, even today, and we never see anything practical on a robot."View on HN