You don’t. That’s why it must be reputable sources

Ah, sorry, I misinterpreted you. DM is fine. I have never used Lemmy’s DM, I expect it to be bad. I have put a matrix address on my Lemmy profile. It’s probably better than Lemmy’s DM

I see, I’m not sure I can help you with that. I don’t really engage with many communities outside of Lemmy. I just lurk in various other places.

Anyway, it looks to me like you are looking for an online bubble where to efficiently isolate yourself, this can’t be good for you. I would suggest meeting with real people instead. Are you still a student? Maybe in university? Then you are probably surrounded by people your age with common interests to you, waiting for you to speak to them. Make friends, it will be fun.

That being said, I do share some of your social anxiety, so this is definitely a “do as I say, not as I do” kind of situation.

Interesting, I didn’t know you could do that through the portal directly.

I was only familiar with uinput because I have used it before to use a wiimote as a mouse, and for that you’d actually want to emulate a mouse.

Btw, I just remembered.

You said that “if you could go to the store, buy a disc with the game, like in the good old days” you would prefer that over piracy.

I do encourage you to buy games on GoG (Good Old Games), download the installer, and burn it on a blue ray disk for you to keep.

For steam I already told in the previous comment, cs.rin.ru. You need an account to access the clean files threads.

For gog unfortunately not anymore. Check the r/piracy megathread, see if you find something

I forgot about the gog part. Yeah, you can also use those. There used to be a website that uploaded clean gog installers, but now all the download links are behind those sketchy filesharing services. Though, if you manage to get one, the binary should be signed by the developer. On windows I know you can check the signature by right-clicking on the file, on Linux I don’t remember because I haven’t needed it in a long time.

For the VM you need qemu/kvm. I suggest to use virt-manager which is just a graphical interface for qemu.

First of all, don’t expose yourself to danger. Get your pirated games from reputable sources.

Most games only need a Steam emulator like Goldberg’s to run without license, and you can get clean steam files from cs.rin.ru. You don’t need VMs for this, it’s literally the original game.

If you need an actual crack, you can also look up on cs.rin.ru and try to gauge the reputation of the uploader. You can also check fitgirl or dodirepacks, they are both highly reliable. These are unlikely to have malware, but it’s not impossible.

If you want to use a vm because you still don’t trust the pirated game in question (reasonable), then there is no shortcut. Use the arch wiki to learn how to setup a VM with GPU passthrough, even if you don’t use arch it’s always a good place to get started.

The proper way to programmatically move a cursor on Linux is using uinput.

Anything you were doing that worked in xorg and not in wayland was more akin to a weird remnant from the 80s than to an actual solution.

However, there will likely be full featured applications that already do whatever you were trying to do.

Yeah, I also only learned natural deduction, until I got to the languages course and the professor told us “this is similar to natural deduction, but different”.

Personally I don’t like lean, I prefer coq. But that’s mostly the vibes, both are actually fine. Lean doesn’t do constructive logic, it does classic logic, but you have to give up program extraction for that. That’s why mathematicians are head over heels for lean.

*it

Chatgpt is a thing, not a person

Not at all. I would not expect any riir project to reimplement the entire stack in rust. This is not calling a random C dependency. This is literally calling the OS’s API. Literally there’s just this and the kernel.

As you said its goal is to rewrite a C codebase. The C codebase is coreutils. The correct way to getuser is to use the OS’s API, which happens to be inside libc.so, which has nothing to do with coreutils, it’s an entirely different codebase. End of the story. The OS’s API needs to be exposed as a c library, because c is the only language that can be imported from any other language. If you were to rewrite it in rust, it would use extern 'C' and it could not be any other way. And uutils would still import it from libc.

Maybe one day we’ll see a rust rewrite of libc (tho it doesn’t make much sense), but this has nothing to do with uutils.

If you are asking for a rust wrapper around the correct way to getuser, you have literally posted it. You can find it in uutils.

Also, being compliant is just being compliant. I wouldn’t expect it to be called something like POSIX.rs unless it were implementing every part of POSIX. Which is clearly not what we have here. Or are you suggesting that bash should be called POSIX.c, because it’s in c and it’s POSIX compliant?

Well, if you want to be pedantic, I’ll entertain you a bit more.

You see, C and Unix were “born” together. So sometimes, POSIX intertwines them in weird ways. In this case, getlogin is declared in unistd.h because it’s part of the Unix standard API, however the POSIX standard states that it must be implemented in libc. So the POSIX compliant way to getlogin is to call into libc, which doesn’t need to be glibc, you could use musl and avoid the GNU dependencies. If rust’s stdlib were to offer a getlogin function, the proper approach would be to still call libc. It’s like if on windows you were to call into Win32 to getuser, except on *nix it’s the same file as libc.

If you want to replace the getlogin implementation, the POSIX compliant place to do it is not in coreutils but in libc, like the aforementioned musl library does.

So the key here is that getlogin is not art of the c system API. It is actually part of the POSIX APIs, it is just “located” inside of libc, which by the way, does not need to be GNU if you are concerned with uutils’ philosophy.

I would like to interject for a moment. What you are referring to as coreutils Is actually coreutils+libc+Linux… And fill the rest yourself.

The “anti rust” crowd spends half of their time yapping about how you still need c in some places, then why did you get upset with calling into libc here? Are you suggesting to rewrite every rust program in C so you can have only c calling into c?

• they both suck in different areas and excell in others
• Vim is only useful when SSH-ing into an embedded device. Emacs can’t even do that. So I agree…
• Tautology
• Tautology
• Yes, but you still need C in a handful of situations

Adding:

• All Unix style shells suck, and the shell should not be based on human readable text, but on serializable objects like in powershell
• The kernel should support windows style acls

But if it had that issue, you could have solved it by mounting gtk settings info the flatpak

Some apps Will draw their own cursor and there’s nothing you can do about it. However, what’s happening here might be something else, so, are these apps in flatpak?

I’ll give you a fast-forward of the subjects you need to study to actually learn this stuff (with links). Many of these are part of typical computer science curriculums. However, most will exclude at least some of this to its fullest. Note that it’s a lot of knowledge, you might find it frustrating to just deep dive into it on your own, don’t take it the wrong way, maybe follow an actual course and you will be guided into all of this. Maybe I’ll also try to give a run-down, skipping the preupedeitic knowledge… later… if I have time.

P.s.: to get the general feeling you don’t really need to know all of this tho. Just skim it. And dive deeper if you like it.

• Any respectable computer scientist needs to know at least some first order logic https://en.wikipedia.org/wiki/First-order_logic
  • Read the semantics part. You don’t need everything, but you must understand what it means for a Formula to be a logic consequence of a set of formulas
  • Read a bit the deductive systems part. I find “natural deduction” (in detail here https://en.wikipedia.org/wiki/Natural_deduction) easier to understand (more… Natural) however, your mileage may vary, many people find it confusing, hence why “sequent calculus” was invented. We’ll use the sequent calculus later
• You need to know lambda calculus https://en.wikipedia.org/wiki/Lambda_calculus If you know any functional programming language it will be easier, but it’s optional
  • You can learn it on its own, but it fits better as part of a “foundations of computer science” course. I don’t have a link for that.
• You also need to know a bit of programming in basically any strongly-typed language. This will give you some kind of general idea of what types and type systems are.
• Now you can put together what you know of types and sequent calculus, and learn what type derivation rule are https://en.wikipedia.org/wiki/Typing_rule
  • Now you understand the meme
  • You can also check out what type systems are as a whole https://en.wikipedia.org/wiki/Type_system
  • We have skipped Curry-Howard, but you can see how typing rules look a lot like logic deduction rules, in particular sequent calculus
• Hooray, time for Curry-Howard https://en.wikipedia.org/wiki/Curry–Howard_correspondence they basically notice the same similarity you just noted, but take it a step further, they can do it because they know other logics other than first order logic
• The next step, if you are interested, are theorem provers, which are the direct application of the correspondence https://en.wikipedia.org/wiki/Proof_assistant
  • Check out rocq or agda

https://feddit.it/comment/20528152

deleted by creator