Jons Mostovojs @jonn@social.doma.dev

https://kyivindependent.com/ukraine-presents-us-list-of-targets-in-russia-it-wants-to-hit-with-atacms-missiles/

#UK and #France have greenlit the use of storm shadows in #Russia. US overruled it

What is the #USA doing?

I don't think it is frightened of #Russian nukes, nor involvement of Belarus/ Baltics/ escalation, etc

My opinion is it is election year games

Keeping things on a low simmer to prevent anything terrible that could swing the election

But this is a price being paid for in #Ukrainian lives

#Europe: please do what you can, our politics sucks

#Ukraine #UkraineWar

I was deleting photos off my phone and found this image from over six years ago. I don’t remember its source, but the sentiment is as true as ever (especially the pronunciation!).

#Linux is magic. Here are some tools I recently encountered that work only on Linux due to the aforementioned magic -

Inspect a command's effect before committing it to the filesystem - https://github.com/binpash/try

Box up misbehaving applications, forcing them to put files into the right place - https://github.com/queer/boxxy

I am looking for full-time PhD students on topics centered around knowledge graphs spanning from graph data management to neurosymbolic AI and GraphRAG.

Application deadline:
September 12, 2024

Link:
https://jobs.tuwien.ac.at/Job/236402

Bellingcat is a non-profit and the ability to carry out our work is dependent on the kind support of individual donors. If you would like to support our work, you can do so here https://www.bellingcat.com/donate/

Honestly I think we're screwed. Maybe I had some hope years ago, but after all that time from what I see around me, we're not going to do any significant changes that are needed.

I see people still flying to vacations, meetups, work stuff... A person I know flew south to be in the sun and then complained how hot it was. Meanwhile I'm contemplating if taking a 2-day bus/train ride is worth it to get to central Europe. Financially it makes no sense as flying is so subsidised that it's cheaper to fly to Europe. And booking it is a pain in the behind.

There has been some progress in diets, as we have a lot more plant based options available, but overall the numbers are not enough. At least I'm not usually getting ridiculed for my choices anymore. But being the only person ordering a vegan or vegetarian option in a large group tells me everything I need to know.

I bike to work year round and get admiring comments from people when it's raining or snowing or freezing outside. But honestly, for an able bodied person it's not such a huge deal to do. It's a hassle, sure, but in terms of personal sacrifices, for me it's a really easy choice to make. Meanwhile we have lowered the tax on petrol and have pretty much regulated ethanol cars out of existence. Biogas barely hanging on, and electric cars are too expensive. Any improvements for cycling infrastructure and for example trams in my city face fierce resistance, but there's always a need for more parking space.

The attitude of the people in my life on climate change range mostly from "I don't believe it exists" to "it's not our fault and we can't do anything about it" to "I don't think about it at all". Gotta love the jokes about climate change when it's -20°C outside, but when we're making new temperature records monthly or when it's 25°C in flipping early May, then it's always some other reason or just "nice and we should enjoy it". God forbid you try to mention the reasons behind the changes in the climate, then you're the ideological one and a spoilsport.

And it's not like I'm perfect. I make bad choices all the time. But it feels like at least I'm doing something, and what I get for it is reduced opportunities, extra hassle, and sometimes ridicule. I'd love to go to the alps for a skiing trip, or fly to Europe to a BEAM meetup or FOSDEM. Getting to experience an Airbus A380 would be so cool. And you know, plenty of times that plant based food has been subpar and I've looked at my friend's lunch with envy (recently less though). That's the nature of sacrifices, they suck. But what am I doing them for if it's all going to shit anyway?

I don't know how to end this properly, since it's just a thought dump. But don't tell me about your flight to the Azores and expect me to be happy for you.

My dudes, Telegram is not an e2e messaging app like Signal or WhatsApp. Telegram is more like Twitter. It is a social media app that is mostly public content that also happens to have DMs, where you can turn on e2e messaging with questionable cryptography that most people never even bother to use.

#GHC supports lexically scoped type variables, without which some type signatures are simply impossible to write. For example:
```
f :: forall a. [a] -> [a]
f xs = ys ++ ys
where
ys :: [a]
ys = reverse xs
```
The type signature for f brings the type variable a into scope, because of the explicit forall (Declaration type signatures). The type variables bound by a forall scope over the entire definition of the accompanying value declaration. In this example, the type variable a scopes over the whole definition of f, including over the type signature for ys. In Haskell 98 it is not possible to declare a type for ys; a major benefit of scoped type variables is that it becomes possible to do so.

An equivalent form for that example, avoiding explicit forall uses Pattern type signatures:
```
f :: [a] -> [a]
f (xs :: [aa]) = xs ++ ys
where
ys :: [aa]
ys = reverse xs
```
Unlike the forall form, type variable a from f’s signature is not scoped over f’s equation(s). Type variable aa bound by the pattern signature is scoped over the right-hand side of f’s equation. (Therefore there is no need to use a distinct type variable; using a would be equivalent.)