Dev Home is a new control center for Windows providing the ability to monitor projects in your dashboard using customizable widgets, set up your dev environment by downloading apps, packages, or repositories, connect to your developer accounts and tools (such as GitHub), and create a Dev Drive for storage all in one place.

• Use the centralized dashboard with customizable widgets to monitor workflows, track your dev projects, coding tasks, GitHub issues, pull requests, available SSH connections, and system CPU, GPU, Memory, and Network performance.
• Use the Machine configuration tool to set up your development environment on a new device or onboard a new dev project.
• Use Dev Home extensions to set up widgets that display developer-specific information. Create and share your own custom-built extensions.
• Create a Dev Drive to store your project files and Git repositories.

https://learn.microsoft.com/en-gb/windows/dev-home/

It’s standard markdown afaik. Two new lines creates a new paragraphs, two spaces and one new line creates just a new line.

I’m curious, is there an advantage of running a script over an add-on? Like is it faster or takes less resources? Or did you just happen to code it like that? Not complaining though, it’s been working great for me so far.

Developer of RedReader also said they want to eventually support Lemmy and perhaps tildes and hacker news, even though RedReader got an exemption from the api fees for now. But as a “long-term vision”, so probably not immediately.

Wow, it almost sounds like forming a government with a far-right party might not be such a great idea after all.

Shit, I like HEVC in theory for the compression especially but it’s copyrighted bullshit or whatever.

Isn’t the same true for AVC/h264, at least in principle? https://en.wikipedia.org/wiki/Advanced_Video_Coding#Licensing Might be less of an issue in practice though, idk.

To my knowledge, neither the USSR nor the PRC ever claimed to actually have achieved communism (hence why the USSR has “socialist” in its name, not “communist”), but they were governed by “communist” parties in the sense that they were following in the tradition of Marx and Lenin and at least claimed to want to achieve communism at some point. Of course, the USSR no longer exists, and the PRC has undergone a series of economic reforms since the 1970s, after the death of Mao. They now claim to follow something they call “Socialism with Chinese characteristics”, but as far as I can tell it seems very similar to something I would call “capitalism in an authoritarian one-party state and a bunch of blabla about how it technically doesn’t contradict Marx”, but ymmv. So imo the CCP is now only called “communist” for historical reasons, and in that sense I see it as similar to the case of North Korea, but they might still have some theorists who would disagree with that assessment. And in the West in particular many people just mix up terms like “socialist” and “communist” anyway, and also often don’t realize that the economic systems of Russia and China have changed a lot since the end of the cold war (or Mao’s death).

sidebery (best tree tabs I can find)

I was looking for something like that, thanks! I also followed these instructions to hide the native tab bar.

I believe this can happen if your instance (in this case lemm.ee) doesn’t yet know about the new community. But if you enter the full url (https://lemmy.blahaj.zone/c/lemmy_wishlist) into your instance’s search, it should look for it and find it. Maybe you have to wait for a couple seconds but for me this usually works.

It’s not entirely the same though. Some of the “tankies” in the West seem to be Maoists more than Stalinists, as far as I can tell. Besides, some (many?) Stalinists also consider the term “Stalinist” derogatory, and prefer to call themselves “Marxist-Leninists”.