Smaug123

31 ms·

481.
by Smaug123 3y ago
The originator of that quote was writing in the 12th century. The quote is cited without a source at https://en.wikipedia.org/wiki/Square_of_opposition , where the phrase is "Omnis homo qui lapis est" ("
482.
by Smaug123 3y ago
The mistake of `null` is _not_ that it exists at all - it's often the case that you can't answer a question, and it's extremely useful to be able to model your inability to answer a question! The mistake of `null` is instead
483.
by Smaug123 3y ago
Although it's presumably much less controversional that `any([])` is false. After all, most people presumably think of an existential statement as being satisfied precisely when there's a witness to that statement, and of course a
484.
by Smaug123 3y ago
I think you've misunderstood. The question you posed has an answer implied by the parent's question with n=1.
485.
by Smaug123 3y ago
EDIT: of course, moments after I submitted this comment, I found the following in the spec: "For more flexibility, at the cost of performance and causing mistakes to be discovered only when the program is being executed, the dyn type c
486.
by Smaug123 3y ago
There are many ways you can get to this point (e.g. I just sort of picked this kind of thing up), but an example of a course which is designed precisely to give you these skills is Casey Muratori's "Performance-Aware Programming&q
487.
by Smaug123 3y ago
Does that suggest that you could arrange a kind of course that all children got, which taught the union of all phonemes of all common languages, without teaching much of the languages themselves? And thereby future-proof the child with the
488.
by Smaug123 3y ago
Enums are a bit leaky, though, because C# enums can just have any old `int` chucked into them, so you really do need the final arm of the `match`. `(EnumA)100` will compile just fine!
489.
by Smaug123 3y ago
Personally I think of Nix mainly as analogous to "the part of Docker which concerns itself with producing the OCI artefact", but in a much less cursed way than via Dockerfile and `docker build`. (`docker build` is inherently curse
490.
by Smaug123 3y ago
(By the way, the UK is not an island. For example, you've omitted Northern Ireland.)
491.
by Smaug123 3y ago
You have asked question 19.27, by the way.
492.
by Smaug123 3y ago
Per the article, it's a medical shorthand, like "Normal for Norfolk". It means among other things "I know the real fix for your medical problems, but am powerless to carry it out".
493.
by Smaug123 3y ago
twitch I thought the Queen was greedy and had very little patience - why are we traversing the input list twice in both generated responses?
494.
by Smaug123 3y ago
Lots and lots, yes, but only really in strongly- statically-typed languages; I have hated Nixlang since the moment I first set eyes on it.
495.
by Smaug123 3y ago
As a counter-anecdote, as someone who used to be a newcomer to Nix, it took until I encountered flakes before I went "aha, this is how it was always meant to be".
496.
by Smaug123 3y ago
It seems a bit weird to include, in your article about how being sufficiently smart doesn't let you take over the world, a proof of concept that being sufficiently smart can make you a billionaire. Isn't the hedge-fund-bro example
497.
by Smaug123 3y ago
Your answer is incomplete, assuming the usual Wason selection problem where the phrasing is "if a card has a number divisible by 4 [which could be face down]…" rather than "if a card is showing [face up] a number divisibl
498.
by Smaug123 3y ago
Oh absolutely a fair criticism! Personally I've all but stopped using ChatGPT (I used it six times in the last seven days before today, and two of them were for the same question about GitHub Markdown) because it's just too unreli
499.
by Smaug123 3y ago
A whole four working days to adjust the model in between preprint release and the version of ChatGPT I'm using, then! Do you think that's plausible? I certainly don't.
500.
by Smaug123 3y ago
Quick work, if they did so since the preprint was posted six days ago, of which two were a weekend! My version of ChatGPT claims to be the 3rd August version, which gave them one day to respond unless they were somehow targeting some snea
501.
by Smaug123 3y ago
In fairness, further on in the paper, the author does note that the quoted extract is irrelevant, by saying "we need not aim for an oracle anyway. Humans are not oracles either…"
502.
by Smaug123 3y ago
I'm all ears!
503.
by Smaug123 3y ago
Strong downvote, if that were possible. Someone's already quoted the heart rate one where it correctly pointed out that it's possible to die and be resuscitated. The first one I tried to reproduce myself was verbatim the one immed
504.
by Smaug123 3y ago
Avalonia does Just Work from F#; it even has `dotnet new` templates for F# ( https://github.com/AvaloniaUI/avalonia-dotnet-templates ).
505.
by Smaug123 3y ago
I have been informed that computation expressions do not have early return. For example, `async` does allow you to express what appears to be an early return, but only of the `unit` type, and in fact it doesn't return early; it simpl
506.
by Smaug123 3y ago
The templates are all listed at https://learn.microsoft.com/en-us/dotnet/core/tools/dotnet-n... . You picked a template that is indeed not supported in F#; the F# ecosystem is generally oriented more aro
507.
by Smaug123 3y ago
The main difference is the totality checking. A discriminated union guarantees that you've handled the entire modelled domain (and nothing else); repeated interface checking merely guarantees that you've handled a subset of it
508.
by Smaug123 3y ago
The parent comment means that C# lacks DUs, not that F# lacks them.
509.
by Smaug123 3y ago
Some of the complaints in the article are certainly valid (why would there be early-return in the context of computation expressions, but not in ordinary functions?), but some I claim are actually features, and some are false. * Linearly or
510.
by Smaug123 3y ago
Ah, I stand entirely corrected - cute framing!

More ›