

I don’t think I get it. Is the joke that he came so early you were still exchanging names? Those are oddly specific questions. Or are you like gathering details for a scam?


I don’t think I get it. Is the joke that he came so early you were still exchanging names? Those are oddly specific questions. Or are you like gathering details for a scam?
This looks more complex than it needs to be. We can just merge those two IFF soundnesses at the top and remove transitive implications and we are left with a straight line with a couple bifurcations to cul de sacs.
Also… I only know constructive logics and abstract interpretation with Galois connections… Where do they fit in this? 🥺


Things like this remind me of Terry Davis, who wrote a random words generator program and (due to schizophrenia) believed it was God speaking.
Is this to measure calories? We did something similar in elementary school, our teacher would light a piece of snack on hanging above an aluminium dish, and we would count for how long it burned. Then we looked at the packaging and the snacks with more calories burned the longest.
Stop doing lean! Computers weren’t meant to do classic logics!
Embrace rocq (formerly coq), for pure constructive logic! Plus the syntax is nicer
Clear and wave are the only real glass bricks, the rest is mental illnesses
Lab Shelob behaviour
deleted by creator
I won’t, I can’t beat it even regular


This is something out of Disco Elysium


Fake. The “gaming issues” was the lack of direct scan-out, which for most people who gamed with v-sync enabled anyway changed nothing, I’m speaking in the past tense because Wayland has had direct scan-out for years, and it did not require a complete re-write of anything, it only required a new extension, which you can do when your protocol is based on extensions. You know what’s even better than direct scan-out? Vrr, which you can have while using multiple monitors each with its own refresh rate, and with the future frame timing protocol the experience will be even better
Also, “in my experience” means nothing. In my experience gaming on Wayland is perfectly fine, and my experience is worth the same as yours


At least mutter and kwin both handle multiple monitors and vrr perfectly, I’m sure other compositors do as well. And by handle I mean actually treat them like two displays, not “we make a single virtual display and output it on two ports while pretending all monitors have the same refresh rate” like it is on xorg


And what is the technical merit in question? “Everything we didn’t change works the same”?


Daaaamn, good thing that the main selling point was “everything you used before works the same”. I guess it does not have feature parity with xorg, huh?


Oh, oh, I just noticed another inconsistency without even trying. You know all the babble about hardware support scattered throughout this and most anti Wayland posts, that it’s mostly about nvidia? Well guess what? Xorg has literally worse nvidia support! That’s right, X11 works on Nvidia only because the proprietary Nvidia drivers ship with an Nvidia specific implementation of the xorg server, but if you were to run real Xorg and not Nvidia xorg, it would have the same problem you have on xwayland. Except that with xwayland you get all the compatibility benefits of the recent move explicit sync in Wayland, that you would miss on plain xorg, so you would get all kinds of synchronization issues.


You need to understand that Xorg is not a good piece of software by itself. Its entire value is staying unchanged and not having breaking changes. Once you remove that it becomes unuseful. On top of that, meetux did not introduce “breaking changes” in the sense of “new features that changes the API” he introduced “errors that slipped review” because he is not good enough to write code for Xorg. What did he say, that he is anti-dei and, and we should only include people based on skills? Well then he should be glad that he was excluded because on top of being an asshole he also lacks skills.


Wow, that wall of text you linked sure is worthless. First of all, you can’t even tell if it’s signed by three different people or a single arrogant one, either way just sad, and in any case it’s only one sysadmin. But you can just scroll to random points without reading and find contradictions.
For example, I scrolled and found the governance part, it says on X11 there’s standardized protocol and changes go through a democratic review process, but the same is true for Wayland, the people who develop Wayland are the same who developed X11, and Wayland is heavily standardized, but the protocol is subdivided in extensions of which many are optional. Then it goes on saying that by contrast on Wayland you have a dictatorship of compositors because each can implement parts of the protocol as they see fit, but this doesn’t make sense because if anything having a single server that decides everything is a dictatorship, while allowing desktops to decide what to support is democracy.
I won’t waste time reading all that, but I’m sure it’s like this throughout.
Also, the IT guy from your local high school is probably a sysadmin managing 500+ computers. It’s not a particularly qualifying position.
Irrelevant argument, even if it’s actual meat it only means that the carnivore diet is still meat. The role of the carnivore in the ecosystem (i.e. regulating the population of their prey) is still not covered, and the idea is still stupid


why I use xlibre…
Because you are delusional. Next question?
Just remember that this is the kind of code quality of xlibre, the guy doesn’t even know C operators and is trying to write a fucking display server:

Meetux was banned after breaking the xserver multiple times, and then acting like everyone was conspirating against him about it.
Beast with long claw. It’s wide and the up attack reaches far behind hornet. I find it comfortable for juggling