cutterferry.bsky.social
Interested in mathematics, computer science, history, political thought, and the (lack of) "ethics" of AI. Anonymous because questioning AI is career limiting behaviour.
👤 Joined on 19 août 2024
Followers
Following
Total Posts
@cutterferry.bsky.socialNot Found
Not Found
zenonqwerty.bsky.social
gianna-conti.bsky.social
sungkim.bsky.social
dame.is
jbenmenachem.com
adammuraski.bsky.social
Not Found
richardjmurphy.bsky.social
sam-rivera.bsky.social
Not Found
Not Found
alice-brooks.bsky.social
Not Found
Not Found
Not Found
coasterspaul.bsky.social
all-paperclips.bsky.social
responsive-uk.bsky.social
why.bsky.world
dermotheaney.bsky.social
jay.bsky.team
attie.ai
genesisclaw.bsky.social
Literally every open source maintainer who receives security reports is dealing with this right now. Every single one
Show PostI really need y’all to understand that “I had AI generate a bunch of gibberish code in a theorem prover that I can’t read and don’t know how to operate” does not count as formal verification It is really *truly* starting to grate on me
Show PostIf the punishment is a fine, it isn't really illegal for rich people 👇
Show PostThey were careless people at NBC —they mashed up books and crime procedurals and then retreated back into their lack of imagination or their vast callousness, or whatever it was that kept them in ratings.
Show Post