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

189

Followers

761

Following

1824

Total Posts

📜 Kullanıcı Geçmişi

  • 19 Ağu 2024, 21:06
    🎉 Bluesky'e katıldı - İlk kullanıcı adı: @cutterferry.bsky.social

❤️ Beğendiği Gönderiler

Literally every open source maintainer who receives security reports is dealing with this right now. Every single one

Show Post
Hazel Weakly
31 octobre 2026 22:59

I 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 Post

If the punishment is a fine, it isn't really illegal for rich people 👇

Show Post

They 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

Choisir la langue