@davidaugust@mastodon.online2024-12-25 08:05:45
During WWII, when someone was sent to a concentration/death camp, the word used to describe it is “deported” to the camp.
The “mass deportations” currently being suggested today use the word “deportations” in the same way.
#HumanRights #deportation
@samir@functional.computer2024-12-20 23:00:25
@… 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…
@45names@mastodon.social2025-01-12 23:06:26
I am launching this bot today. It posts a nickname for the 45th President once an hour.
Enjoy!
(and please don't send me to a reeducation camp for making this)
- @…
#satire