My Gentoo system is fully systemd and Wayland based from the start. Might sound like heresy to some users, but it was my decision from the start as I liked how they worked, that they are the future, and that you don’t have to wrangle shell scripts for building an OS. I had used systemd a lot via many Ubuntu servers before, so that helps.
Fresh should mean creating a new prefix. For example, Proton-GE enabled wow64 in Wine by default, but it requires recreating the prefix to use it. Should be easy enough with Protontricks or even Winetricks.
Yes very much this. It is possible to modify an existing prefix but there are quite a few things to do, it's easier to back up savegames and game config files and then create it anew.
Thank you very much to both of you. Got it running flawlessly with CM on Steam Deck OLED at 90fps using GE-Proton10.34 and LSFG-VK for frame-gen. This one goes straight to the top (alongside DR2.0 and AC Rally) as favourite gaming on the go.
Used to be worse. Something happened in the last year and I'm seeing way way less random captchas for regular use from a residential IP. In '22-'24 it used to be extremely common, now it's an event when it happens. Also went from mint to plain ubuntu so that might have something to do with it?
It's a good thing too, because when I see the Cloudflare captcha I try it once and if that doesn't work then I just close the tab and add it to the list of non-functioning websites.
Cloudflare captcha = infinite loop of captchas (if it doesn't work on the first try). You can give up the moment that happens, because you will never get to the website itself.
One thing I don’t understand is the table at the end. It says Rust requires 30 lines of code for a type state pattern, and I’m sure that Rust will be more verbose than Lean here, but wouldn’t all the typing shown in the article count as lines for Lean? I don’t see how it’s 0.
reply