dwheeler

70 ms·

751.
by dwheeler 6y ago
I'm glad that for the twitter statement. The website is still misleading, though; I hope that will be corrected soon. I wish you the best!
752.
by dwheeler 6y ago
No, that's not what fraud is. Let me focus on the US legal system (different jurisdictions are different, though I suspect other jurisdictions are similar). Fraud is the intentional deception to secure unfair or unlawful gain, or to de
753.
by dwheeler 6y ago
GPL is well-known to be an open source software license. Many commercial organizations depend on it.
754.
by dwheeler 6y ago
Almost everyone else, which is exactly how language is defined.
755.
by dwheeler 6y ago
The word computer used to refer only to humans who did computation. If today you said I have a powerful computer, and brought out a human, other people would correctly claim that you are misleading them. The phrase open source software has
756.
by dwheeler 6y ago
I hear Linux is pretty popular. Oh wait, it's under the GPL. And there are multiple commercial organizations selling Linux distributions. I'm sure no one uses the git Version Control System. Oh wait, that's open source softwa
757.
by dwheeler 6y ago
You may prefer it, but that phrase already has a different standard meaning. Try again.
758.
by dwheeler 6y ago
I'm not just an armchair expert. I am a literal expert. Involved in it for decades. Wrote published papers. It's part of my job title. Excluding commercial use is not helping the growth of OSS, it is falsely claiming to be OSS. If
759.
by dwheeler 6y ago
This fraud is successfully building animus in the community. It is,by definition, not open source. An open source license MUST allow any use, including commercial use.
760.
by dwheeler 6y ago
This needs retitle, e.g. "King claiming its Defold game engine open source (but isn't)"
761.
by dwheeler 6y ago
No, this is not open source. It is "source available". When someone makes a blatantly false claim, we have another word for it: "fraud". A Rose by Any Other Name May smell as sweet, but lying is still not okay. The phras
762.
by dwheeler 6y ago
By default browsers get that from the OS, and that was typically set on first boot. It's a very reliable signal.
763.
by dwheeler 6y ago
I laughed harder and harder as I kept reading. Fun!
764.
by dwheeler 6y ago
I blog. Have for a long time. The key is to own your own domain. Then your works cannot be taken away, and they are visible to all instead of risking becoming trapped in a walled garden. It doesn't cost much and it is not that hard. Se
765.
by dwheeler 6y ago
This is a quick study, and there are lots of flaws in it. That said, vitamin D deficiency is a real thing, and is especially common in as you get older. Vitamin D supplements are also pretty cheap. It's not unusual to have to make quic
766.
by dwheeler 6y ago
This looks like a very cool tool, thank you! I totally understand the "getting surprised". This of all this interest (and the big queue!) as confirmation that this tool is of general interest.
767.
by dwheeler 6y ago
I was expecting a one-sided rant. Instead, I got a reasoned distinction between two different approaches, the trade-offs of each, and a discussion about the cases where one approach (frameworks) can be beneficial but also identifying the ad
768.
Metamath Proof Explorer contributions visualized with Gource through 2020-04-29(youtube.com)
1 points by dwheeler 6y ago|0 comments
769.
by dwheeler 6y ago
Nice intro. Awk is a useful tool when you want to do simple line-by-line processing. Note: The article says that awk patterns can't capture groups. The standard doesn't provide that functionality, but if you use the widely-avail
770.
by dwheeler 6y ago
It's true that it depends on the definitions of real/complex numbers. Many other things turn out to be provable from ZFC. A discussion about this, from the viewpoint of Metamath, is here: http://us.metamath.org/mpe
771.
by dwheeler 7y ago
You have to do some clever accounting for it to relevant in some circumstances. Some data centers are entirely powered by hydroelectric power, and use of that power does not cause any carbon emissions.
772.
by dwheeler 7y ago
Not all energy is equal. If your data center is primarily energized with coal, then yes, that's going to have a big carbon footprint. If most of the energy comes from wind, solar, nuclear, and hydroelectric, then there is little or no
773.
by dwheeler 7y ago
A formally rigorous proof of this (in Metamath) is here: http://us.metamath.org/mpeuni/0.999....html Unlike typical math proofs, which hint at the underlying steps, every step in this proof only uses precisely an axi
774.
by dwheeler 7y ago
Yes, that's right, that's another story about a subverted compiler. I don't have any way to verify it, but I have no reason to doubt the story. It is quite possible, and not even that difficult to do if you want to be that ma
775.
by dwheeler 7y ago
Yes, there was a malicious compiler system for Apple iOS that was released in China a few years back and subverted a large number of mobile applications, including apps used in the US and Europe. There was also a subverted Delphi compiler a
776.
by dwheeler 7y ago
First, I forgot to disclose: I am the author of https://dwheeler.com/trusting-trust . As discussed in detail in that dissertation, if you are using diverse double compiling to look for malicious compilers, the trusted compi
777.
by dwheeler 7y ago
One cool advantage of having multiple compilers for a language is that you can use one as a check on the other. For example, if you're worried that one of the compilers might be malicious, you can use the other compiler to check on it:
778.
by dwheeler 7y ago
If you care about the EARN IT proposed law, and you are a US citizen, then you should be contacting your House and Senate Representatives. Yes, I'm aware that they may ignore your comment. But you should do it anyway.
779.
by dwheeler 7y ago
Part of the issue is that JavaScript packages are often far far smaller than packages in other ecosystems. "small packages are extremely common in the JavaScript npm package system. For example, in npm, 47% of the packages have 0 or 1
780.
by dwheeler 7y ago
If you oppose the EARN IT act (I do), and you're a US citizen (I am), then you need to contact your US House and State representatives. It's generally easy, fill in an online form. Obviously there's no guarantee that they&#x2

More ›