SubjectToChange

6 ms·

1.
by SubjectToChange 2mo ago
I’m not sure if you are complementing or denigrating golang’s tooling. Most “STEM software” packages are horrendous in terms of user/developer experience, to the point of hampering their utility. For instance, MPI really reminds HPC us
2.
by SubjectToChange 2mo ago
>Your comment boils down to "I'm smart", which in the end, isn't terribly smart. They are saying that a programmer should be able to cope with the cognitive dissonance of not immediately understanding something. >C
3.
by SubjectToChange 3mo ago
>and there is a tremendous amount of marketing online for passive. There’s a lot of advocacy for passive investing because it’s practically the only good option for retail investors. Managed funds can actually afford to advertise. There
4.
by SubjectToChange 5mo ago
They can’t be hemorrhaging cash when they IPO.
5.
by SubjectToChange 5mo ago
>stable and/or well compensated, high status job. Not exploited/abused much. Oh, they definitely deserve a union. >unstable and poorly paid, low status job. Abused and exploited often. Hmm… their job doesn’t really seem “coo
6.
by SubjectToChange 7mo ago
I'm not "playing a game". "Feld" purports to be a FreeBSD ports committer. Someone with commit rights on a major project would know how to properly file issues and work with other maintainers. But "feld" d
7.
by SubjectToChange 7mo ago
>If “If you break the law, then you go to jail” is not “you broke the law, you are going to jail”. I didn’t judge the entire FreeBSD community based on this blog post.
8.
by SubjectToChange 7mo ago
Where did I judge the FreeBSD community?
9.
by SubjectToChange 7mo ago
Worse yet, despite publishing seventeen blog posts between filing the issue and finally responding to it, he has the gall to open with "Sorry I missed your replies (life gets busy)".
10.
by SubjectToChange 7mo ago
I don't see how OpenSSL can recover from it's 3.0 disaster. They would basically have to write off the past few years of development work and start over from version 1.1.1
11.
by SubjectToChange 7mo ago
The blog author seems like a real piece of work. He ghosts the WolfSSL maintainer for over 160 days and when asked to open a new, more specific issue, he instead chooses to write a blog post denigrating the project. The WolfSSL maintainer
12.
by SubjectToChange 8mo ago
I like how ZFS doesn’t have “bugs”, it has “defects”.
13.
by SubjectToChange 10mo ago
A CPU produced after a certain date is not guaranteed to have the every ISA extension, e.g. SVE for Arm chips. Hence things like the microarchitecure levels for x86-64.
14.
by SubjectToChange 10mo ago
More aggressive optimization is necessarily going to be more error prone. In particular, the fact that -O3 is "the path less traveled" means that a higher number of latent bugs exist. That said, if code breaks under -O3, then eith
15.
by SubjectToChange 10mo ago
Mathematica recently added the Tabular command, for what it’s worth. I haven’t used it much yet, but it seems to be quite capable.
16.
by SubjectToChange 11mo ago
"They didn't showing up to practice. If they did show up to practice, they weren't practicing hard. If they did practice hard, they didn't have the commitment and drive to win. Trust us, we did everything right, it'
17.
by SubjectToChange 11mo ago
It seems like you have misunderstood the author of the article. The point of the MacArthur Foundation is basically to launder the MacArthur name in the eyes of the public. So that when people see "MacArthur" they associate it with
18.
by SubjectToChange 1y ago
>I don't see myself ever not being a driver. Cars aren't getting cheaper, car maintenance has become absurdly expensive (compared to what it was), auto insurance is set to get far more expensive, and making your entire lifestyl
19.
by SubjectToChange 1y ago
Molten iron can be poured in open air. Doing that with titanium will yield a distinctly different results.
20.
by SubjectToChange 1y ago
+1 for Minion Pro, Minion Math, and PragmataPro. Those fonts have been my preferred defaults for years now. While they are expensive, it is worth it to write in a beautiful font and to compensate the artistic work that went into making them
21.
by SubjectToChange 1y ago
God forbid you used cgroupsv1 for anything when poettering unilaterally decided to punish everyone with a 30 second delay for using it. Intentional time-delays are a nice middle ground. Yes, it is annoying to the users who've ignored
22.
by SubjectToChange 1y ago
The problem is that "weird CPUs and embedded systems" are not mainstream platforms, nor do they have a lot of money behind them (particularly for open source development). Hence, there is little motivation and/or resources fo
23.
by SubjectToChange 1y ago
GCC still for Linux distributions using glibc or any other library with many "GCCisms". Also, I'm not sure whether or not Clang is ABI compatible enough for enterprise customers with some rather extreme backwards compatibil
24.
by SubjectToChange 1y ago
Where the Soviets were first, the US was typically very close behind (sometimes by just a few days). However, US space missions were of significantly greater value while Soviet missions were often just good enough to claim whatever "
25.
by SubjectToChange 1y ago
The "About" screen indicates "Wolfram 14.2" Mathematica (MMA) and the Wolfram Language (WL) used to be the one and the same. But now a user could be using WL in a web based notebook, through Wolfram Alpha, or even on S
26.
by SubjectToChange 1y ago
Have you opening Mathematica recently? Or visited the product page for Mathematica[1]? The only change has been branding the language itself as the “Wolfram Language” where Mathematica is just one of their product offerings. [1]: https:&#x
27.
by SubjectToChange 1y ago
And yet because Wolfram has a perpetual money machine called Mathematica, he’s got a huge megaphone to advocate for himself. Wolfram primarily posts to his blog and occasionally publishes a book. He’s not exactly buying a marketing blitz
28.
by SubjectToChange 2y ago
Software Foundations is quite a comprehensive series on program verification.
29.
by SubjectToChange 2y ago
The linked discussion is upfront about the name change, if it wasn't already obvious. https://coq.discourse.group/t/coq-community-survey-2022-resu...
30.
by SubjectToChange 2y ago
Using (formal) specification languages doesn't guarantee a specification is "correct" either. You have to write more code, and in a different language, but unlike just testing you can actually prove that invariants hold for

More ›