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.
Nah we are basically immersed in a housing crisis, so no right to that. And every time an actual leftist party succeeds, our media basically unite against it while pretending to accept them. You can call it a “lesser evil”, but I would even doubt that, since China is probably talking about us the same way we talk about them.
I wouldn’t consider it an ideological thing, but more of a strategic decision by Xi et al.
I’d say it’s too soon to see if China will take an imperialist approach. The US and Europe seem to be decoupling from them, so they are in desperate need of well-developed markets that will buy their products. It’s in their own best interest that African nations develop quickly (which also hurts the US and Europe, making it harder to get cheap raw materials, thus doubly good for China).
It would be a win definitely, but unfortunately resolutions made by the General Assembly are not binding.
When returning from kernel code, one should issue Drop Execution Ring Privileges, of course.
Very interesting. I’d say China will only increase and cheapen its production even more, which will allow them to push their influence. They have been focusing on doing exactly that, by building efficient transportation networks, putting increasingly more companies’ equities in the hands of the state (and therefore sidestepping investors), and, recently, setting up abundant facilities for cheap, green energy production. All three of those policies rely for their swift and massive realization on what US policymakers nowadays seem to refer to as “non-market” dynamics, which are basically out of the question for them.
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.
Reminds me of the time an investigation into a high-profile corruption scandal in Spain revealed the names of those involved, among them “M. Rajoy”. There’s a running joke that no one knows who might be behind that name, it’s a mystery that may never be solved.
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.
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!
I wonder what the writings were, although I’m cautious on believing that they were antisemitic, since hating Jews and hating Israel have historically been opposing positions expressed by two widely different demographics, and now that division is clearer than ever.
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.
Countries anger and provoke each others’ populations by pointing out the bad stuff, and defend against that by censoring or otherwise cracking down on dissent. Articles like this are just attacks against us in this process, true, but I think specific ones like this are still useful, when critically understood, to help us realize that not only the countries we don’t like use those authoritarian tricks, but more or less every one (and those countries that don’t are couped by one or another who does).