otini @otini@functional.cafe

I loved it even less when a Python type error crashed a UAV I was flying 😂 (it was only a student competition, but still)

Love to have an element of my GUI that's written in Python crash because of a type error.
Breaking: we can now detect type errors before running the program! (Breaking in 1969)

@lthms Indeed I checked, only record fields and class methods can be given a higher-order polymorphic type 😔

@lthms If that's the only solution, I find that frustrating too.

@lthms is that so? Huh.

Today I learned that parser combinators are cool in principle, but for parsing a programming language, uh… well LR parsers give me less headaches, are less verbose and don't create infinite loops

@h_d I see. Thanks for the info

@h_d I guess an explanation inside that page of what duplicating a file descriptor actually means in POSIX would have helped

@h_d OK, I finally get it, but I had to go re-read the man page of dup2 and make a little drawing 😅

wut
This page is the least clear manual I've ever read

https://www.gnu.org/software/bash/manual/html_node/Redirections.html

It's libre software, no one has enough time or money to solve all the issues, so make this report info optional and work with what people will give you

Yes, it will make it easier for the devs to pinpoint the issue, but it will deter 80 % of potential bug reporters.

hot take: Requesting bug reporters to fill out a bunch of fields, some requiring a sizeable amount of time or skill—e.g. “launch the window manager in debug mode, reproduce the problem, then exit”, or “try to reproduce with the default configuration file, only send a minimal file”—is yet another barrier to improvement of libre software quality

while does gnome-terminal scale fine while Firefox is blurry? I don't understand

OK so sway with fractional scaling is a pain…