qsort

33 ms·

571.
by qsort 3y ago
The level of addictiveness is definitely dependent on the individual though. I was born in the mid 90s and had one of these things growing up. I couldn't care less about it, I must have let the poor bird die a dozen times. On the other
572.
by qsort 3y ago
I'm fine with encouraging proper tests. On a base level, TDD encourages tests, so it's overall fine, at least in principle. My main gripe with it is the second-order concern that it encourages testing practices that are frankly no
573.
by qsort 3y ago
> For older societies, who even counted as persons? Even more importantly, who is writing. Julius Caesar defeating seven bajillion Gauls is not a figure that should be taken at face value if the source of that number is Julius Caesar.
574.
by qsort 3y ago
I don't disagree with most of your comment, it seems like a fair assessment, all in all. Where I fundamentally differ in my value judgement is this: > 80% right-first-time Even taking that number at face value, that is really bad. R
575.
by qsort 3y ago
I switched to Pycharm Professional a couple of years ago (VS Code before, vim before that) and I can echo this sentiment, it's very good and well worth my money. An unexpected, charm , if you will, was that it can also replace DBeaver
576.
by qsort 3y ago
You say your intent is to teach and to inform. I don't doubt that this is the case. The reason why I found your response triggering is that you did not come off, in this exchange, as genuinely having that intention, from the very begin
577.
by qsort 3y ago
A tree of derivations is a mathematical object that formally represents a proof, which is connected to the way programs are written in proof checkers via the Curry-Howard isomorphism. When we say "proof" in logic we mean that. In
578.
by qsort 3y ago
Program verification, while interesting in its own regard, has nothing to do with what we're talking about here. Proofs as studied by mathematical logic are mathematical objects, not something you "prove to someone", that&#x2
579.
by qsort 3y ago
> We are limited in what can do. It's not wrong that we are limited in what we can do, but we are limited in the same sense a Turing machine is limited by the halting problem. We are limited in a very specific and precise sense. &gt
580.
by qsort 3y ago
It depends on exactly what you mean with those terms. When you say "you can keep consistency or completeness but not both" you are essentially stating Godel's first. Morally speaking, Godel's first is "no system is
581.
by qsort 3y ago
Oh this is interesting, I didn't know about this historical detail. It makes sense, Godel's first could be mostly seen as a version of the halting problem, while the second is "game over" for a Hilbert-like foundation pr
582.
by qsort 3y ago
> But is this foolproof? Is a proof a proof just because Lean agrees it’s one? In some ways, it’s as good as the people who convert the proof into inputs for Lean. Having studied CS in school I'm sort of triggered by this. Might be
583.
by qsort 3y ago
This is probably the editorialization. He's alluding to the fact that unlike what one might naively intuit, it's impossible to formulate a set of axioms that can formally express all mathematics. Because of Godel's incomplete
584.
by qsort 3y ago
> $800 billion Even taking that figure completely at face value, that's... not a lot of money? Italy's GDP is 2.1T, if a Fukushima-like disaster happens once in 30 years (which it doesn't, but for the sake of argument let&
585.
by qsort 3y ago
I've been nerd sniped. What are the "rules" of these problems? Are you allowed to use calculators and programming? Or should the solutions be pencil and paper only Olympiad-style?
586.
by qsort 3y ago
I agree with you on all counts, it's especially sad that we're still basically bound to an irrational emotional response to Chernobyl. Just a bit of context for non-Italians: > It failed with 94% of No votes. Referendums in Ita
587.
by qsort 3y ago
Does Microsoft Middle Manager 2.0 stop working in the presence of traffic cones? More seriously, the distance between "sort of works" and "works" might not be infinite, but it most likely involves fundamentally unpredict
588.
by qsort 3y ago
Is there even any backend? Sounds like a collection of basic numeric algorithms, it should be possible to replicate almost all of them with little to no effort on either JS/WASM or Python/Pyodide.
589.
by qsort 3y ago
> I haven't seen anything an "A-type" data scientist needs in R/SAS/SPSS that was intrinsic to the language Not intrinsic to the language but in terms of the ecosystem, for a purely A-type data science workload R
590.
by qsort 3y ago
Numpy is certainly amazing, but there are tons of competitors in the data/scientific space, which pure "A-type" data scientists tend to prefer: R, SSPS, Matlab... The difference is that Python doesn't entirely suck as a
591.
by qsort 3y ago
> Right, so I guess in your eyes the only people who should be allowed to retire are the ones who can afford it? Yes, it's already like this under any system. In what other way can it possibly work? > I guess this is along the sa
592.
by qsort 3y ago
The root cause is that retirement is not something the government should be doing in the first place. It should be your individual responsibility to save, and your individual choice what to do with that money. There exist very safe financia
593.
by qsort 3y ago
> big iron imperative language offers over the dozens of other superficially similar choices Given the capabilities of modern machines and the fact that non-homogenous hardware (GPUs, different processors like in Apple Silicon) is back,
594.
Fortran(fortran-lang.org)
290 points by qsort 3y ago|223 comments
595.
by qsort 3y ago
https://peps.python.org/pep-0484/ > It should also be emphasized that Python will remain a dynamically typed language, and the authors have no desire to ever make type hints mandatory, even by convention .
596.
by qsort 3y ago
Ah, my bad. Still, that would only be useful in the case of a function that takes both *args and **kwargs, seems pretty limited as a use-case.
597.
by qsort 3y ago
Since you're asking, I did downvote this comment. My reasoning is that it is factually dubious and unrelated to the topic. The typing features are optional, so much so that CPython by default doesn't do anything with them. &
598.
by qsort 3y ago
Yeah, this is dumb as rocks. On top of what you said, Python already has a mechanism to do what the author is claiming! >>> def f(x, y, a, b): ... print(x, y, a, b) ... >>> args = {'x': 98, 'y
599.
by qsort 3y ago
I don't think we can get much useful signal out of these observations. By the same logic one could argue that AI is the quintessential recurring hype cycle that always turns out to be a nothing-burger. It's a particularly hard nut
600.
by qsort 3y ago
Disclaimer: I don't doubt that most ML folk are doing their job and are doing it well -- as a matter of fact, my company regularly does projects with our local university, so I know that, first hand . With that out of the way, I sai

More ›