making people do formal deductions is like making people compile code by hand maybe do it once, just so they can go "thanks GOD computers exist" but DON'T MAKE THEM DO IT FOR A WHOLE SEMESTER!!!"

Posters: natural_hazard. natural_hazard

2 likes recorded by the source corpus.

Topics: Learning

View Post: https://x.com/natural_hazard/status/1243565866920415232