i have already seen ai enthusiasts make quite clear that they imagine the purpose of formal theorem verification is to act as a bolt on for llms
- Posts
- 13
- Comments
- 302
- Joined
- 3 yr. ago
- Posts
- 13
- Comments
- 302
- Joined
- 3 yr. ago
TechTakes @awful.systems Big Tech’s Anti-Labor Playbook Has Come for Wikipedia
TechTakes @awful.systems America’s Tech Right Is Obsessed With Building Giant Statues
Buttcoin @awful.systems What World Does Bitcoin Want To Build For Itself?
Buttcoin @awful.systems U.S. Housing Agency Considers Launching Crypto Experiment
Buttcoin @awful.systems dog wif tools rugpuller tool rug pulls rugpullers
TechTakes @awful.systems elon musk's obsession with the tic tac toe of video games
TechTakes @awful.systems the dead end grift that is lab grown meat
TechTakes @awful.systems a stunning self own
TechTakes @awful.systems the enshittification of magic: the gathering
TechTakes @awful.systems "I consider myself a dark elf"
TechTakes @awful.systems Microsoft to reopen 3 mile island to power AI
TechTakes @awful.systems taking a peek at a subreddit for lovers of ai art
TechTakes @awful.systems Techno-utopianism and the path into darkness



i don't think she should be allowed to say "the ghetto." doesn't matter whether it's problematic when someone else says it, she definitely doesn't get to