Jons Mostovojs @jonn@social.doma.dev

Maybe we shouldn’t try out our terraforming skills on our own planet?

Meanwhile, the Russians are busily destroying other dams and creating floods in other parts of occupied Ukrainian territory

https://khpg.org/en/1608812358

Any suggestions for meetups in the US or Canada that could be interested in having me talk about how and why Postgres should be an application platform?

I'll demo @Omnigres there, too!

Please boost the above, the situation is dire.

Volunteers are frantically looking for motor boats to evacuate people currently waiting for rescue on roofs.

In the occupied area any official disaster relief is nonexistent, rashist forces dropped everything and ran away, and are blocking rescue attempts from land. There are reports of attacks on rescue boats. Volunteers are risking lives carrying people across the overflowing Dnipro to the right bank.

My wife is currently part of the coordination effort, there are hundreds of people *known* to still be waiting for rescue.

I'm doubt anyone is asking for money in this situation but it certainly makes things faster.

#Ukraine #Kherson #dam #flood #emergency

I ported @mattmight’s CPS conversion code (https://matt.might.net/articles/cps-conversion/) into #Haskell and after some fighting with the type system, it worked! To make the interpreters work with the Cont monad, I had to remove recursive lets and hence, functions being able to call themselves recursively, but rest works.

The attached images show the conversion of the Fibonacci function into CPS version.

#Programming #ProgramingLanguages #Compilers #PLT

#Graffiti on UN Vehicles in Kyiv Reflects #Ukraine Feelings Over its Position on Dam Destruction

Graffiti appeared on UN vehicles parked in Kyiv that obliterates the “N” to convert the organisation’s logo into the word "Useless" in protest against its stance on the Kakhovka dam destruction.

On Wednesday, June 7, Yosyp Husak from Kyiv affixed placards that converted the #UN logo to read "Useless" on cars belonging to the United Nations

Read more here🔗 https://www.kyivpost.com/post/17995

🇺🇦 #SlavaUkraine

The Swiss Council of States adopted an amendment to the Law on the Re-export of Military Goods, which should allow third countries to supply of Swiss weapons to Ukraine https://mil.in.ua/en/news/the-swiss-council-of-states-approved-the-re-export-of-weapons-to-ukraine/ #Ukraine #UkraineRussiaWar #Swiss

https://twitter.com/militarnyi_en/status/1666443435484536837

Reposted from Twitter by @nafobot

#ukraine

I forgot when I was taking this pic that water acted to diffract / concentrate light to form a little lens. There's a cute little world inside each raindrop!

#MacroPhotography #Nasturtium #Nature #NaturePhotography

I’ve been doing a little stock take of my #CrossBorderRail work…

In the past 12 months I have investigated:
131 cross border railways in Europe
Travelled 62716km on 425 trains
Cycled 1662km in 62 different places
Travelled 2191km on 20 buses

And there's more to come!

Project website: https://crossborderrail.trainsforeurope.eu/

The entrance to the royal palace has collapsed. The characters have to find some other way in.

#Dungeon23

Blowing up dams is a crime under Rule 7 of the Geneva Conventions — said no BBC journalist to any of the Russian spox allowed a publicly funded platform for their lies and propaganda today

#Ukraine

In this Causal Islands🏝️ talk, Idris 2 creator Edwin Brady gives an introduction to his functional programming language built on Quantitative Type Theory. https://m.youtube.com/watch?v=0uA-tKR6Ah4&feature=youtu.be #functionalprogramming

This👇