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…
>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.…
They can’t be hemorrhaging cash when they IPO.
>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…
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" doesn't seem to…
Where did I judge the FreeBSD community?
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)".
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
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…
I like how ZFS doesn’t have “bugs”, it has “defects”.
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.
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…
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.
"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's…
>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…
Molten iron can be poured in open air. Doing that with titanium will yield a distinctly different results.
+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…
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…
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…
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…
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…
Software Foundations is quite a comprehensive series on program verification.
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...
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…
I can't imagine there's much overlap. Just look at the suppliers working on the SLS SRBs and those working on the LGM-35 program, perhaps then you'll see the extent of the overlap. Furthermore, you might want to look…
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…
>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.…
They can’t be hemorrhaging cash when they IPO.
>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…
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" doesn't seem to…
Where did I judge the FreeBSD community?
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)".
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
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…
I like how ZFS doesn’t have “bugs”, it has “defects”.
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.
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…
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.
"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's…
>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…
Molten iron can be poured in open air. Doing that with titanium will yield a distinctly different results.
+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…
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…
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…
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…
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…
Software Foundations is quite a comprehensive series on program verification.
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...
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…
I can't imagine there's much overlap. Just look at the suppliers working on the SLS SRBs and those working on the LGM-35 program, perhaps then you'll see the extent of the overlap. Furthermore, you might want to look…