Jons Mostovojs @jonn@social.doma.dev

10yo and I were designing a moon base for a video game.

10yo: And what would the soldiers look like?

Me: They’d be wearing the classic NASA Moon suits.

10yo: So it would be like astronauts with guns?

Me: Always has been.

10yo: What?

Bad practices are annoying in nix code because i feel like i call them out 100 times. Now i'm just going to send this link to everyone

https://isabelroses.com/blog/im-not-mad-im-disapointed-10

Poland is preparing a new package of military aid to Ukraine, — Polish Defense Minister

Pistorius announced today that Germany will deliver nearly 50 additional missiles for the delivered IRIS-T systems to Ukraine.

The EU is ready to take the lead in supporting Ukraine if the U.S. steps back, — Kaja Kallas

Norway has allocated $61.6 million for drones for Ukraine. The country has contributed money to the International Drone Coalition Fund.

i hate git submodules with the fire of a thousand suns

Almost 40 years ago in 1985, Carl Sagan told Congress that continuing to burn fossil fuels will increase global temperature, cause climate change, melt glaciers and ice sheets, and cause sea level rise.

@jonn Canada would like a word...we are trapped between both!

Early today we launched the new Lean reference manual, our core documentation intended as a comprehensive, precise description of Lean! #leanlang #leanprover

Check out the manual: https://lean-lang.org/doc/reference/latest/

Read more about the release: https://lean-lang.org/blog/2024-12-16-introducing-the-lean-language-reference/

@jonn Right, but the frustrating thing is that there *is* a dichotomy. Types still only exist at compile time, and while types can depend on values, values can't depend on types. You're still running Program 1 first (the type/value program), THEN running Program 2 (the value program). Which means you still have to do indirection like Enum TBool | TInt | TBlah, etc. What I am more or less looking for is a type-safe version of reflection. So you could do something like fields(myType)

Garry Kasparov: 'You never hear Russian opposition actually say Ukraine must win'¹

In an interview with the Kyiv Independent, Russian chess grandmaster and political Garry Kasparov shared his thoughts on the current state of the Russian opposition, why they're looking for a "good tsar" to replace Putin, and why he'll push back at those who insist it's "Putin's war" rather than Russia's war.

Read the full interview here. ²

Photo: Saul Loeb/AFP via Getty Images

¹ https://kyivindependent.com/garry-kasparov-without-decisive-military-defeat-there-wont-be-change-in-russia/
² https://kyivindependent.com/garry-kasparov-without-decisive-military-defeat-there-wont-be-change-in-russia/

Today on Threads: Endless questions like:

"Where to escape from this?"

WHERE, I WONDER, TELL ME I WANT TO KNOW

#Threads #SocialMedia

She married Giuliano Mattioli in 1945. (He served in 1 Special Force as Julian Mathews, British Army.) They had 2 children. After the war, she worked as a TV producer. She was awarded 3 British Medals January 2015: The Italy Star, Victory Medal, 1939-45 Medal. She died on October 5, 2021 at the age of 96. (4/4)

#WW2 #SOE #antifa #Italy

https://www.gov.uk/government/news/rossana-banti-wwii-radio-operator-receives-3-british-service-medals

It's always "you need to build up a tolerance to crop failures" and never "billionaires should build up a tolerance to not having yachts".

If you enjoy using Mastodon for Android, please consider leaving a positive rating or review on the Play Store, because a lot of people who do leave reviews are like this:

This is how idiotic American Putin supporters are:

Picture 1: American right wing influencer Jackson Hinkle tries to portray Putin's violent takeover of Georgia as if it somehow aligns with traditional Georgian values, by posting a video of the Georgian folk group Trio Mandili.

Picture 2: Meanwhile, the actual Trio Mandili is on the Georgian Freedom Square supporting the democratic revolution, because Georgians do not want to live under Putin's tyranny.