Jons Mostovojs @jonn@social.doma.dev

Throw a cubical die into the air, and photograph it with a high-speed camera in midflight. Assuming half the faces are visible in each photo, what is the *average* number of times you would need to throw-and-photograph the die before all 6 faces have been photographed?

[This is inspired by a similar puzzle for a sphere, https://twitter.com/mikeandallie/status/1663710291769557002, for which Mike Lawler and Christopher Long found a very nice solution for any dimension.]

COVID outbreak at CDC gathering infects 181 disease detectives

Nearly all of the attendees were vaccinated, but 70% said they didn't mask.

https://arstechnica.com/health/2023/05/covid-outbreak-at-cdc-gathering-infects-181-disease-detectives/?utm_brand=arstechnica&utm_social-type=owned&utm_source=mastodon&utm_medium=social

300 USD fundraiser to repair the car we bought for #medevac purposes. Any amount helps!

EUR: IBAN/SWIFT
UA793220010000026207335419863
USD: IBAN/SWIFT UA493808050000000262025459354

Address: 28142, Ukraine, reg. Kirovohradska, district Kompaniivskyim village Harmanivka, st. Molodizhna, build. 1.

VASYL HAIDUK

PayPal: belandavaha@gmail.com

Monobank:
4119970091035117

@virtulis re cooperating on solutions in TS: I’d love that!

Ukrainian graduates dance in front of their school in Kharkiv, damaged by russian attacks

Graduates of the #Kharkiv school have marked their graduation with a #dance performance in front of their damaged school.
The Ukrainian Ministry of Defense shared a video of their performance. The footage released by the ministry shows ballerinas dancing waltz in front of a #school that was ruined during russian attacks.

Source🔗 https://www.weareukraine.info/ukrainian-graduates-dance-in-front-of-their-school-in-kharkiv-damaged-by-russian-attacks/

#Ukraine 🇺🇦 #SlavaUkraine #StandWithUkraine #ballet

_Functional Programming in Lean_ is now done and out the door!

It's a free online book that describes using the interactive theorem prover Lean 4 as a programming language, without assuming any background in functional programming. You don't need to already know Haskell, OCaml, Rust, Scala, or Racket to read this book.

You can read it at https://leanprover.github.io/functional_programming_in_lean/ .

Thank you to everyone who's carefully read prereleases - it's much, much better than it otherwise would have been. The Lean Zulip is a great place to hang out.

Also, thanks to MSR for supporting this project, and to Leonardo de Moura for initiating it. It's been a lot of fun!

Kyiv and all our cities, the whole of Ukraine will put an end to the history of moscow's despotism – address by Volodymyr #Zelenskyy President of #Ukraine 28/05/23

Extract
Our Ukraine. Our faith that we will pass this extremely difficult stage of history... We will, and all our cities will be free, and our people will be protected from any evil that may threaten our country.

Full address🔗https://www.president.gov.ua/en/news/kiyiv-ta-vsi-nashi-mista-vsya-ukrayina-postavit-krapku-v-ist-83213

#SlavaUkraine #StandWithUkraine

@m455 @SpindleyQ basically it's like this

#Zelensky asks parliament to sanction Iran for 50 years

The draft includes a complete ban on trade with Iran, investments, and transferring technologies, as well as stopping Iranian transit across the Ukrainian territory, and preventing the withdrawal of Iranian assets from #Ukraine

#Iran has supplied russia with military hardware including the Shahed loitering munition that russia has launched at Ukraine by the hundreds

Read more here🔗 https://kyivindependent.com/zelensky-asks-parliament-to-sanction-iran-for-50-years/

#SlavaUkraine #StandWithUkraine

@jonn I sat in K6 for qualifying in 2019.

I loved the atmosphere coming from the people partying on the boats.

It's also a great spot to see the cars really pushing into Tabac on the final runs of Q3.

I am about to launch the last building session before completing my micro-datacenter and racking everything ! Super excited.

"As soon as people are forced to compete, they have to look after their own interests and so self interest comes to dominate in a DP1 [autocratic/ bureaucratic] structure. All the team-building in the world cannot change this dynamic.” Merrelyn Emery

@trondhjort #NewCrafts

I deserve better than this opaque, institutional bickerings from a mature, open-source programming language.

The Pasture | I Am No Longer Speaking at RustConf 2023 | https://thephd.dev/i-am-no-longer-speaking-at-rustconf-2023