mjw1007

20 ms·

241.
by mjw1007 5y ago
It's worth thinking about. Nowadays many people are letting their IDE do 90% of import statement maintenance, and then folding the lines out of the way so they don't have to bother reading them. That suggests to me that having exp
242.
by mjw1007 5y ago
I think it's a good article. But it's worth considering the possibility that mathematics could have fallen, and could still fall, into a state where false results are frequently published, and isn't 'protected' by a
243.
by mjw1007 5y ago
Right, I think a lot of people enjoyed customising their first computer, and then when they got a new one or reinstalled Windows because it got slow they couldn't be bothered to do it again. But maybe things are a bit different nowaday
244.
by mjw1007 5y ago
What you're saying is the orthodoxy among designers. The author of this article is saying they disagree with that orthodoxy. I don't think it's helpful to just repeat the orthodoxy without saying more. In particular I'd
245.
by mjw1007 5y ago
Is there going to be an announcement on the current status of Ferrocene soon? It's been almost a year since the last blog post. In the meeting with the lang team last February, I think the consensus was that the next step would be to c
246.
by mjw1007 5y ago
They certainly used to have regular meetings. https://www.youtube.com/c/RustVideos/search?query=core%20tea... shows meetings up to 2020-09, though I don't see any since. (That's about the time of the big
247.
by mjw1007 5y ago
Non-rhetorical question: did the change in the ruling party in the US (in early 2001) come between the original case and the dropping of the claim? I'm wondering whether the cause was more "a new head of the relevant department ha
248.
by mjw1007 5y ago
Right, Google's misbehaviour is that they're trying to gain de facto control of the "web platform", while Microsoft's was that they were trying to prevent the "web platform" coming into existence as a comp
249.
by mjw1007 5y ago
One big difference (though I don't know how much it was considered in the court case) is that IE pushed ActiveX controls as the best way to get interactive content on websites, and ActiveX controls were in practice a way to run Windows
250.
by mjw1007 5y ago
The Debian 11 release notes say: « From Linux 5.10, all users are allowed to create user namespaces by default. This will allow programs such as web browsers and container managers to create more restricted sandboxes for untrusted or less-t
251.
by mjw1007 5y ago
I agree with "It’s about parsing a value into a type with a narrower domain", but I don't see how you get to the first sentence. In their example of a markdown renderer, the internal-representation node is the type with the n
252.
by mjw1007 5y ago
I think "parse, don't validate" is an improvement on what the author of this article recommends: « So in cases where you do need to “echo” raw user input, carefully filter input based on a restrictive whitelist, and store the
253.
by mjw1007 5y ago
> It is possible in theory that code that’s less carefully optimized exhibits different behavior, or that the benchmarks chosen here are simply not as amenable to compiler optimization as they could be I think that's very relevant.
254.
by mjw1007 5y ago
Does github provide a way to redirect the URLs for individual issues to the corresponding issues on a new bugtracker?
255.
by mjw1007 5y ago
Perhaps more likely: because they were the sort of people that disliked the certificate authority cartel, and preferred to rely on a GPG signature until letsencrypt came along.
256.
by mjw1007 5y ago
A gentle suggestion for bloggers: if you're going to write an article with a title like "The growth of command line options, 1979-Present", please also arrange to prominently display the date of composition.
257.
by mjw1007 5y ago
Is there a risk that this measure is telling us as much about how likely a match was to contain difficult positions as about how skilled the players were? For example, Karpov and Kasparov sometimes agreed short draws. I wonder if that is fl
258.
by mjw1007 5y ago
I think the main surprising thing here is that people are putting smallish arbitrary limits on the sizes of inputs that they let their fuzzer generate. With the benefit of a little hindsight, that does feel rather like saying "please t
259.
by mjw1007 5y ago
It seems to me you are now agreeing with the original « They can do better, they just don't want to. »
260.
by mjw1007 5y ago
A suggestion for anyone using gist.github.com for messages like this: please put the date of writing prominently near the top, as the platform won't do it for you in the way something designed for blogging would.
261.
by mjw1007 5y ago
Also, I can imagine that the "in recent years" part might be helpful to someone reading the paper thirty years after it was published, even if today anyone who can get value out of the paper knows that.
262.
by mjw1007 5y ago
One of the main justifications for inventing the Rust Foundation was to have a good place to own Rust's trademarks, which were previously owned by Mozilla. The foundation is now nine months old, but I don't see any announcement o
263.
by mjw1007 5y ago
https://en.wikipedia.org/wiki/Wikipedia_talk:Biographies_of_... describes the process changes WP are making in response. That seems to amount to adding the following paragraph to their policies: « Any police photograph
264.
by mjw1007 5y ago
As I understand it, the main motivations were speed and memory footprint. Might not matter too much on a desktop, but people also use Debian for smaller things like Freedombox.
265.
by mjw1007 5y ago
There are references on that page saying that Assange's team were considering a cross-appeal, and the Guardian article says that one has been lodged. Does anyone know if the details of the cross-appeal have been published anywhere?
266.
by mjw1007 5y ago
I'm concerned about the Language Server Protocol. I get the impression that its current state is something like CSS in the era of Internet Explorer 4 to 6: there's a published specification which Microsoft is nominally behind, but
267.
by mjw1007 5y ago
That's an index of deeds, and the distinction there is that "direct" is indexed by the grantor and "inverted" is indexed by grantee. I don't think that's the same thing at all.
268.
by mjw1007 5y ago
Looking at that, I get the impression that the story is: - someone introduced the term "inverted file" for this sort of thing (which is sensible terminology) - later people started considering these things to be a sort of database
269.
by mjw1007 5y ago
Idle question: how did we end up with the term "inverted index" for this sort of thing? The term "index" is used because of an analogy to the index of a book. But the so-called "inverted" index is the same way
270.
by mjw1007 5y ago
It's hard to tell how much of the trouble with 2018 was due to the concept of having a major release with several things being updated together, and how much was due to the mistake of setting too early a deadline (by pre-announcing tha

More ›