we have defined behavior at home
@aeva back when I was your age, compilers didn't define behavior. just vibes
@aeva see people like Tom Duff invented Duff's Device and then a bunch of neckbeards convened and asked themselves "is this something a C compiler would allow" and decided YES and that is how things worked back then
@rygorous as a straw anarchist I believe well defined behavior is inherently authoritarian and should also be abolished
@aeva @rygorous but how can you conduct a meeting if you don't agree on the rules
@aeva along the same lines I will argue back that defined behavior is ultimately at best a stochastic guarantee anyhow because every machine behaves incorrectly on a regular basis

@aeva programmer, clutching their pearls: "but my invariants!"

overclocked machine with bad memory: "haha bits go brrrr"

@aeva I have had this debate about things like 128-bit hash collisions etc. sometimes (so, by birthday paradox, ballpark 2^(-64) chance of that happening randomly).

If you have to worry about adversarial action, absolutely valid concern.

But if you worry about it happening randomly, then just, nah, there's so many sources of potential failures at much higher likelihood that the p=2^(-64) random failures, if not induced on purpose, are simply not worth worrying about

@aeva Ballpark comparison: annual odds of being struck by lightning in the US are around 2^(-20).

I realize this opens me up to a "Lightning Roy who spent his life outside and kept getting hit by lightning [1] was an outlier and should not have been counted" line of argument but still

[1] https://en.wikipedia.org/wiki/Roy_Sullivan

Roy Sullivan - Wikipedia

@rygorous @aeva
More than 300 people are struck by lightning in the US every year? That's actually pretty high TBF
@StompyRobot @rygorous Read a compelling article on lightning strike survivors the other day: https://www.theatlantic.com/magazine/2026/04/lightning-strike-survivors-body-mind/686057/ which had a theory in it that multiple strike victims may sometimes be exhibiting PTSD symptoms & attributing to repeat strikes. Interesting idea.
What 100 Million Volts Do to the Body and Mind

The odds of being struck by lightning in America in a given year are one in 1.2 million. How does the experience reorient a person’s sense of chance, of fate?

The Atlantic
@StompyRobot @rygorous @aeva there's a New Zealand member of Parliament who has been struck by lightning three times. She doesn't approve of synthetic pharmaceuticals or believe in climate change, but that's apparently unconnected with the lightning

@StompyRobot

It seems about right (for injuries - I suppose there are a few hit who aren't actually injured). About 10% fatalities, and it seems easier to get those numbers - though presumably with more variability. 20 last year, but it seems to run more like 30.

No vaccine for it as yet but there is medical advice on prevention and treatment.

That would probably be a harsh vaccine, a little worse than the shingles one.

@rygorous @aeva live programmer reaction
@rygorous @aeva very spicy take, thank you 😋
@rygorous @aeva I'm amazed how my backups of computers I've owned thirty years ago still have the same checksum.
@GyrosGeier @rygorous @aeva I am amazed how a lot of major filesystems still do not support data checksumming at all.
@aeva @rygorous You might well enjoy the intercal programming language 😜