19:04:33moodFor mice I have a Logitech Power MX and an MX Master 2s. Rubber coating, but I've never had problems with either of them.
19:05:49moodI also have a headset, a Turtle Beach PX22. It's ugly, but it was about €50 many years ago and I have no complaints about either sound quality or comfort
19:06:29moodDoesn't look like those are available anymore, sadly
23:51:01|3b|Shinmera: another argument in favor of treating arguments of IS the same, (is < (x a) (x b)), a and b are both calculated values, and i want to verify the constraint that they are ordered
23:52:42|3b|and also confusing what order to put them when using ordering predicates instead of equality
23:52:50|3b|(though could be i'm holding it wrong again :)
6:35:13Shinmera|3b|: In that case it should probably rather be (true (< (x a) (x b))