🌶️ spicy take, software correctness
The common ways that software developers try to solve software correctness reminds me of broader societal issues...
Automated tests: don't try to solve the systemic problem, just institute enough procedures for specific cases and hope you've covered enough of it
Static type checking: don't try to solve the systemic problem, just treat everything and everybody as untrustworthy, you cannot trust anything that isn't verified by a computer
(Please do not reply with 'counterarguments' until you *really* understand where the analogies are coming from here)
respirator rec? 😷👺🛫
hello! i am going to be on an intl flight next month and would like to not get murderized or sick! what masks/respirators would you rec?
- i'm willing to spend for my health (espc if it's reusable)
- it'd be great if the respirators were reusable
(other safety practices are welcome too! previously i'd use reddit but nope :P)
@gwenprime there's cuddles in They/Them Hills!
on walt whitman's 64th birthday, he wrote a letter to a dear friend of his:
"the principal object of my life seems to have been accomplish’d - I have the most devoted and ardent of friends, and affectionate relatives - and of enemies I really make no account."
walt was not a celebrated poet at the time - he confronted life and find meaning for himself through his friends and relatives
it moves me to tears & inspires me
when walt died, 1,000 people went to his funeral
listening to [dog watch 220509](https://www.youtube.com/watch?v=Fw29uDiKlGo)
mei is me&i, is me and I,
is plural, cat, , distinct and intertwined
photographs
programs
poet
musician
image-editor
[WARNING: warranty expired 2004-01-10T14:30:00Z. contact [EXPUNGED] to extend.]
I gave my map away, but it's time to push and pull, change and ~~kill your past~~. Oh... To know the catharsis of loving again reminds us of how much we bled. This heart wasn't made for loving anyone, but now I know where I am. I make my own path.