Michael Bernstein on Propositions as Types - originally posted on Sep 2, 2015

📺 https://www.youtube.com/watch?v=K-YYoigWN24

#paperswelove #video

Instead of giving billionaires a platform, how about focusing on this questions?

Instead of falling for #AIHype or #AGIPanic how about spreading this ideas?

Pic taken from Abeba Birhane's Twitter quote:

@timnitGebru starts the @DeepIndabe keynote with a bang! #DIL2023 #Indaba2023

👇

This question didn't work over at that old social media thing, but maybe on Mastodon:

Does anybody know of a good #OpenSource #Notation software as a replacement for #MuseScore because I don't want to use it anymore (for various reasons). I'd need a macOS build (preferably ARM).

I'd love a boost for that. ❤️

PSA: until you've experienced burnout, you are likely to underestimate how long it takes to recover. It's not a couple of months, it's 6-18 months for partial recovery, and maybe 3 years for full recovery (all depending on how bad it gets). The company burning you out will almost never support your recovery, mostly they'll drop you when you stop being productive.

Nobody in business cares about your health but you, so be your own advocate, or suffer the consequences.