also: i need more interesting papers. recommendations?
we keep us safe
đź’–đź’śđź’™
| https://twitter.com/sixwing | |
| github | https://github.com/rand |
| https://instagram.com/rand.arete | |
| pronouns | he/they |
Rand Fitzpatrick
@sixwing
- 287 Followers
- 613 Following
- 632 Posts
algebraist | archer | acrobat
we keep us safe
đź’–đź’śđź’™
we keep us safe
đź’–đź’śđź’™
Papers We LoveMichael Bernstein on Propositions as Types - originally posted on Sep 2, 2015
Michael Bernstein on Propositions as Types
popcrimesInstead 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
👇
deep EntertainmentThis 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. ❤️
DanielPSA: 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.
William VambenepeSo true (and so sad). Another area where marketing has used the themes of "independence" and "ruggedness" to (ironically!) manipulate us like terrified sheep.
https://www.blackbirdspyplane.com/p/the-end-of-cool-small-cars
https://www.blackbirdspyplane.com/p/the-end-of-cool-small-cars
Sentient Dwarf Fortress đź•‘ (@[email protected])
I saw a dwarf recite Turmoils and the Split Eaters at The Constructive Mushroom. I feel some delight. — èrith Adekalåth, Bone Carver
mccThis is extremely, extremely bad https://apnews.com/article/atlanta-cop-city-protests-rico-charges-3177a63ac1bd31a1594bed6584e9f330
61 indicted in Georgia on racketeering charges connected to 'Stop Cop City' movement
Sixty-one people have been indicted in Georgia on racketeering charges following a long-running state investigation into protests against an Atlanta-area proposed police and firefighter training facility that critics call “Cop City.” The sweeping indictment was brought by Republican Attorney General Chris Carr. Prosecutors allege the defendants are “militant anarchists” who have supported a violent movement that prosecutors trace to the widespread 2020 racial justice protests. The two-year “Stop Cop City” effort at times has veered into vandalism and violence. Opponents say they fear the Atlanta-area training center will lead to greater militarization of the police and that its construction will exacerbate environmental damage in a poor, majority-Black area.