Jons Mostovojs @jonn@social.doma.dev

rescue 5 rich guys: around the clock media coverage and no expense is too much, because life is utmost concern
rescue countless poor people: rot in jail for 20y you terrorist!!1!
https://morningstaronline.co.uk/node/71822

If you are implementing #TypeSystems and would like to present your work or discuss with likeminded people in beautiful Braga, consider submitting a 1-page abstract to #WITS23. The deadline is in one week, I know you can do it!

https://ifl23.github.io/call_papers_wits.html

#Haskell #Agda #Coq #Idris #Lean #Rust #Scala #OCaml #etc

I'd like to try Sublime Text

I can't decide if I want to install it from Flathub or from Snap

I want a completely FLAWLESS user experience

I don't want silly clueless dialog windows, I don't want ANY glitch

I'd rather stay with Emacs

Ay hint appreciated

#ubuntu
#python

Situation at the russian-occupied Zaporizhzhia nuclear power plant is extremely fragile

“Now more than ever, all sides must fully adhere to the IAEA’s basic principles designed to prevent a nuclear accident. We will intensify our efforts to help ensure nuclear safety and security, while also providing assistance to the affected region in other ways,” Director General of the International Atomic Energy Agency (IAEA) Rafael Grossi has said in a statement

Source🔗 https://www.weareukraine.info/situation-at-the-russian-occupied-zaporizhzhia-nuclear-power-plant-is-extremely-fragile/

#Ukraine

I'm laughing at memes about billionaires who can't pull themselves up to the surface by their own bootstraps, but in reality I'm furious.

I'm furious I was accused of human smuggling by FRONTEX (European border agency) for being part of a sea rescue operation that saved 1000+ lives of refugees fleeing war & terrorism.

I'm furious at the money & international effort being spent to rescue these billionaires when operations like ours cost so little and save so many lives, but are punished.

1/3

In case you missed it: the zine about bytes and numbers I’ve been posting pages from for the last 5 months is finally out!! It’s called “How Integers and Floats Work” and you can get it here: https://wizardzines.com/zines/integers-floats/?utm_source=mastodon.

here's the table of contents:

if you're in need of a pack of free N95 or KN95 facemasks, check out https://www.projectn95.org/free-masks/

i requested some masks via email last week and they sent me a whole pack of 'em, which just arrived today.
shout out to @kelluri who let me know about this resource! 😊

Russia is preparing a terrorist attack on the Zaporizhzhia Nuclear Power Plant, the biggest nuclear power plant in Europe.

How is your day? #nucleardisaster #nuclearwar #standwithukraine # #Ukraine

@dana Yeah we somehow need to #StopRussia creating a #nuclearDisaster in #Ukraine through its planned act of #terrorism. We all know it is going to happen, and it wouldn't happen if the #counterOffensive was able to move faster, and it would be faster if we would just #giveUkraineF16s already. Western dithering on Ukraine has cost countless lives and now it is going to enable Russia to create another ecological and humanitarian disaster.

With all the focus on #supplychain attacks, surprised to see #Elasticsearch not upgrading their package signing key from SHA1 for more than a year.
Wouldn't this negatively impact their evaluation at government, finance and many other sectors?

https://github.com/elastic/elasticsearch/issues/85876

Happy Anti-Fascist Struggle Day to all my #Croatian comrades.🌹✊ #SFSN

While Putin is bombing civilians in #Ukraine, a European shoe company has stayed in Russia to increase their profit.

Let's tell the world — please boost this video:
https://youtu.be/AWnRF0YZjSI

If you would be so inclined to boost and/or join - I've created a Traveller RPG and OD&D RPG magazine on kbin. You can follow them on Mastodon, and you can participate on kbin or follow them off lemmy.

https://kbin.social/m/ODnD

https://kbin.social/m/traveller

Folks, get off Twitter. I don’t care where you go, be it Bluesky or the Fediverse, but leave Twitter.

Your continued involvement on Twitter supports this.

Musk's Saudi-government-funded "free speech" Twitter now considers "cis" a slur that can be punished by suspension of the account.

Just a reminder that journalists are directly supporting his extremism by pouring their work into his site. And advertisers (including some media companies) are even more directly supporting his extremism.

I have my own hypocrisies, but helping Musk poison our public discourse is not one of them.

Made a thing