Bluesky users:
Follow the robot @ap.brid.gy to let friends in the Fediverse (Masodon et al.) follow you.
Or allow the reception of messages from "everyone" in your account's settings.
@… 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…
Series B, Episode 08 - Hostage
AVON: Blake, there's a mass of ionized particles, vector three nine. If we can fly into it it could confuse their scanners for just long enough.
BLAKE: Avon might be right. Tangent one eight. Go for it.
https://blake.torpidity.net/m/208/38 B…