Tootfinder

@… I definitely would enjoy learning more about this stuff. Do you have any good places to start?

Crises affect activity demand differently, depending on the activity type and person.
In our new paper:
👉We divide the population into lifestyle typologies using Latent Cluster Analysis
👉A typology of activities covers possible interactions between crises and activities
👉Typologies of lifestyles and activity types provide a framework for forecasting
👉3 case studies are provided:
🦠COVID-19 pandemic
🥵heatwaves
⚡️energy
Preprint (without peer revie…

« #BDR139 : On traîne Bernard Arnault devant les tribunaux ! »
https://www.youtube.com/watch?v=ix1u5QDu6f8
@…

Drawing attention to this thread of comments of mine from a few days ago, as it goes deeper into apparent efforts from European nations to Trump-proof Ukraine, which is actually VERY important for European security.
It's nice seeing news articles pointing out Ukrainian funding & Russian appeasement isn't something Trump gets to dictate, but rather, a situation where Europe is trying to diplomatically push back against Trump to defend their legitimate security interests.

Is "decentralizedwashing" a term yet? See recent #bluesky discussions like: https://social.wildeboer.net/@jwildeboer/113487613965056474

Oooooo yeah okay.
I am definitely not comfortable with this one.
https://en.m.wikipedia.org/wiki/White_monkey

@… 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…

@… Amazing, thanks for sharing! It doesn’t surprise me that per-language approaches have been taken, and I would expect that if someone did this, it would be people who’ve already done it once, but niche.
I was definitely inspired a bit by Darklang.