What? How am I doing that. Claude writing style and the discussion at hand are two entirely separate issues that I haven't conflated at all. How am I "acting like people are being grammar nazis"?
Please. Have you been doing mathematics ? Yes, some big open problems are solved. I have not seen the ideas therein used to solve related or other problems. That is the point of most mathematics: to develop frameworks and general techniques for understanding and solving problems, not solving one-off problems.
For example, group theory lead to a useful way of thinking about how to solve a wide array of problems. That is what mathematicians are seeking.
It's also worth pointing out that the developers at Mozilla literally decided to make a brand new programming language (Rust) that eliminated an entire categories of bugs and started working on a new browser (Servo) where its components could be switched into firefox.
Then Mozilla fired the team working on it.
Lesson 1: Better tools and processes eliminate bugs.
Lesson 2: If you don't have the tools, make them.
Lesson 3: Mismanagement leads to security vulnerabilities.
Yes, and even after introducing and using Rust, there were still vulns in the remaining code.
FWIW, Rust is my main language, so I am grateful to the humans that created it, and it is indeed a monumental effort. But vuln finding is a different kind of creative endeavour, and one that is heavily weighted against defenders.
You would choose rust (from a security standpoint) because it massively reduces memory safety issues (which from a Microsoft study was responsible for around 70% of bugs).
Then you look at things like linting, fuzzing, design by contract, proofing, deterministic test runs, etc...
Skilled is a subset of what the US gets, and that at the detriment to local workers (and to the countries the skilled immigrants originate from). Though to the local business owner's they're great - much cheaper.
Current career structure of mathematicians works partially by looking at whether they have solved novel and interesting problems, or at least done theory-building that can help solve such problems. Many mathematicians are also motivated by being the world's first to solve such problems
Removing this measure suddenly means that academic mathematic norms need to adapt rapidly, and, even more importantly, intrinsic motivation for many mathematicians needs to change rapidly. That is understandably a sea change for the current mathematics community.
Have you heard of, e.g., Walmart? How do you think their logistics works? Or, similarly, any modern capitalist economy? Do you think it's entirely decentralized planning with independent actors?
Just taking the argument to extremes, what really is the material difference between "centrally planned communist economy decrees that X shall be produced for consumers" and "capitalist Walmart who has stranglehold on <market> decrees to suppliers X shall be produced for consumers". At the end of the day, you the consumer has been given the choice of X or nothing.
reply