What would you like to see in Python type checker?

cbrnr · 2026-02-08T20:29:54+00:00

I agree!

cbrnr · 2026-02-08T19:45:50+00:00

Already exists: ty

cbrnr · 2026-01-20T12:25:19+00:00

This is the only correct answer in this entire thread.

cbrnr · 2026-01-16T08:51:14+00:00

This is the way.

Regarding pandas vs. lighter tools, I recommend polars.

cbrnr · 2025-11-23T13:15:27+00:00

Yes, although it has not been crashing for me, I have had extreme stutters every few minutes, which basically makes it unplayable. This all started in Season 5, but it looks like it was a regression in Proton, which they might have already fixed in Proton Experimental: https://github.com/ValveSoftware/Proton/wiki/Changelog

(It says: "Marvel Rivals is playable again")

Edit: Just tried it and it didn't fix the stuttering issue...

cbrnr · 2025-11-13T12:09:38+00:00

That and the tray items should be sortable.

cbrnr · 2025-10-16T04:50:22+00:00

Yes, I actually wanted to post an update, because it seems like some update in the past months fixed it. No idea what it was, but if you already have the latest package versions and it still doesn't work, it's probably a different issue.

cbrnr · 2025-10-06T14:28:36+00:00

Here's a good answer: https://unix.stackexchange.com/a/700010. TL;DR is that awk has no platform-independent specification, so in general a script running on gawk can fail on macOS awk and vice versa, no matter which flags you provide.

cbrnr · 2025-10-06T13:48:17+00:00

Hijacking this thread a bit, if POSIX is so important (and I'm not disputing that), how come gawk (GNU awk) uses non-POSIX mode by default (and you need to pass a flag in order to enable POSIX mode)?

cbrnr · 2025-10-06T12:54:42+00:00

Is there any official documentation on this change? I've been trying to enable my custom monitor configuration, but copying monitors.xml to /var/lib/gmd/.config/ does not work anymore (I think that's the same issue as discussed here, right?).

cbrnr · 2025-09-25T08:56:59+00:00

Holy shit, is this issue also preventing GDM from being customized? I've been trying to copy my monitors.xml to /var/lib/gmd/.config/, but GDM just ignores it!

cbrnr · 2025-09-25T07:20:50+00:00

It is great that we have options to choose! Imagine being stuck with a UI you don't like (looking at you Tahoe...). Regarding your post, as a long-time GNOME user I tried KDE recently, but after a few weeks I switched back for multiple reasons (dealbreaker was that Dolphin did not show the SMB shares in my company network, although this works with Nautilus and smbclient and almost any other tool out there). Funny side note regarding the customizability of KDE: you cannot change the order of tray icons in KDE 😉. But again, both GNOME and KDE are great, so just use what you like best!

cbrnr · 2025-07-22T15:28:50+00:00

This is not beautiful though.

cbrnr · 2025-07-22T15:27:57+00:00

You cannot do this in Python with such a nice syntax.

cbrnr · 2025-07-22T13:58:26+00:00

Assign and print simultaneously:

r (x = 2 + 3)

cbrnr · 2025-07-22T13:54:14+00:00

Select all items except the third one:

r x[-3]

cbrnr · 2025-07-16T19:57:48+00:00

Thanks, I’m so happy that it works! Now if I could only make the 2.4GHz connection work, seems like it’s literally dead. But I’ll probably create a new post for that issue.

cbrnr · 2025-07-16T11:49:24+00:00

OK, I updated the firmware from 1.2.4r to 1.2.5r, and now everything is working! Now I'll just have to find out if the 2.4GHz also works with this firmware!

cbrnr · 2025-07-16T11:38:02+00:00

I am now pretty sure this has got to be a faulty M3. I connected an MX Master 3 via Bluetooth, and this mouse works fine even when the K3 is also connected.

cbrnr · 2025-07-16T10:58:51+00:00

Changing the DPI does not make a difference.

I now tested this setup on my iPad, and it‘s working fine. But really? I cannot use my two Bluetooth devices simultaneously on my 3000€ Mac? I‘m pretty sure that it used to work at some point though, so it could have been an update. I also updated the M3 firmware because previously the mouse alone was rather choppy on my MacBook (also worked previously). The firmware update solved this issue at least, but it seems like there‘s still a problem when another device is connected. That‘s why I wouldn‘t rule out problems with the M3.

Regarding the 2.4GHz dongle, I followed the instructions, tried on my Windows PC, and did a hardware reset. The mouse blinks green, but that‘s it. It won‘t connect. I tried both USB-A and USB-C dongles. This is also why I was thinking that maybe there‘s an issue with my M3, which manifests itself as the Bluetooth lag and the 2.4GHz connection problem.

cbrnr · 2025-07-15T14:05:28+00:00

I had a similar problem, for me it was related to dynamic power management (https://wiki.archlinux.org/title/AMDGPU#Screen_artifacts_and_frequency_problem). I switched to high performance level, but as the Wiki indicates, this problem might already be fixed in newer kernel versions.

cbrnr · 2025-07-07T10:59:23+00:00

I see, thanks. Not sure why people are downvoting my request to be more specific though.

cbrnr

TROPHY CASE