@samir@functional.computer2024-12-20 23:02:04
@… @… *smashes the Subscribe button*
@stephane_klein@social.coop2024-11-20 06:43:56
« #BDR139 : On traîne Bernard Arnault devant les tribunaux ! »
https://www.youtube.com/watch?v=ix1u5QDu6f8
@…
@samir@functional.computer2024-12-20 22:52:44
@… @… There is so much right about this that I don't know where to start.
The only worry I have is that it sounds hard for someone else to create a competing implementation, and I think that we need more of that from our…
@samir@functional.computer2024-12-20 20:36:31
@… @… I love this SO MUCH
@samir@functional.computer2024-12-20 23:01:21
@… I was allowed a beer afterwards. This one, specifically: https://untappd.com/b/bad-seed-brewing-sleigher/5581774
@samir@functional.computer2024-12-20 20:41:09
@… Very cool!
I agree. This isn’t the 1980s any more, and we’re past the point that one person can build an operating system. And this is a large chunk of an operating system.
This is why I’m not even trying. But if people were willing to try with me, and I trusted them, I might change my mind.
(Unrelated: I am working on another pair of “…
@samir@functional.computer2024-12-20 23:42:36
@… There is a read API, but it returns “”.
@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…
@samir@functional.computer2024-12-20 22:59:38
@… Best kind.