Show more
Jons Mostovojs  

For speakers, here's an analysis of for you and the reason why it's not OK to listen to them (at least not on streaming services where they get money):

mox-diamond.livejournal.com/40 / mox-diamond.livejournal.com/43

Please note that since then, has played in a moderate-presenting z-patriotic show "kvartirnik u margulisa", which was an *overt* z-patriotic shitfest this year.

0
Jons Mostovojs  

I wonder how hard would it be to make a heavy metal band to steal songs of bands which have always been OK but got partially wrecked by and now should be cancelled.

Examples: and . Of course, the latter doesn't exist anymore, but still gets money from streams.

For me, some of their songs is exactly the reason why I grew up as a principled individual who stands for freedom and liberty. A lot of their stuff was anti-authoritarian.

The fact that some of the people involved ended up slaves to the evil force (see what I did there?), however, makes it seem that we understood what they were singing about better than themselves.

0
Jons Mostovojs boosted
івась тарасик  

@jonn it's scary how totally different (at least at the surface) movements & organizations can play together when their interests in upsetting or weakening the modern democratic world coincide...

#vatican, obscure african autocraties, european fascist collaborators, and even half-forgotten ideological frankensteins with blood-soaked banners, you name it.

0
Jons Mostovojs  

The most social(-ist) thing one can do is to stop the spread of red plague. Fuck commies!

1
Jons Mostovojs  

I hate opening accounts to learn they are at birdsite.makeup. But I like reading most of the posts that gets boosted into my feed. Should I defederate anyway?

I think so...

0
Jons Mostovojs boosted
Greg Egan  

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, twitter.com/mikeandallie/statu, for which Mike Lawler and Christopher Long found a very nice solution for any dimension.]

1+
Jons Mostovojs  

@icon_of_computational_sin with all respect to people who suffer from psychosis... I think it's more of a psychotic thing. A morally right thing would be to force him to go to a hospital.

0
Jons Mostovojs boosted
Ars Technica  

COVID outbreak at CDC gathering infects 181 disease detectives

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

arstechnica.com/health/2023/05

0
Jons Mostovojs  

Mutable slices are basically functors.

0
Jons Mostovojs boosted
Jons Mostovojs  

300 USD fundraiser to repair the car we bought for 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

1
Jons Mostovojs  

@IngaLovinde yeah I guess. Still their phrasing is "our mission was successful so we sold". In spirit, it's selling a non-profit. Maximum cringe.

1
Jons Mostovojs boosted
Anders Borch  

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

1
Jons Mostovojs  

support.edx.org/hc/en-us/artic been a while since I've been so angry.

How the fuck can you *sell* a non-profit? What the actual fuck?

1
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
Show more

doauth

53
Doma Social

Mastodon server of https://doma.dev.

Trending now

Resources

Developers

What is Mastodon?

social.doma.dev

More…