[ July 9, 2025 - July 11, 2025] Conference or similar: Workshop on Walter Benjamin’s “theory of fascism” https://philevents.org/event/show/127314
@… 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 05 - Pressure Point
AVON: [Completes his dash with Gan catching him. Places his hand on Blake's arm.] Thank you.
BLAKE: [To Vila] How long?
https://blake.torpidity.net/m/205/449 B7B5
Series D, Episode 04 - Stardrive
TARRANT: What use will that be? The main drive chamber can't be pressurized. How do you carry out a delicate repair operation wearing a spacesuit and gauntlets?
VILA: I don't.
https://blake.torpidity.net/m/404/48 B7B5
#Blakes7 Series B, Episode 05 - Pressure Point
BLAKE: Just get started on the door. [Avon fires again and starts to run but trips and falls.]
BLAKE: Avon! [The wires grow toward each other.]
https://blake.torpidity.ne…
Series B, Episode 05 - Pressure Point
BLAKE: We'll pull out. Give it another hour.
[Inside the Security station]
https://blake.torpidity.net/m/205/168 B7B2
Series B, Episode 05 - Pressure Point
JENNA: Avon. Good luck.
AVON: Put us down, Cally.
https://blake.torpidity.net/m/205/302 B7B3