• gravitas_deficiency@sh.itjust.works
    link
    fedilink
    English
    arrow-up
    5
    ·
    12 days ago

    It’s funny, because in high school, I remember getting poor marks on proofs - and HATING them - because I was like “this is so fucking obvious jesus tap dancing christ” and just… skipped lots of steps.

    Fast forward to college and logic theory: that ended up being one of my favorite classes, because machine theory and problem reduction is a fascinating domain, and FAR more interesting than “prove this shape is the shape we say it is” or whatever vapid bullshit they had us doing in high school.