BlackFingolfin

Who makes the tests? Who runs the tests? And who evaluates that the tests have meaning? As long as it is the AI, or you (with your self-admitted limited experience), how can you be sure it is meaningful?

> at a fraction of the cost

We'll see about that, long term. The billions and trillions being wasted right now to get the foot in the door need to be earned back somehow at some point...

"Nice company you have there, totally reliant on our AI tech. Oh by the way we gotta increase the rent again."

I am a research mathematician. In my field (abstract algebra, computational group theory), a sum or some such notation is like the most trivial of trivial things in terms of notation. There are a few things like sums that could in theory be made to "look more like what a computer programmer would expect", but that'd be just a tiny corner of it.

And if you think about how summation would look in Lisp or APL (which some smart people use to this day), I am not even convinced your argument for the "sum function" notation being superior holds in general.

This is almost funny to me, because in many jurisdictions, software companies sure invested a lot of effort into painting people copying software as thieves. In Germany, they (the software producer lobby, and later politicians influence by the former) even coined and spread the term "Raubkopie", which you could roughly translate as "robbed copy", i.e., that's one step worse than "theft", as a robbery in Germany legally means " theft accomplished by force or intimidation". So, yeah: like putting a knife to the throat of someone while you copy the software.

So, after literally decades of investing into advertising campaigns, lobbying to politicians to pass harsher and harsher laws against software "thieves and robbers", now that big tech are doing it, suddenly we are supposed to consider it with more nuance?

Ahhh... no thank you sir. I really enjoy them drinking their own kool-aid.

Not sure what you are talking about (is this sarcasm?), but on iOS, Safari allows you to add any website as an item to your home screen. I am pretty sure Android has a similar feature.

If the numbers were all that is wrong, that'd be OK. But it fails to list all data -- so the only way to navigate to the missing PRs is to know their number, and manually inserting the right URL (or to go to another PR, and then edit the URL in the navigation).

Sorry, but I don't think there is any way this can be classified as "not actually a bug"

which is also driving me nuts because it frequently fails to update the issue and PR counts when I close issues or PRs. Only a hard reload, or closing the tab and opening a new new one, fixes it.

I find it strange to compare "math" with one programming language. Mathematics is a huge and diverse field, with many subcommunities and hence also differing notation.

Your rant would be akin to this if the sides are reversed: "It's surprising how many different ways there are to describe the same thing. Eg: see all the notations for dictionaries (hash tables? associative arrays? maps?) or lists (vectors? arrays?).

You don't have "the manual" of programming languages. "

For me one is that one can write `for i = 1:3` is one when `=` means assignment otherwise (at least `for i in 1:3` is available.

And sometimes one man's terrorist is another's freedom fighter.... (Not to defend terrorism, but it's just not that simple)

Actually in math parlance, the map G \to GL(V) is the representation while V is the underlying module, and yeah its elements are vectors.

No you literally can (and the attackers did) change version 44 (the tag for it) to point to a different compromised commmit

> Nobody bothers explaining why the primes are spaced like they are

I take it that means you also haven't taken (m)any number theory classes then ;-). Because people wildly care about that.

This is in a sense the background of another well-known conjecture, the Riemann conjecture...