Show more
Jons Mostovojs boosted
Eugene McParland 🇺🇦  

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🔗 weareukraine.info/ukrainian-gr

#Ukraine 🇺🇦 #SlavaUkraine #StandWithUkraine #ballet

0
Jons Mostovojs  

@tomflood@mstdn.social also city: "how will bake lanes help the problem?"

1+
Jons Mostovojs  

@d_christiansen got it! Yeah, I know how hard it is to typeset print media.

1
Jons Mostovojs  

@d_christiansen yeah, I know these trick.

The question was meant purely as a question about supporting your work (in exchange for a typeset PDF :D).

Maybe community should typeset it for you? :)

1
Jons Mostovojs  

@d_christiansen can we buy it somehow? 🙂

1
Jons Mostovojs boosted
David Thrane Christiansen  

_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 leanprover.github.io/functiona .

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!

1+
Jons Mostovojs boosted
Eugene McParland 🇺🇦  

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🔗president.gov.ua/en/news/kiyiv

#SlavaUkraine #StandWithUkraine

0
Jons Mostovojs boosted
technomancy (turbonerd aspect)  

@m455 @SpindleyQ basically it's like this

0
Jons Mostovojs boosted
Eugene McParland 🇺🇦  

#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🔗 kyivindependent.com/zelensky-a

#SlavaUkraine #StandWithUkraine

1+
Jons Mostovojs  

Wowee.
The first medal for us in our history, right?

Feels surreally happy, even if not gold.

0
Jons Mostovojs  

@icon_of_computational_sin I don't like bouncers, but I can share an account on a VPS and you're free to do whatever you want within reason.

0
Jons Mostovojs boosted
Nick Tune 🇺🇦  

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

0
Jons Mostovojs boosted
Julien  

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

0
Jons Mostovojs boosted
Krisztina Hirth  

"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

0
Jons Mostovojs boosted
Björkus "No time_t to Die" Dorkus  

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 | thephd.dev/i-am-no-longer-spea

0
Jons Mostovojs  

Final tip! For qualifying, sector may actually be the best because it's the only grand stand sector I'm aware of that is in shadow.

I had an absolute blast.

That was a heck of a birthday present.

As I'm going to sleep, I'm thinking about all the male friends who, for the time being, can't experience such moments in life.

Please donate to to end the war with the victory of good over evil.

Show thread
1
Jons Mostovojs  

@gpollara both and are non-hybrid, assuming nothing changed in the past 2 years. A bit strange that F3 is so much louder.

0
Jons Mostovojs  

@nick_tune nah, 0 out of 3. These were three people I'd like to see on P1, rated by priority.

To be fair, if I had to predict, I'd predict 1. PER 2. VER 3. ALO, so 0 out 3 either way.

But if I had to bet, I'd bet on 1. VER. 😋

0
Jons Mostovojs  

That was a bit weird. 😃

Show thread
0
Jons Mostovojs  

Favorite part of the races in were safety car restarts. The qualy was a banger except for the bit where spoiled the fun for everyone. So many unexpected interim results! 's provisional pole was something.

engines are loud as fuck, both and pale in comparison. Which is great, I wouldn't want to sit through a full length race of that noise.

cars are huge. I wonder if they can make smaller hybrid cars since these sizes certainly require different circuits.

Show thread
1
Show more

doauth

53
Doma Social

Mastodon server of https://doma.dev.

Trending now

Resources

Developers

What is Mastodon?

social.doma.dev

More…