No exact results. Similar results found.
@Buterin@qoto.org2024-12-26 09:35:22
@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…
@tobi@dz.social2024-12-17 10:29:53
Having picnic with @… at Jardin d’Essai Hamma.
