
@vzarytovskii it really has. and it's amazing how much library code can be stable (and the standard library is). i love the language for this aspect in particular.
English
Kristin Rutenkolk
635 posts

@Wire_Daemon
Formal Methods, Programming languages, Specifications. she/her 🏳️⚧️


lol




@fchollet ie in classic Monty, my initial door stays at 1/3 , because I always knew Monty would pick a goat door, so him eliminating one of the remaining doors is not evidence to update my door. So the last remaining door has all the remaining 2/3rds probability








how I miss the kind of love that made every afternoon of a long, boring summer feel warm and sweet. I'm done, I'm done, let me out somewhere else