dwheeler

12 ms·

121.
by dwheeler 2y ago
> The peripherals didn’t work across platforms. If you wanted to sell hardware in the 1980s, you were stuck building multiple versions of the same device. True, but in the late 70s and early 80s there was the S-100 bus. This was used by
122.
by dwheeler 2y ago
This is cool. I was happy see the prominent reference to my work on diverse double-compiling (DDC), which counters the trusting trust attack. If you're interested in DDC, check out https://dwheeler.com/trusting-trust
123.
by dwheeler 2y ago
At one time many of us dreamed of having a computer that could run as fast as 60MHz. The first computers I used ran around 1MHz. Compilation will take longer on a slower machine, but that really isn't a big deal. If the computer is rel
124.
by dwheeler 2y ago
I agree, it was boneheaded. In: https://www.minnpost.com/business/2016/08/rise-and-fall-goph... > “That socially killed Gopher,” [Bob] Alberti says of the licensing fiasco. I knew Bob (via Scepter of Goth)
125.
by dwheeler 2y ago
> the University of Minnesota did their best to help kill Gopher when they tried to license it for commercial use. They didn't just "help" kill gopher. They assassinated and buried it. As soon as they announced this, most
126.
by dwheeler 2y ago
This isn't open source software, it's source available. I don't see any claim on that page that it's open source, the page only says "source available" instead.
127.
by dwheeler 2y ago
Which version of Java (JDK) are you using? Which implementation? If that's true, then I fear the answer for Java may vary. The O'Reilly book on Regular Expressions, and the JDK documentation for version 21, say clearly that $ perm
128.
by dwheeler 2y ago
I think we're using different definitions for "end of string". In PHP, the following is considered true: > var_dump(preg_match("/^[a-z0-9 ]+\$/", "hello\n")); That is clear proof that "$&
129.
by dwheeler 2y ago
Correct. The good news that Elements still works otherwise, you just need to add the missing axiom. But many other "proofs" have been found to be false. The book "Metamath: A Computer Language for Mathematical Proofs"
130.
by dwheeler 2y ago
I agree, a "cool" think about NF is the universal set. Another way to be introduced to New Foundations, along with how one can use it, is the Metamath database for New Foundations: https://us.metamath.org/nfeuni&#x
131.
by dwheeler 2y ago
I do think that machine-verified proofs in strong systems like Lean are far superior to proofs merely verified by humans. Humans are amazing , but they also get bored and miss details. This isn't just a theoretical claim. People rea
132.
by dwheeler 2y ago
You want \Z in Python, and \z in most other languages, to match on end of string. But in some languages $ really does match end of string. As always, you must check your docs.
133.
by dwheeler 2y ago
False. "$" does NOT mean end-of-string in Perl, Python, PHP, Ruby, Java, or .NET. In particular, a trailing newline (at least) is accepted in those languages. A $ does mean end-of-string in Javascript, POSIX, Rust (if using its us
134.
by dwheeler 2y ago
More supply often helps that problem too. It's easier to engage in price-fixing when there are only a few items of supply that are controlled by only a few. Once there are more options, it's much harder to obtain or maintain monop
135.
by dwheeler 2y ago
NB: Here's one of many articles about this: "The hottest trend in U.S. cities? Changing zoning rules to allow more housing" https://www.npr.org/2024/02/17/1229867031/housing-shortage-z...
136.
by dwheeler 2y ago
The broader problem is lack of housing that can be afforded by the non-wealthy, which is caused in significant part by zoning laws. If more housing was available, the increased supply would better match the demand.
137.
by dwheeler 3y ago
I just replaced my inkjet printer, and my #1 requirement was "not from HP". HP has made some great products, but this anti-competitive tying (to prevent the use of competing ink cartridges) is unacceptable. HP, please do better.
138.
by dwheeler 3y ago
Yes, it is necessary if the world wants to have high-end chips manufactured more than a few miles from China. China's government has been spending billions and billions on an utterly massive military build-up. The US goal is to be able
139.
by dwheeler 3y ago
Unicode is more challenging when you're talking about hardware acceleration. On an Apple //e, displaying a new character required writing 1 byte to a video region. The hardware used that byte to index into a ROM to determine
140.
by dwheeler 3y ago
Hooray, with these changes, the tested setup finally manages to have a smaller input median latency (Console ~12 msec) than an Apple //e from 1983 (30 msec). It only took 41 years: https://www.extremetech.com/compu
141.
by dwheeler 3y ago
Looks correct to me. You must specially mark data that is trusted as trusted. All other daya is not trusted.
142.
by dwheeler 3y ago
The website seems to be unavailable. I don't know if the language is any good. There is definitely value in a language that is easy to move to from C (and C++) that is memory-safe and performant. Most vulnerabilities involve memory saf
143.
by dwheeler 3y ago
That is absurd. LGPL is widely understood. Compliance is generally pretty easy. The Linux kernel has many users, and it is GPL.
144.
by dwheeler 3y ago
Cool. Awk is a nice tool for semi-simple record-at-a-time processing. As far as I can tell, this implementation is much slower than other awks. Most awk implementations use a non-backtracking regex implementation (as do Rust and Go). By con
145.
by dwheeler 3y ago
I suspect there were relatively few training examples for COBOL. It would be interesting to see the results for a system which had a significant number of such examples in the training set.
146.
by dwheeler 3y ago
The second compiler can be subverted, as long as it's not subverted the same way. In particular, it could be one you wrote yourself. It doesn't need to support everything, just enough to compile the compiler under test. It could a
147.
by dwheeler 3y ago
For more, including information about the "Diverse Double-Compiling" (DDC) countermeasure, see my page: https://dwheeler.com/trusting-trust/
148.
by dwheeler 3y ago
Sure, but we already have CSV. A different format should have some advantage over existing formats. If you have to escape it either way, then use the format people can already process.
149.
by dwheeler 3y ago
So sad to hear it. He made many contributions and made the world a better place.
150.
by dwheeler 3y ago
As I understand it, the ext2 format isn't deprecated. The original driver that ONLY supports ext2 is deprecated. However, the ext4 driver also supports the ext2 format, and there are no plans to deprecate the ext4 driver.

More ›