I don’t really think the Russian economy is any real bottleneck here; they have abundant natural resources, a densely-knit industry and even now still many trading partners. Ultimately the only realistic way to stop the war is a peace agreement, which is why people voted for Zelenskyy in the first place.

Depends a lot on where you live. In many countries, communism is simply considered “radical/violent” rather than “authoritarian”, and one is not considered a leftist of any sort unless they defend a leftist stance on the economy (progressive views on social issues may not be described as leftist everywhere).

The benefits of a free market have been discussed by communists in the past, and newer experiments like the reforms implemented by China make it clear that socialism is compatible with a free market, to very good results.

Thanks for engaging with OP in a civil fashion, especially when you felt attacked… Anyway, hmu if you want to discuss this in more depth.

Haha yeah, absolutely! Might be too messy to consider it “well used” though… But it does motivate me, seeing all the signs I put there and imagining one day I will conquer that mountain. Maybe not even on the second attempt, but definitely one day.

Yes, that’s true and a better way to look at it, thanks!

Well, I was amazed by proof systems like Coq or Isabelle, that let one formally verify the correctness of their code. I learnt Coq and coded a few toy projects with it, but doing so felt pretty cumbersome. I looked at other options but none of them had a really good workflow.

So, I attempted to design one from scratch. I tried to understand Coq’s mathematical foundation and reimplement it into a simpler language with more familiar syntax and a native compiler frontend. But I rushed through it and turns out I had barely scratched the surface of the theory. Not just regarding the proof system, but also with language design in general.

I did learn a lot though. Since then I’ve been reading more about proof systems and language design in my spare time, and I’ve collected quite the stack of notes and drafts. Recently I’ve begun coding a way more polished version of that project, so on to round two I guess!

One of the largest projects under my GitHub account is an attempt at a proof-based programming language that I had to abandon because I underestimated the theoretical work involved, did not RTFM enough and months into it realized the entire thing was unsound af.

Just applied it. Super cool!

Rule 34/34

They count it as Linux, yes!

I wanted to delete all the subfolders in the current directory:

 rm -rf ./*

After a few seconds, I realize in horror that I had mistyped the path. Whole system nuked. Had backups though.

Very cool context, thx!

If you can’t find a tool, this has worked to some degree for me. Open on e.g. GIMP, scale the images to the desired size in different layers, use perspective transform to align them very precisely, then set layer opacity so that you can merge them down with equal weight on each photo. It’s not a really good method, but might do the job. Good luck!

Well, to be fair there are indeed enough houses… We kinda just assumed they would, by the grace of the market, end up distributed among virtually all people and at a fair price. The reason they never did and increasingly don’t is one of the largest unsolved problems in economics /s

Palestine has attacked territory that was assigned to Palestine by the UN in 1947. The UN also makes it very clear that a country may lawfully recover occupied territory “by any means, including armed force”. UN laws are thus very clear: Ukraine and Palestine can recover territories by force. Now, that doesn’t mean you should support them in their struggle to do so, but if you don’t, it must be for some other reason (e.g., Israel taking over would constitute a huge strategic gain for the US, while Russia taking over would destabilize the world and thus benefit small or weakly aligned players).

Haha yeah, it did take 2-3 days for me to get up to speed with it, it does not work like a typical keyboard at all.

I use Thumb-Key, which is available both in the Play Store and F-Droid. The layout is pretty unusual but I really like it, and the main developer (one of Lemmy’s creators) really cares about privacy.

One way to see it is that if you tried to use a Linux filesystem on Windows, it would entirely refuse to read it. At least Linux can handle Window’s filesystems to a reasonable degree.

Why would you tell that to them? Schadenfreude? It’s just asshole behavior, and probably false even under your own definition (you should read up on medically defined biological sex, chromosomic vs genetic, gonadal vs apparent, also sex hormones and embryological development of primary sex characters), not to mention current definitions that are much more useful in practice. And even if you want to keep believing that trans people are just delusional and their ideas are completely false, think whether it would be fine for an atheist to laugh at someone whose only reason to keep going is God.