mjw1007

28 ms·

301.
by mjw1007 5y ago
I remember sitting in maths lectures and wishing that when they did thing like prove the intermediate value theorem they'd make it clearer that what was going on wasn't so much "We're rigorously proving that this thing t
302.
by mjw1007 5y ago
For the avoidance of doubt: Andrej Bauer is himself very much one of those crazy HoTT people.
303.
by mjw1007 5y ago
I wonder if there's scope for dealing with this sort of situation in trademark law. That is, maybe we could make the law say "if you want to be able to use the courts to limit the use of your brand name, you have to follow certain
304.
by mjw1007 5y ago
Another approach is to avoid basing important Free Software projects in the USA.
305.
by mjw1007 5y ago
Perhaps a reasonable way would be to have a memfd_secret() flag which requests "kill this process if you're going to hibernate". Then you could do the operations involving the secret in a dedicated subprocess.
306.
by mjw1007 5y ago
https://en.wikipedia.org/w/index.php?title=Special:Log&page=... says that the 2014 version was deleted as "Unambiguous copyright infringement". That will be why those revisions are no longer accessible.
307.
by mjw1007 5y ago
The complaint about churning through instruction-encoding space like x86 does each it wants to change the SIMD size seems reasonable, at least. Do all the ISAs do that?
308.
by mjw1007 5y ago
I agree that the resulting binary is a Lisp interpreter. But I don't think the program presented in this link was its implementation.
309.
by mjw1007 5y ago
It seems a bit of a stretch to describe that program as an implementation of a Lisp interpreter, then.
310.
by mjw1007 5y ago
Where does the garbage collector come from?
311.
by mjw1007 5y ago
In my experience methodcaller is an occasionally-useful "mid-refactoring feature". That is, sometimes when I'm making a largeish modification there's a point in the commit series where the natural way to express what&#x2
312.
by mjw1007 5y ago
You can start writing release notes any time you like. The idea of semver was that you use the version number to encode compatibility information, and stop using it as a vague indication of the maturity of the project or the size of the cha
313.
by mjw1007 5y ago
More concretely, scrolling up I see that the tweeter says their threshold for declaring 1.0 is when they « feel that the API will only need to be extended in a backwards compatible way. When taking care not to break people's code is no
314.
by mjw1007 5y ago
Using semver is a promise that if you make a backwards-incompatible change you will update the major version. That's entirely separate from any promise, or statement of intent, that you might want to make about whether you're hopi
315.
by mjw1007 5y ago
Parts of the documentation are very good. For example https://www.postgresql.org/docs/13/wal-configuration.html is done properly: it describes what that part of the program actually does, with the settings that af
316.
by mjw1007 5y ago
It's bit early to be sure yet (the UK fall in cases has slowed greatly in the last week), but if that turns out to be true "the models predicted that cases would peak around that time" would still be OK for the purposes of th
317.
by mjw1007 5y ago
Centre for Mathematical Modelling of Infectious Diseases model: https://assets.publishing.service.gov.uk/government/uploads/... That's showing hospitalisations rather than cases, and most scenarios show the p
318.
by mjw1007 5y ago
More likely the causality goes the other way: if the models hadn't predicted (as they did) that cases would peak around that time, "freedom day" would have been scheduled for later.
319.
by mjw1007 5y ago
Yes. There is a great deal of written information about Rust-the-language which exists only in compiler comments, RFCs, bug reports and internals.rust-lang.org threads (often slightly stale in all cases). It's Rust's greatest weak
320.
by mjw1007 5y ago
Non-rhetorical question: do you think that would have been likely to cause the hypothetical implementor more or less pain, over the next decade or so, than OpenSSL's buffer overflows?
321.
by mjw1007 5y ago
I think it's more than avoiding feature creep. I think the most interesting parts are « It is more important for the implementation to be simple than the interface. » and « completeness must be sacrificed whenever implementation simpli
322.
by mjw1007 5y ago
The distinction between cryptographic issues and coding-level issues seems valuable. I think "You Shouldn't Roll Your Own Crypto" is really three separate pieces of advice, each of which deserves justifying independently. Rou
323.
by mjw1007 5y ago
There have been cases of US citizens literally shooting and killing Mexican children over the border, and extradition was refused. https://en.wikipedia.org/wiki/Hernandez_v._Mesa
324.
by mjw1007 5y ago
It does, but the question is whether the US would extradite one of its citizens for crimes they'd allegedly committed _while in the US_. I don't see anything on that Wikipedia page that says it would. The more usual case for extra
325.
by mjw1007 5y ago
The limit doesn't seem unreasonable given the intended purpose: very likely if someone ran into the limit using the "screen generator" (and was paying for support) it could be fixed with a simple recompile of the interpreter.
326.
by mjw1007 5y ago
TRAMP is more than just opening and writing files: it runs VCS operations remotely, which is very helpful. https://emacs-lsp.github.io/lsp-mode/page/remote/ suggests that LSP under TRAMP is basically there, t
327.
by mjw1007 5y ago
« This is an objective, verifiable fact. [...] Another objective, verifiable fact. » Please provide your references, then.
328.
by mjw1007 5y ago
« Most of these were likely managed-language programs. » Please don't guess. They weren't. It is true that a program that aborts as soon as malloc returns failure isn't doing any special cleanup or attempting to keep going. B
329.
by mjw1007 5y ago
I think your first paragraph is too pessimistic. You can get a decent idea of the behaviour of the programs you use when they run out of memory by running under 'ulimit -v' with a low limit. In my experience most (though far from
330.
by mjw1007 5y ago
It wasn't just the embargoes. They really did pay back the billions of dollars-worth of "debt".

More ›