dwheeler

16 ms·

211.
by dwheeler 3y ago
Yes, by default the screen width is 40 characters. Many had an "80 column card" and later versions included it. However, TV screens of the time could not readably display 80 character wide screens.
212.
by dwheeler 3y ago
Much depends on the fluid. Is it toxic? What happens when (not if) it leaks?
213.
by dwheeler 3y ago
I agree, it's odd. I don't have anything recent, but back in 2004, the majority of the Linux kernel code was in its drivers: https://dwheeler.com/essays/linux-kernel-cost.html I expect that most of the curr
214.
by dwheeler 3y ago
I recommend checking out "They're made out of meat": https://www.youtube.com/watch?v=GggK9SjJpuQ
215.
by dwheeler 3y ago
Leibniz dreamed that we would be able to completrly determine if some claim was true or not. We can't do that for all claims, but at least in mathematics, we can prove with absolute certainty that some axioms will lead you to other cla
216.
by dwheeler 3y ago
I'm currently skeptical, as these are extraordinary claims. But it doesn't matter what my current guess is. This claim either replicates or it doesn't. I really hope it replicates. If it does, then even if this material can
217.
by dwheeler 3y ago
The comp.* hierarchy seems the most likely to have activity. It appears to me that comp.lang.ada has current discussions: https://groups.google.com/g/comp.lang.ada
218.
by dwheeler 3y ago
This not new info, but it's good to tell others. My "Program Librarues HOWTO" says this: "Beware: do not run ldd on a program you don't trust. As is clearly stated in the ldd(1) manual, ldd works by (in certain case
219.
by dwheeler 3y ago
If your needs aren't trivial, just use GNU make if you're using make.
220.
by dwheeler 3y ago
I registered a domain name, then configured an email system to use it. Now I'm not locked in to the same degree.
221.
by dwheeler 3y ago
For a very different approach, check out make-booster: https://github.com/david-a-wheeler/make-booster Make-booster provides utility routines intended to greatly simplify data processing (particularly a data pipeline)
222.
by dwheeler 3y ago
That is not settled law. In the US the key is if this is derivative or transformative. You can read a book without your brain getting owned by the author. It's perfectly reasonable to say it should be considered copyright infringement,
223.
by dwheeler 3y ago
It's only illegal if a law makes it illegal. It's not clear to me that it should be illegal.
224.
by dwheeler 3y ago
Intuitionism is very interesting, but those of us who "grew up" on classical logic can easily accidentally depend on the law of excluded middle applying in all cases. The Metamath system lets you specify the axioms you want to use
225.
by dwheeler 3y ago
The real question to me, is how it will take to get more (useful) qubits.
226.
by dwheeler 3y ago
If you're interested in formalizing math, check out Metamath: https://us.metamath.org . By itself Metamath doesn't embed any particular set of axioms. The most widely used database (axioms and proven theorems) uses clas
227.
by dwheeler 3y ago
There's been a spec for this for a long time, with some uptake. If you want config files in one place, at least on Unix-like systems, the Free Desktop Spec recommends that config files be in $XDG_CONFIG_HOME which by default is $HOME&#
228.
by dwheeler 3y ago
Agreed. I've used vim for decades, and also use a password manager. I have a laptop and phone, and routinely use multiple web browsers. I want to sync encrypted passwords across devices, and auto fill in when I visit a a website... a
229.
by dwheeler 3y ago
If this is a company this is probably a trademark issue. But at first glance this looks like satire to me, not a company. Poking fun at the "open" in OpenAI seems like protected speech in the US, and I'm guessing this is a US
230.
by dwheeler 3y ago
The people who will pay will be the same people who currently pay.The authors of standards are usually not paid by the standards bodies and get no royalties. They and their companies even have to pay for the travel required. The technical r
231.
by dwheeler 3y ago
I think his key point applies to many other fields. I'll summarize it as "evaluate the work you do, at least in part, on its utility to others". I've heard of devs who were asked to solve simple problems, but went out to
232.
by dwheeler 3y ago
Low. It wouldn't be hard to create an LSM for Linux to reject file creation of certain filenames, though. Then at least sone security-minded people could enable it. The POSIX folks are finally adding formal support for null terminated
233.
by dwheeler 3y ago
Sadly you can't please everyone :-). The explanation is further down on the page. If I wrote in that recommended order, many other developers would complain "I don't want all the details, just tell me what to do". I wr
234.
by dwheeler 3y ago
It might be useful for writing fiction or summaries. Has anyone tried?
235.
by dwheeler 3y ago
Dang: Please change the title so "crypto" becomes "cryptocurrency". I realize that's the original title, but here at HN the term "crypto" is confusing (I presumed they meant cryptography, not cryptocurrenc
236.
by dwheeler 3y ago
If you want to go deeply into formalized mathematics, take a look at the Metamath Proof Explorer < https://us.metamath.org/mpeuni/mmset.html >. It defines a set of axioms, and formally verifies every proof showing
237.
by dwheeler 3y ago
The US government is not compelling speech, it's compelling PyPI to accurately reveal to the US government the contents of past speech that PyPI has access to. Compelling disclosure of certain kinds of data, when it's known, is a
238.
by dwheeler 3y ago
I'm skeptical that an "unpublished manuscript" should count. If someone quietly has an idea, but tells no one, it has no value to humanity. If the world wasn't told, then the world has every right to say "that does
239.
by dwheeler 3y ago
I'm a professor and up to this semester I've required a paper to summarize some area. I've already decided (before this was posted) to stop requiring them. It's too easy to create a paper that summarizes material without
240.
by dwheeler 3y ago
I haven't tried it myself, but it looks like several are already looking at implementing machine learning with WebGPU, and that this is one of the goals of WebGPU. Some info I found: * "WebGPU powered machine learning in the bro

More ›