civility

19 ms·

151.
by civility 8y ago
I'm not a type theory guy, but it seems like you could rank Rust's type system somewhere in the realm of ML, Ocaml, Haskell, COQ, Agda, ATS, or something else. If Rust uses more memory and computation than those, then it's r
152.
by civility 8y ago
Thank you too for the detailed and thoughtful reply!
153.
by civility 8y ago
Thank you for the thoughtful reply. You've added some things to my reading list. :-) Not to contradict anything you've said, but my original message above was in response to something very different than I think you're tal
154.
by civility 8y ago
I don't want to sound too snarky, but "moved on" sounds like we're talking about fashion... Has modus tollens moved on too? I haven't studied modern philosophy (or Popper), but if there is a concise explanation I&
155.
by civility 8y ago
Science doesn't prove things. It fails to prove they are false, and in doing so it leaves you with things that are reasonable to believe.
156.
by civility 8y ago
That is not the scientific method at all. The point of science is to make a plausible conjecture and try to prove it false. When you honestly can't falsify your conjecture, then you put some faith in it as a good explanation. This i
157.
by civility 8y ago
I think the implication is that once upon a time, Emacs had a comment/docstring which wasn't politically correct. Let the shunning or boycotting begin...
158.
by civility 8y ago
> The remarkable thing about quaternions is that you can describe rotation around any arbitrary axis! Try doing that with real rotation matrices and you will bump into a major problem https://en.wikipedia.org/wiki/Ro
159.
by civility 8y ago
There's probably some truth to this, but it doesn't take much imagination to imagine how the babies could be "seeded" after a C-section birth.
160.
by civility 8y ago
To each their own, but I think there is value in seeing them multiple ways. The rows can be looked at as a system of equations. The columns can be vectors to be combined. The matrix as a whole can represent the covariance of a Kalman fil
161.
by civility 8y ago
I've never worked for a "big" company, much less one of FAANG. Although, I knew a kid who went to Apple, and he did well. I also had a friend from Intel, and he did well too. My situation was much more than 4 years, but it
162.
by civility 8y ago
First startup, I traded nearly all of my salary over four years for stock options: $0 Second startup, I was told I'd get 5% of the company (no contract though). I quit after a year without pushing the topic: $0 Third job was not a s
163.
by civility 8y ago
Honestly, Hacker News as a community, and you as a moderator, don't deserve to have a permanent username for contributors. Changing usernames is really the only option for participating in the discussion when dealing with people who d
164.
by civility 8y ago
Efficiency in the market and development process drove client developers to be a dirt cheap bottomless resource. Before iPhone apps (and later Android), you could create a new application and sell it in a box for a good living. The only &
165.
by civility 8y ago
> Imagine a pile of ash (high entropy) assembling into a copy of Shakespeare (low entropy), compared with the reverse. Imagine the soil 50 years before Shakespeare forming the food he ate and the trees which became the paper he wrote on.
166.
by civility 8y ago
As more and more apps are web based, this seems like an antiquated notion. Consistency lost, and I doubt it's important any more. Why should "desktop apps" follow those rules at all? Even Apple and Microsoft violate their
167.
by civility 8y ago
Sorry, I should have compared C-major and C-minor keys. If I play a C-major scale, and then a C-minor scale, C-minor sounds sadder in comparison. But if I just play ascending thirds (R 3 2 4 3 5 4 6 5 7 6 R) in C-minor, it doesn't so
168.
by civility 8y ago
I have the same question about major and minor keys. It's pretty easy to play something somber in C-major, and something happy in A-minor... This is opposite to the conventional wisdom about keys, and I think it's a cultural thi
169.
by civility 8y ago
I think you're exactly right: People who live and breathe JSON and strings don't (and probably shouldn't) care about use cases where the choice between float or double matters... I also see this with graphics people who live
170.
by civility 8y ago
No, Go is not currently the right tool for me, but it's close, and it would be much closer with (usable) generics. What's "so sad" is you think this Reddit style "Don't use it" imperative is an acceptable
171.
by civility 8y ago
Yes, it works well enough in C++. It would be nice if another language, without C++'s other pitfalls, got some of this right. Btw, it's "ironic" that you think pointing at two broken implementations says anything about
172.
by civility 8y ago
Writing the exact same code for float and double (and possibly complex float and/or complex double) sucks. You've created some straw man about dopamine junky programmers because you don't need generics for whatever it is you
173.
by civility 8y ago
I'll (cautiously) take your word that this works transparently when I supply arrays as arguments to a library function. However, what does the library function return to me as arrays it allocates? What if I do an outer product of two
174.
by civility 8y ago
I do a lot of FFTs for a living - I really want my zeroth frequency in my zeroth bin. Negative indices (as done by Python and other places) are nice though. This points to another example where 0-based should be preferred. When doing modu
175.
by civility 8y ago
I understand the argument, but when the default disagrees with your override, there's almost always an impedance mismatch and some pain. It's like being left handed when 99% of the interfaces in the world assume you're right
176.
by civility 8y ago
Zero based arrays are frequently better in a numerical context. Many times when you’re using the index in the computation itself (FFTs for instance), zero based is what you want. For instance, the zeroth frequency (DC) is in the zeroth
177.
by civility 8y ago
She tried to save his life by removing the knife, then she went in to shock? Probably not the explanation you had in mind. This is not a good metaphor.
178.
by civility 8y ago
A lot of people go around predicting calamity... They’re usually wrong. Generally not liars, just evolved monkeys who are trying to avoid problems.
179.
by civility 8y ago
As a rule, Rust and Cargo developers aren't satisfied with something until it's difficult to explain and complicated to implement.
180.
by civility 8y ago
My guess is they're including requests for / A billion "hacks" per day seems a bit far fetched. At that point, it's either a visible act of war (if external to the US) or the FBI would be much more involved (if int

More ›