BlackFingolfin

5 ms·

1.
by BlackFingolfin 6d ago
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?
2.
by BlackFingolfin 2mo ago
> 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 re
3.
by BlackFingolfin 2mo ago
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
4.
by BlackFingolfin 2mo ago
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
5.
by BlackFingolfin 2mo ago
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.
6.
by BlackFingolfin 5mo ago
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 t
7.
by BlackFingolfin 5mo ago
GitHub stability has been bad for me. And recently even the data they show me in the web has been unreliably. Since yesterday, me and several colleagues noticed that the pull request lists on the website are incomplete, across many reposito
8.
by BlackFingolfin 5mo ago
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.
9.
by BlackFingolfin 10mo ago
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: &
10.
by BlackFingolfin 11mo ago
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.
11.
by BlackFingolfin 1y ago
A follow up post is at https://xenaproject.wordpress.com/2025/03/16/think-of-a-numb...
12.
by BlackFingolfin 1y ago
And sometimes one man's terrorist is another's freedom fighter.... (Not to defend terrorism, but it's just not that simple)
13.
by BlackFingolfin 1y ago
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.
14.
by BlackFingolfin 2y ago
No you literally can (and the attackers did) change version 44 (the tag for it) to point to a different compromised commmit
15.
by BlackFingolfin 2y ago
> 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 ano
16.
by BlackFingolfin 2y ago
Which robber baron do you consider to be responsible for curing polio?
17.
by BlackFingolfin 2y ago
Marc Zuckerberg being popular is not the same as his platform being popular.
18.
by BlackFingolfin 2y ago
I am a professor for algebra at a research university. I make a point out of teaching my students that `a/b` is NOT the same as multiplying `a` by the multiplicative inverse of `b`. The standard example is that we have a well-defined a
19.
by BlackFingolfin 2y ago
Wow, what a clickbaity title. The article just states that Tim Cook prefers a different mouse than Apples's own Magic Mouse. Now that might be because he finds the Magic Mouse bad. Or just that he prefers the one he is using instead
20.
by BlackFingolfin 2y ago
Chrome removed support for JPEG XL last year, see e.g. https://arstechnica.com/gadgets/2023/04/free-software-group-...
21.
by BlackFingolfin 3y ago
I just activate reader mode on his pages, works great. (Not disagreeing with you, just stating another workaround) Also wish his pages had dates on them (one or both of first posted / last updated) AFAIK he intentionally leaves them ou
22.
by BlackFingolfin 3y ago
Well, Qualcomm at least claims that. Whether they can deliver is to be seen. Wouldn't be the first time they fail to do so...
23.
by BlackFingolfin 3y ago
Well... "it appears to have fallen on Fedora and GCC developers" suggests they are are forced into doing this. But it's the reverse: they decided this is a sensible goal. OK, they are free to do that, but painting it as if th
24.
by BlackFingolfin 3y ago
That's not 15 minutes per host; that's 15 hosts per minute.
25.
by BlackFingolfin 3y ago
A bit off-topic, but: I am somewhat confused by the claim “Subversion was created by Jim Blandy”. I was around back then, and the names I think of when it comes to “who created Subversion” are Ken Fogel, Ben Collins-Sussman, and Mike Pilato
26.
by BlackFingolfin 3y ago
Sorry, I was unclear: I know what weakly solved means. What I find curious is that the title and abstract refer to "solved", and don't mention what they actually mean. To me "solved" would suggest "strongly sol
27.
by BlackFingolfin 3y ago
But none of this explicit. This is at best an announcement of a potential proof. But it isn't a proof yet. Also curious: in the end of the paper they talk about having "weakly solve" Othello... the paper overall reads really
28.
by BlackFingolfin 3y ago
Fiat is from Italy, so probably no
29.
by BlackFingolfin 3y ago
Oh man that leads me into an infinite Cloudflare captcha loop on my iPhone :-(
30.
by BlackFingolfin 3y ago
Fun fact, Doom was actually developed on a NeXTStation, so with a Unix based OS (and predecessor to modern day macOS).

More ›