Skip Navigation

InitialsDiceBearhttps://github.com/dicebear/dicebearhttps://creativecommons.org/publicdomain/zero/1.0/„Initials” (https://github.com/dicebear/dicebear) by „DiceBear”, licensed under „CC0 1.0” (https://creativecommons.org/publicdomain/zero/1.0/)S

synthetic_apriori

@ synthetic_apriori @programming.dev

4
5
3 yr. ago

  • Why don't schools simulate a typical 9 to 5 work week for students and remove homework entirely?

  • Why don't schools simulate a typical 9 to 5 work week for students and remove homework entirely?

  • Exercise/sports have so many positive benefits in the context of education. The benefits toward discipline and physical health are obvious, but they also promote greater mental sharpness and spiritual well-being.

    Anecdotally, most of my mathematics professors were big on exercise in one form or another. I had a older professor who could easily sprint up the six flights of stairs to his office, and I had another professor who was into running marathons. I even heard that at one point, all the logicians at Cornell became very into weightlifting.

    Anyways, my point is that any well-rounded education should involve sports (though, maybe not necessarily American football; I can agree with the other user on that front).

  • Why don't schools simulate a typical 9 to 5 work week for students and remove homework entirely?

  • What was the saddest meal you have ever eaten?

  • I spread shredded cheese on a plate and microwaved it. More than once.

  • Work Music @lemmy.world
    synthetic_apriori @programming.dev

    Steve Reich - Sextet

  • Formal Methods @programming.dev
    synthetic_apriori @programming.dev

    The Dafny Programming and Verification Language

    dafny.org

  • Random internet people explaining math better then math teacher

  • and then you grow a bit older and realize that coding has nothing to do with math, instead it's got everything to do with problem solving.

    Wait until you realize what math is all about

  • Permanently Deleted

  • This would be great to post on /c/formal_methods which was just created!

  • Formal Methods @programming.dev
    synthetic_apriori @programming.dev

    Back in June, NASEM hosted a workshop on using AI for mathematical reasoning; many talks discussed the use of AI in developing formal mathematical proofs and formally verifying software

    www.nationalacademies.org /our-work/ai-to-assist-mathematical-reasoning-a-workshop