66 karma · joined January 27, 2022
I'm fairly sure this is only the case on older systems, if your system is up to date then podman should not rely on suid binaries.
Can you give an example of tests that would be better with repetition than parameterization?
Ever considered parameterization?
And a good PM is to Jira as lipstick is to a pig. It might give the pig redder lips, but that won't make anyone want to kiss it. Even with the best PM Jira still had severe usability issues and bugs that atlassian shows no interest in fixing.
Does not seem like it from the title.
[1]: https://www.usgs.gov/faqs/how-would-sea-level-change-if-all-...
That is very true, I think probably from the outside looking in it was hard to see what value they were offering. But from the responses here I think I got a better picture of what people get out of it that makes it the best choice for them most of the time.
I wonder if this is the case in US also, or maybe just my individual experience. It is very hard for me to get how a company so successful has such a crappy flagship product.
Okay, but this goes back to the condition:
> If they enforced the rules consistently
Which reddit does not - and you are right:
> it’s not just “hey there are a few posts” that triggers these kinds of actions.
There is an agenda, and then motivated reasoning to find justification for the agenda.
Any reason the government allocated it to those endeavors?
> Having some technical debt is healthy
mypy is pretty whiny about types, and sure, if you add Any everywhere then you have just defeated the type checker, but this is no different from putting interface{} everywhere for Go.
> Any-by-default and no-built-in-checking feels pretty defanged to me.
Is running mypy on the code base that much to ask?
What is the difference?
> They are not even on par with Typescript, which I'm not a fan of either.
Go is not on par with Typescript or Python, I still don't think it is okay for people to just say fuckit and `interface{}` it all and it is still shit to work with code that does use `interface{}`. At least Python with mypy has null safety, something that Java and Go does not have. There are some places it is worse than other statically typed languages, others where it is better.
> Standardized, go-to tools that work in the build pipeline and that catch most errors without taking a long time to do so.
It is mypy. What actual type errors does mypy not catch that you want it to catch? Why can't you use it in the build pipeline? I do it every day, it catches all the errors it should. The one complaint I can maybe see is the duct type compatibility complaint, and it is not really something that comes up that often for me, and definitely not something I would say invalidates the whole concept.
I use mypy daily on big codebases, it is fine, not fast, but fine.
> The type hints themselves are of dubious use.
They tell you when you make type errors, they help you understand what type things should be. The same as in literally every other language with static typing. There is nothing special here, nothing different. python with a static type checker running in strict mode is not fundementally different from Java's static type checking.
> As a fan and advocate of static typing, I find myself advocating for type hints anyway, but I must agree I often can't reply anything to my coworkers' objections, because Python type hints are truly not that useful.
What do they lack that would make them useful?
In what way do they lack more teeth than Java with Object, Go with interface{}, C++/C with void*?
> The fact that you can put nonsensical types wherever you want and still get a working program has consequences.
Working is questionable, but nothing in C++ prevents this at runtime either, nothing in JVM prevents this at runtime, static typing is not runtime typing, it should not be, it is not the USP.
> There is an Any type and it renders everything useless
Java has object, C++/C has void*, Go has interface{} - none of these render the type system useless, and Python's type system makes it a lot easier to write correct code than Go's type system or C's type system.
Can you clarify why you think so? I think even of the small fraction of Americans that use it, most have no reach.
Why is he selling music in the first place then, why not make it free for anyone who wants to listen to it?