03:45culuar: it's based of the old thing in the 60s, i introduced a little so it's better to work, more relaxed ways https://en.wikipedia.org/wiki/Unit_propagation DPLL David-Putnam-Loveland-Logemann or DPLL procedure, as it was introduced by Martin Davis, Hilary Putnam, George Logemann, and Donald Loveland in the 1960s, many have worked on it bell labs included. And in objectives of ai for the future.
03:45culuar: And the rules were made, to force into such position that inference would be faster.
03:46Dami_Lu: Hi, is there any way to set up multi-seats for two sets of keyboard and mouse under wayland?
03:47culuar: By default it would be for computers whole lot slower, but they force it faster, cause they emulate humans and language through their rules.
04:02culuar: it has likely materialized in some forms, already but bugs are warned about, someone from glasgow tries and effort, scip germans did ...so the event loop can be derived and handled with both, i try the glasgow one next month
04:15culuar: if someone other or me, get's it to stable than there is no performance problems, it's anyways possible, but the solver way of doing it is lot more complex but also very flexible
04:19kchibisov: Dami_Lu: yeah, multiseat is supported, but how you set it up to your particular system. Consult your compositor of choice docs on that matter.
05:04Dami_Lu: kchibisov: Thanks, I use debian 12, kde kwin 5.27,Is there any relevant configuration multi-seat documentation, or other compositor can also be used
05:04kchibisov: you need to setup it all in systemd first.
05:04kchibisov: so you actually have 2 seats.
05:05kchibisov: then if kwin doesn't pick it up, ask kwin folks, etc. I know that some compositors do handle multi seat.
05:07Dami_Lu: I tested sway before and it works. But we often use kwin. I tried setting it in udev, but it didn't work
05:11kchibisov: well, ask on some kwin related channels, this room is for wayland protocol discussions.
05:24Dami_Lu: kchibisov:Okay, thank you. Do you have any other kwin channel recommendations?
05:46kchibisov: Dami_Lu: I don't, but you could get your answer eventually by idling here.
05:47Dami_Lu: ok :-)
06:04Dami_Lu: May I ask if there is a multi-pointer function in wayland, similar to this:https://wiki.archlinux.org/title/Multi-pointer_X
06:04kchibisov: it's all as a part of multi seat.
06:04kchibisov: and all boils down how a particular compositor will handle all of that.
06:07kchibisov: Like wayland is just a protocol, like http, it allows having multiple seats, but how compositor implements it and whether it can draw multiple cursors is up to it.
06:08kchibisov: So sway/kwin could handle them differently. I think multi-seat sort of works on sway, but I don't remember whether it shows multiple cursors or not.
06:09kchibisov: Though, given that multi seat setups are not common, they are not tested that much through-out the clients or even in implemneted in some compositors.
06:10Dami_Lu: Got it Thank you for your answer,In addition, my previous test on sway showed multiple cursors
06:11Dami_Lu: Now in many embedded system scenarios, such as vehicle systems, etc., there is still a need for multi-seat functions
06:14Dami_Lu: By the way, does weston no longer support the multi-seat function after version 10.0?
08:02daniels: Dami_Lu: we didn't remove multi-seat support, no
08:58Dami_Lu: daniels:May I ask how multi-seats are configured under Weston? I have tried several methods without success.
11:56kennylevinsen: my weirdo Wayland server is good for finding corner cases: https://gitlab.freedesktop.org/xorg/xserver/-/merge_requests/1144
12:41wlb: weston Issue #797 opened by Brendan King (bmkimg) Weston 12 segfaults when running "x11perf -reps 1 -repeat 1 -all" under XWayland https://gitlab.freedesktop.org/wayland/weston/-/issues/797
16:27wlb: weston Merge request !1344 opened by Brendan King (bmkimg) xwayland: fix segfault when running x11perf https://gitlab.freedesktop.org/wayland/weston/-/merge_requests/1344