Smaug123

46 ms·

661.
by Smaug123 4y ago
Maybe you got confused (like I did every time until I stopped doing anything non-flakey) about when `nixpkgs` is called `nixpkgs` and when it's called `pkgs`? In the flakes world it's considerably easier because everything is expl
662.
by Smaug123 4y ago
Oh thank God, I thought I was the only one. A while back, I posted "a lazy dynamically-typed language (in my book) perfectly combines the run-time reasonability of Haskell with all the development-time safety of LISP" on the Disco
663.
by Smaug123 4y ago
Undecided; see https://github.com/nickel-lang/nickel-nix for a proof-of-concept of an integration that requires making no changes to either Nickel or Nix.
664.
by Smaug123 4y ago
It's not quite true that it's trivial to turn a Git repo into a flake, because flakes don't do submodules, and https://github.com/NixOS/nix/pull/5497 has languished :(
665.
by Smaug123 4y ago
"Nix" refers to many things. Nickel specifically replaces the language that is called Nix. It has nothing to do with the package manager called Nix, the build system called Nix, or the OS called NixOS.
666.
by Smaug123 4y ago
Correct. The minimum of the LHS is at least the maximum of the RHS. This is more than you need.
667.
by Smaug123 4y ago
What's not true? The longest inequality on that page is true for all a, b; the rest of the article is about finding specific a, b to extremise the RHS. (Of course, since a=0 b=0 is not a critical point of the RHS, the subsequent lines
668.
by Smaug123 4y ago
Hmm, yes, I think you're right. There's the more prosaic "… above and all around", which gets at something slightly different from "heaven and earth". Douglas Hofstadter was right all along about how hard trans
669.
by Smaug123 4y ago
There's a surprising amount of flexibility here for new translations. For example, I prefer "Autochthon" as a translation for "God", rather than "ancient archangels" (although "Almighty" is the p
670.
by Smaug123 4y ago
What did they move on to?
671.
by Smaug123 4y ago
Not true if you're in a position to work on the project. In that case, it matters how confident you are in their claims: if you believe them entirely then you might want to help, while if you disbelieve them then you won't bother.
672.
by Smaug123 4y ago
Mathematica is a decent general-purpose language (though closed-source) and its "map the factorial function over the list" is exactly the same length as the quoted J code: #!&/@l It has the same "everything
673.
by Smaug123 4y ago
Got a source for your "typical British pronunciation" of "pasta" being non-Italian? I read your comment as asserting that typical Brits pronounce it as "par-sta" with a non-rhotic 'r', but I don'
674.
by Smaug123 4y ago
I recommend scrolling down to the discussion of stratification and New Foundations, which over the years has felt more and more like the correct resolution to me. ZFC uses a mighty cop-out: "welp, guess there's no set of all sets&
675.
by Smaug123 4y ago
Extremely strictly. They're fond of saying that most programs from v1 will Just Work in version 13. See https://reference.wolfram.com/language/tutorial/Incompatible... for a list of breaking changes. They e
676.
by Smaug123 4y ago
Exactly - the language isn't memory-safe. Instead it's effectively (implicitly!) relying on the fact that it runs on an abstract machine that has certain memory-safety properties. By contrast, a memory-safe language like C# is
677.
by Smaug123 4y ago
"int* can point to the null address, but this is generally not a memory safety problem because the null address is protected by the operating system. Any attempt to dereference it would crash the program before any memory corruption ca
678.
by Smaug123 4y ago
Fine, to be extremely pedantic I'm replying to the assertion "Losing weight doesn't help you stop being unhealthy" which I invented; what they really said was "Losing weight isn't causal to being healthy".
679.
by Smaug123 4y ago
The purpose of this random Internet trial is to verify or disprove the assertion that this diet is easy to stick to for most people , which would be absolutely massive if true because no weight-loss diet ever has had this property. And it
680.
by Smaug123 4y ago
There is at least one case where your argument is clearly false: sleep apnea is often directly mechanically caused by bodyweight, causes health problems when untreated, and is strongly associated with being fat and/or muscular.
681.
by Smaug123 4y ago
Good for you! Keto doesn't work like that for me. We need many different diets that work for some people, because no diet works for everyone.
682.
by Smaug123 4y ago
That calculation works if it doesn't also cost you any time - which by all accounts it does, e.g. in review.
683.
by Smaug123 4y ago
All very well, but my (moderate) acne was caused by… carbs. I would much rather have both acne and carbs, than neither. Accutane, of course, nuked it and it never came back.
684.
by Smaug123 4y ago
The scenario I'm imagining here is precisely the parent's example of Python; isn't it one of the absolutely standard mistakes that everyone makes?
685.
by Smaug123 4y ago
Really? Iterating over a string should give you some kind of {char, code point, grapheme cluster} or whatever; iterating over a list of strings should give you a string. Those are not the same type, and any nominative type system should sur
686.
by Smaug123 4y ago
I certainly have seen with my own eyes a train door "ruthlessly separate a child from his parent". I don't think I've ever seen an adult so distraught. I have also seen with my own eyes a lift door close on the head of
687.
by Smaug123 4y ago
This is a rather sloppy way of saying "this process may fail to terminate, though the set of nonterminating outcomes has probability 0". No real number is infinitely small but nonzero.
688.
by Smaug123 4y ago
Oh, you're quite right. Cemented it in law, even.
689.
by Smaug123 4y ago
I'd say this particular loophole has effectively been patched now, given the Supreme Court ruling that declared this incident unlawful. ( https://en.wikipedia.org/wiki/2019_British_prorogation_contr... is a much mo
690.
by Smaug123 4y ago
I think there's a strong selection bias here on the arguments you're reading. It's pretty uncontroversial that vaccines and mosquito nets are generally good; although one could argue about exactly how good they are, there&#

More ›