- 2 Posts
- 28 Comments
Yeah, road wear scales with mass⁴ afaik, so if the average bike with biker weighed 100kg (it doesn’t) and the average car weighed 1000kg (it doesn’t) you’d need 10000 bikes to make as much impact as that one car. Since cyclists are generally lighter and cars heavier, the ratio is much higher.
I would also imagine that the lower speeds and acceleration a cycle is involved in contributes—the tyre just isn’t subjected to as much force.
I’ve been using neovim for years (and the vim family for decades), and I guess with LSP it’s pretty much an IDE these days.
You’ll likely also want to check out
ruff
for linting and formatting, by the same company that makesuv
. It doesn’t enable a lot of lints by default, but there’s a long list of checks to enable.They also have a typechecker,
ty
, which is still in early alpha. If it’s as good as their other tools I expect it to become the standard for typechecking Python. Currently you’ll likely want to go withpyright
for that.
Yeah, it’s the kind of thing that in utopia would actually help search engines and users find relevant pages, but under capitalism becomes “hey, listen! look at
memy ads!”
esa@discuss.tchncs.deto Work Reform@lemmy.world•Iceland approved the 4-day workweek in 2019: nearly 6 years later, all the predictions made have come true.62·18 days agoI think it’s far more likely that the article that doesn’t know what “sweep under the rug” means also got other stuff wrong.
esa@discuss.tchncs.deto Work Reform@lemmy.world•Iceland approved the 4-day workweek in 2019: nearly 6 years later, all the predictions made have come true.413·18 days agoYeah, but there’s also no way anyone in the Nordics would be fine with a nine-hour workday. There’s something clearly wrong here.
I’d rather guess that they’re working a five-day workweek but have cut the hours per day from 8 to 7.2, or 8 hours Mon-Thu and 4 hours on Friday or the like. The article just comes off as weird.
esa@discuss.tchncs.deto Work Reform@lemmy.world•Iceland approved the 4-day workweek in 2019: nearly 6 years later, all the predictions made have come true.49·18 days agoThere’s nothing probable about the combination of a Nordic country and a 9-hour workday.
esa@discuss.tchncs.deto Work Reform@lemmy.world•Iceland approved the 4-day workweek in 2019: nearly 6 years later, all the predictions made have come true.221·18 days agoHow does a 36-hour workweek work out to a four-day workweek?
Here in Norway everyone in sneezing distance of a union deal has a five-day workweek at 7.5 hours a day, for 37.5 hours in total. (The law says six days at 8 hours; the half-hour difference is in practice lunch, which is your own time with a union deal and the boss’ time without. I think we could go down to 7h a day and get an hour of lunch like our neighbours.)
esa@discuss.tchncs.deto Linux@programming.dev•Should we use *Linux when referring to the entire system, instead of Linux?1·19 days agoNo, we shouldn’t, and yes, you’re overthinking, but I am finding myself inching closer to the GNU argument for the desktop/server OS, as I now not only use phone/Linux, but also a bunch of Kubernetes/Linux, with distroless images. It’s all using the Linux kernel, and possibly glibc, but it’s not Linux as we know it. The desktop/server OS meanwhile might not have GNU coreutils in some years.
But realistically we’ve been using Linux as the name for the family of desktop and server OS-es for decades now, and if you need to refer to the Linux kernel you call it “the Linux kernel” or just “the kernel”.
Earlier GNU wanted HURD as an alternative to the Linux kernel—same GNU OS, different kernel. What instead is happening is that we’re keeping the Linux kernel but replacing the GNU part of the OS.
Generally you just need to give as much information as the recipient needs to understand your message. Excess signals that don’t add information are what information theory calls noise.
It’s also likely a bit of cost-benefit analysis for self-hosting vs using a managed service.
Codeberg would be more in line with Mozilla’s ideals IMO, but GitHub is a pragmatic choice anyway.
Phabricator was an alternative for a development platform of sorts; development ceased in 2021. They’re still running here and there, but I expect them to be in the process of being deprecated.
Må innrømme at jeg ikke er kjent med uttrykket. Er det en dansk eufemisme for tysk?
esa@discuss.tchncs.deto Lemmy Shitpost@lemmy.world•How can you tell 23 subgenres of equally shitty growls and screams apart, but not see the most Metal basics?2·23 days agoYeah, some genres have a large segment of people who struggle to fit in with the mainstream. I’d like to think that they pick up something about social liberalism vs traditionalism from that, but there’s apparently also a significant segment who want as strict traditions as the mainstream, they just want somewhat different traditions.
Itt’s æ fønn mim, bøtt Ai ålwejs fil lajk thej kudd hæv dønn æ better dsjåbb åv the juropien spelling. In eni kejs, itt’s æ veri nais søbreddit, æn Ai kip fårgetting iff ther’s wan ån Lemmy.
esa@discuss.tchncs.deto Linux@lemmy.ml•Which X11 software keeps you from switching to Wayland?11·26 days agoYeah, I think my sway config is around five years old now. The Wayland experience hasn’t been entirely without warts, but as someone who kind of just uses the desktop to drive a browser and a bunch of terminals, there’s not a whole lot of problems to run into either.
Also not having used Java for decades I’ll not comment on the state of their abstractions, but
IMO at the extreme being unable to shed the past means negatively hindering progress. I think modern Java versions show a budding shift in mentality
both reminds me of similar complaints against C++ (and with a sizeable amount of users wishing for an ABI break), and how weird it is to get both complaints like that and over the fact that so many shops are on ancient versions. They’ve moved slowly, but it doesn’t seem like anything was slow enough for a lot of shops, which indicates they likely could’ve moved faster without changing which versions users would be at today.
At the user level they’re just tools, not programming languages. Python users are generally moving to
ruff
(anduv
) because of ergonomics: It works well and really fast which makes for a smooth experience in-editor. Plus using fewer tools to achieve a similar result is generally desirable.And for a complete newbie like someone taking a course, I think there’s no “sticking with” to speak of. Might as well just skip over the tools people are migrating away from and start with the tool people are migrating to.
That depends on when it appears. Some tasks kind of have to feel instantaneous, and there might be a pretty slim margin between okay and frustrating.
But yeah, that’s the kind of savings that mostly matter on the scale of regional or national grid planning.
Yeah, the author seems to lean too hard into the “programming is electronics” model, where the opposing end is “programming is math and formal logic”; most of us take some mixed view. And most of us have higher correctness requirements than what a reasonable effort in memory unsafe languages like C and C++ gives us, so we trade away some machine efficiency. In the authors parlance, most of us aren’t interested in the demoscene circlejerk; we need to make tradeoffs between maintainability and everything else. Write-once code isn’t good enough.
There have been attempts at establishing a third pole of “promptgramming is natural language” or whatever ever since COBOL promised programming in plain English, but the ambiguity of natural language when used to encode a business logic machine means that a “sufficiently advanced compiler” will have to be extremely advanced, on the order of including the manager and the entire engineering methodology.