@GroupNebula563@mastodon.social2024-12-05 20:05:26
I am so tired of people trying to shove AI down my throat that anytime anyone talks about AI or adopts anything using it or anything like that I will just go on a ten minute tangent about how massive companies suck and AI is not even remotely the future. You did this to me, OpenAI/Microsoft/Apple/<insert other massive company here>.
@volephd@fediscience.org2024-11-25 19:18:15
Has been far to long that I posted anything.
#IamBack
@samir@functional.computer2024-12-20 23:42:09
@… Can I interest you in /dev/null As A Service?
For the low price of $5.99/month, you can send me a link to anything, and I will lose it for you!
This is a write-only service.
@samir@functional.computer2024-12-20 23:00:25
@… Aha, I get you now! This is the best thing about proofs (I feel the same way about dependently-typed programming). The more information you can convey in a signature or type, the less you need to look inside.
I'm surprised you say that Go is close to it, though; is this because of culture? I'm sure that Rob Pike shouting “don't do anything cle…