dwheeler

36 ms·

391.
by dwheeler 4y ago
Sadly, the POSIX specification for "make" is notoriously limited. They only spec'ed what everyone could agree on, and that wasn't much. I'm sure there are cases where a make that only implements the POSIX spec is
392.
by dwheeler 4y ago
> Trying to look quickly for a hard number, it seems that the usual estimate (perhaps one study being widely reported rather than hard estimates) is about 5-10% of works surviving. I suspect the actual value is much smaller, probably l
393.
by dwheeler 4y ago
> Ludwig Wittgenstein’s Tractatus Logico-Philosophicus (1921) appears to be the only major work of philosophy to have been composed while the author was an active military combatant. I would add Marcus Aurelius, Roman emperor's &quo
394.
by dwheeler 4y ago
That seems reasonable. Tail call elimination, limited to within a realm, still seems pretty useful.
395.
by dwheeler 4y ago
A related option: LibreOffice has a cool option where you can generate the PDF with the editable text format embedded. You get a clean PDF that is also fully editable. Easy tech, but also useful.
396.
by dwheeler 4y ago
> The complete corpus of Classical Latin and Greek literature can be found in the Loeb Classical Library. Well, no. The complete surviving corpus, sure, but almost all of those works have been lost, never mind those of earlier eras. A
397.
by dwheeler 4y ago
> While this doesn't make all Linux distributions UNIX certified, it puts a rather large dent in the claim that they cannot be qualified as UNIX because of some claimed divergence from the standards. No one is claiming it can't
398.
by dwheeler 4y ago
Radio show: https://youtu.be/GggK9SjJpuQ
399.
by dwheeler 4y ago
"Unix" implies paying annual fees for use of the "Unix" trademark, and/or at least direct descent from the original Unix code. According to: https://kb.iu.edu/d/agat "To use the Unix trade
400.
by dwheeler 4y ago
Hi, I'm the author. Thanks to the person who proposed this on HN! Ask me anything.
401.
by dwheeler 4y ago
I do. It's easy to test. If it's a simple CRUD application, just test to ensure that simple read, edit, delete are supported, typically using REST. Done. In fact, it's much easier to test than seriously testing a system with
402.
by dwheeler 4y ago
Absolutely true, there were and are MANY compilers for the 6502. However, the 6502 was a challenge to implement high-level languages on, IF you also wanted speed and small code size. But since the 6502s were slow compared to modern chips, a
403.
by dwheeler 4y ago
Most people leave JS on, but several browsers (e.g., Tor browser) and browser extensions make it easy to turn ir off (e.g. for improved security). Many tools, e.g. Lynx, curl, wget, do not implement JavaScript.
404.
by dwheeler 4y ago
Another issue: not everyone has JavaScript enabled, and it's good to back off to something useful without JavaScript where that is sensible. Many security-minded folks think that "auto run arbitrary code from random websites"
405.
by dwheeler 4y ago
You can also put the main loop in zero page, and increment the addresses directly by incrementing their zpage values. I would expect that to be slightly slower than total unrolling, but it wouldn't be as long and thus more practical.
406.
by dwheeler 4y ago
As Alberti said, "licensing killed gopher": https://mncomputinghistory.com/gopher-protocol/ The WWW was given for free, gopher tried to tax the world after being given away in a what looked like a bait-and-sw
407.
by dwheeler 4y ago
I had strong feelings about it, and I figured it wouldn't take too much time. I was wrong about that second part :-).
408.
by dwheeler 4y ago
Code hosting services are still called forges. It's a useful generic term with a small syllable count.
409.
by dwheeler 4y ago
I don't know if much would be reported. If you mean a FOIA request to the US Federal government, there are many exemptions, including: Exemption 1: Information that is classified to protect national security. ... Exemption 3: Informati
410.
by dwheeler 4y ago
Has anyone considered doing "add16" on the first character of the sha-256 hash, e.g., so the SHA-256 hash 1d06... becomes hd06... ? Then you could see, from the first character, if it is SHA-1 or SHA-256. Having a clear distinctio
411.
by dwheeler 4y ago
As the linked-to author, thanks for the "requisite" link :-).
412.
by dwheeler 4y ago
Right, unsat is the interesting case where you especially want a proof of the SAT solver. Unsat can be used, in turn, to prove other things. If you want to prove that some condition C is always true in a set of expressions, just ask the SAT
413.
by dwheeler 4y ago
I was an expert witness this year. In that case, I wasn't paid by either side. But I can understand better why people ask for big paydays. The opposing side does their best to make you and your statements look bad. Even when you know t
414.
by dwheeler 4y ago
I prefer a variant of this: own your domain name and make it easy to move. I don't think everyone has to run their own server. It's fine to pay someone or use a free service. The issue is, can you change who hosts it? If you can,
415.
by dwheeler 4y ago
At 40 mm, it seems basically useless as an attack in almost all circumstances. However, I wouldn't write it off completely, because if somebody else can extend its distance further then I can see it becoming a concerning attack.
416.
by dwheeler 4y ago
No. The "batteries included" is awesome for many reasons. Removing in-use modules would also create serious upgrade problem.
417.
by dwheeler 4y ago
It doesn't seem to be mentioned here, but I'm especially intrigued by the possibility of implementing shaped objects. See https://chrisseaton.com/truffleruby/rubykaigi21/ and the previous HN conversation
418.
by dwheeler 4y ago
Here is a larger compendium of mathematical proofs that are formally proved all the way back to ZFC axioms using classical logic, namely the Metamath Proof Explorer: http://us.metamath.org/mpeuni/mmset.html Metamath le
419.
by dwheeler 4y ago
I have a PhD and never seriously considered full-time tenured academia. There are many reasons to get a PhD.
420.
by dwheeler 4y ago
In many organizations this is bad advice. I've given many presentations where I has to provide the slides, which were then repeatedly emailed as samizdat. Easy 10x as many people only read the slides, but a document would not have reac

More ›