dwheeler

18 ms·

181.
by dwheeler 3y ago
Also, in Fortran arrays are normally stored in column-major order (sometimes called “Fortran order”). C uses row order. A simplistic translation would have terrible performance.
182.
by dwheeler 3y ago
I believe the legislators are generally well-intentioned, but that is worth nothing . Laws and regulations should be judged by what they will do. In this case, they will make security worse, witg no adquate compensatory advantage, so it sh
183.
by dwheeler 3y ago
I agree with him. It was huge news when the licensing model was announced. Many people had expected it to be freely available. The day it was announced was the day that Web growth truly began. The rats didnt just jump from the ship, they c
184.
by dwheeler 3y ago
"In summary, we strongly warn against the currently proposed trilogue agreement, as it fails to properly respect the right to privacy of citizens and secure online communications; without establishing proper safeguards as outlined abov
185.
by dwheeler 3y ago
I would have expected to see at least more of a discussion about Metamath. Metamath by itself does not pick any particular foundation. It just lets you state axioms, then prove theorems from axioms and other proven theorems (letting you s
186.
by dwheeler 3y ago
There are many specific causes, time stamps probably being the most common issue. You can see a list of common issues here: https://reproducible-builds.org/docs/ The main overall issue is that developers don't tes
187.
by dwheeler 3y ago
Yes, I think so. More widespread algorithms have been far more thoroughly studied; they've been studied for longer and stood the test of time. Their weaknesses, and how to counter them, are better understood. They're busted by gen
188.
by dwheeler 3y ago
> In languages without this feature (most of them), you sometimes see long blocks get labeled at the end anyway. True. However, in Ada at least, if the block types don't match then it's a syntax error detected at compile time
189.
by dwheeler 3y ago
> US constitution has "We the people", but Americans don't really see their government as "We" ... I think you misunderstand. I'm an American, so I should probably clarify a typical American perspective. Cav
190.
by dwheeler 3y ago
To be fair, WordPress core has gotten better. The bigger problem is that there are many WordPress plugins, and many of the plugins can't even pretend to be related to being secure. Until developers are widely taught how to develop secu
191.
by dwheeler 3y ago
Yes. :-)
192.
by dwheeler 3y ago
No.
193.
by dwheeler 3y ago
Ada, at least, uses begin...end in part because it prevents certain kinds of errors. In its syntax you have to specify what you are ending, reducing the risk of invalid matches and increasing the likelihood of the error report system gues
194.
by dwheeler 3y ago
There are many kinds of errors. It's helpful to have specific names for specific kinds of problems. Otherwise it's hard to discuss and fix.
195.
by dwheeler 3y ago
Most academic publishers have become parasites: they don't pay for the research, they don't pay the authors, and they don't pay for the peer review, yet they own the result. One solution: as a condition of receiving a governm
196.
by dwheeler 3y ago
This always works for some foo: foo --help 2>&1 | less I'm not sure this is good advice. Many want to show usage info when there's an argument error, and you want to reuse the help code with minimal complexity.
197.
by dwheeler 3y ago
The idea of written communications is even older, let's get rid of that too :-). Email has not stayed put. Most email is encrypted hop-to-hop, for example. It's not ideal for security, sure, but compare it to the alternatives. I
198.
by dwheeler 3y ago
Nit on title: it's => its
199.
by dwheeler 3y ago
I have 1 key recommendation: if you're writing shell scripts, use shellcheck. It can detect many problems and hrlp you write better scripts.
200.
by dwheeler 3y ago
The internet aechive comes again to the rescue, if you want to read the article: https://web.archive.org/web/20230916175256/https://www.lapha...
201.
by dwheeler 3y ago
Tails works fine on IBM-PC compatible laptops and desktops with Intel compatible chips, which is nearly all laptops. I presume you meant that Tails doesn't run on ARM Macs? If you only have an ARM Mac, it's easy to get an old IBM-
202.
by dwheeler 3y ago
Sorry, I think this advice is exactly wrong. Email service providers can also disappear, or shut down your account without recourse. By contrast, if a domain registrar shuts down, you can use another without impact to anyone else, and there
203.
by dwheeler 3y ago
Visual Basic (both of them) still exist, but their use has dropped dramatically through some big changes: * "Visual .NET" (aka "Visual Fred" http://catb.org/jargon/html/V/Visual-Fred.html
204.
by dwheeler 3y ago
I've been doing this for decades. It works very well, it can handle complex cases, and it ports trivially between different hosting systems.
205.
by dwheeler 3y ago
Short answer: yes. This is an amusing question, but there is no problem. The "growing population" statement is misleading, anyway, because it is temporary. The fertility rate is plummeting. About 2/3 of countries are already
206.
by dwheeler 3y ago
Raft cannot handle Byzatune faults by itself. There are variant algorithms that can.
207.
by dwheeler 3y ago
I teach a class distributed systems, and this site is one of the references. Thanks for making Raft so clear!
208.
by dwheeler 3y ago
> 1. Sure, but verifying a spec is still much easier than verifying a whole proof (as we traditionally do). I agree. In the Metamath community, we also check all proofs with a collection of verifiers written by different people in diff
209.
by dwheeler 3y ago
I think it's very likely that StackExchange is the key data source for ChatGPT answers of this kind. If you want LLMs to give good answers, it's important to have their sources correct.
210.
by dwheeler 3y ago
I've yet to see a 6502 C compiler get within sight of good assembly code. C makes many assumptions that are slow to implement on a 6502, and are notoriously hard to optimize.

More ›