> I don't base my choice on what media to absorb on superficial criteria like the country of origin
Other countries, including the USA, advertise and hype their own content. Your preferences are deeply influenced by the country of origin, because advertising works.
If my house had a pest problem, I would need to hire an expert in pest-control. I need to do that without being an expert myself. How should anyone be able to hire someone with more experience than themselves, in your view? I've sometimes had to 'hire my own boss'.
Maybe the criteria for the problem was less "did they check these boxes" and more "could they be a collaborative mentor willing to work with even the junior members on the team" in the context of designing a system.
I know, but they don't. Outside of creative tech/art spheres, most people don't know much of anything about copyright, and telling them about "works expiring into the public domain" seems to violate their preconceived ideas about "property". It's tragic.
With interface-typing, is there a right way to use the type system to declare "this function takes a (statically-certifiable) positive integer", not because it would fail to output a value for other numbers, but because its output would be incorrect or meaningless?
In scientific programming I've often wanted that, to push asserting particular constraints on values to the caller and/or the type system (whether that's compile-time or runtime type checks). But those constrained types would always match the interface of their unconstrained forms.
I'm not sure if this counts, but where I run into this sort of problem it's with conventional methods/operators, like `operator+`. I've had lots of bugs over the years from something doing string-concat or list-append instead of integer+, or vice-versas.
Could you share your model for this? How well does it work? I've considered doing the same.
The set of laptops I'm willing to run non-macOS on is limited by the set of laptops that have physical touchpad buttons, and that's a diminishingly small market segment :(
Unrelated, but reminds me of another story featuring Chess and a Duck, and also relevant to the HN audience, which relates to the old videogame Battle Chess: https://bwiggs.com/notebook/queens-duck/
Veering off topic but I absolutely hate that git requires you to have an "email address" (which cannot be empty and iirc must satisfy some regex criteria for a valid-looking address). A particular choice of user identifier or communication medium should not be hardcoded into the totally unrelated concern of source-control, IMO. Anonymous and non-email accounts should be first-class things. Instead of email maybe you'd want to have your public-key or something.