dwheeler

15 ms·

151.
by dwheeler 3y ago
No! The poop symbol is used in data, and thus is a terrible separator. If you have to quote it anyway, use commas, as that is already in use. Or use "Unicode" separated values.
152.
by dwheeler 3y ago
Often you can use cell phone or a coffee shop if it's say 2 days/year of internet downtime. If you need it for an emergency call, you need higher reliability, but you can prioritize, and I don't know how common landlines are
153.
by dwheeler 3y ago
The article traces the symbol to March 1931's League of Nations "Convention Concerning the Unification of Road Signs" in Geneva, Switzerland. But someone must have suggested it so it could be added to the convention. Who was
154.
by dwheeler 3y ago
Some of these games are available via the Interactive Fiction Archive; it has many interactive fiction (text adventure) games: https://www.ifarchive.org/
155.
by dwheeler 3y ago
It was used elsewhere. E.g.: https://www.apple2history.org/museum-a-l/articles/byte8501/ says: > BYTE: Isn’t Sweet-16 still used in Apple DOS and ProDOS editor/assemblers? > WOZNIAK: Yes, it’s used
156.
by dwheeler 3y ago
You can't relicense the original material, true. But you can create a new version with changes and a different license. The new license only applies to the new changes, but if users use the software as a whole, users must comply with
157.
by dwheeler 3y ago
The compendia of Metamath proofs us here https://us.metamath.org/ All of theree are formally from axioms or other formal proofs that lead back to their axioms, without any gaps.
158.
by dwheeler 3y ago
For a country to exist, it needs a military or an ally with one. It's easy to have no military, as long as you don't mind being completely controlled by a country with one.
159.
by dwheeler 3y ago
One solution is to embed alternatives within PDF itself. LibreOffice can embed inside a PDF the original editabble source in ODF format. You could also embed ePub. That would mean you would have a single file that could be processed in many
160.
by dwheeler 3y ago
To hear an example of what V.90 56k really sounds like: https://www.youtube.com/watch?v=VaWpi9o_hHI
161.
by dwheeler 3y ago
In my experience, they are seriously enforced, though any time you have a large number of people you'll definitely find exceptions. The threat of massive fines and long jail times tends to encourage compliance. Also, many of the people
162.
by dwheeler 3y ago
I doubt any set of countermeasures will guarantee catching everything. I think the goal should be to make it harder and riskier for attackers to successfully perform the attack. I can't be certain we can get there... but nothing gets b
163.
by dwheeler 3y ago
Underhanded code is interesting and worrying. In April 2020 I wrote a paper on some ideas on how to counter underhanded code. Some countermeasures seem promising, especially when combined. More info here: "Initial Analysis of Underha
164.
by dwheeler 3y ago
This is a problem for all models, not just open models.
165.
by dwheeler 3y ago
This image is now part of my presentation "Artificial Intelligence / Machine Learning (AI/ML) and Security" https://dwheeler.com/secure-class/presentations/AI-ML-Securi... ... as a nice example
166.
by dwheeler 3y ago
I'd tweak that statement. Experimenting on the kernel is fine. Experimenting on humans without their consent is not fine.
167.
by dwheeler 3y ago
Here's the letter from the Linux Foundation: https://www.zdnet.com/article/the-linux-foundations-demands-... Full disclosure: it is from Mike Dolan, but I wrote a substantial part of it. Yes, things did change. 1.
168.
by dwheeler 3y ago
Trye, but 70% of vulnerabilities are memory safety problems. String handling is more of a pain in C, too. C is a terrible choice for this use case.
169.
by dwheeler 3y ago
In Old English "thou" is singular, "you" is plural. As noted in Wikipedia: > As William Tyndale translated the Bible into English in the early 16th century, he preserved the singular and plural distinctions that he fo
170.
by dwheeler 3y ago
More info: https://en.wikipedia.org/wiki/Thou This should be common knowledge for native English speakers. It's hard to read Shakespeare without knowing this. But for non-native speaker, this would be mysterious.
171.
by dwheeler 3y ago
The post mentions SLSA level 2. Here are the SLSA levels, for those not familiar with them: https://slsa.dev/spec/v1.0/levels Here's the full spec from its beginning: https://slsa.dev/spec&#x2
172.
by dwheeler 3y ago
Strictly speaking that's true for any system that can handle arithmetic (as proved by Goedel). You can show an inconsistency, but you can't prove consistency. No one's found an inconsistency. There are pros and cons for both
173.
by dwheeler 3y ago
Note: There's also a blog post about this, here: https://openssf.org/blog/2023/11/29/strengthening-the-fort-o... I think HN's current link is the right one. The blog post announces its release.
174.
by dwheeler 3y ago
We did include `-D_GLIBCXX_ASSERTIONS` but we intentionally did not include `-D_GLIBCXX_DEBUG`, because we've been focusing on production releases. The current plan is to add more information distinguishing between production code an
175.
by dwheeler 3y ago
The `-fsanitize=safe-stack` and `-mshstk` options are already under discussion: https://github.com/ossf/wg-best-practices-os-developers/pull... ; see also https://github.com/ossf/wg-best-pract
176.
by dwheeler 3y ago
If you believe the big advantage of Principia Mathematica was that it starts with a very few axioms and then manages to formally and exactly prove many things, then MPE is a worthy successor. I'm in that camp. However, if you think the
177.
by dwheeler 3y ago
"Wrong" is too strong. The fundamental bases it used are not generally used today, but it was the first of its kind and inspired much. Many of its details are still fine. If you are interested in the underlying goal of Principia M
178.
by dwheeler 3y ago
I like this audio performance: https://www.youtube.com/watch?v=GggK9SjJpuQ&pp=ygUZVGhleSdyZ... It makes me smile each time.
179.
by dwheeler 3y ago
It should be illegal to say "buy" when you don't get full rights. Call it "rent" or "lease", but "buy" should only mean "buy".
180.
by dwheeler 3y ago
One of the authors of this was Robert Dewar. He was a computing genius and an awesome person. Another story about him is here: https://dwheeler.com/essays/make-it-simple-dewar.html

More ›