Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Retra
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
68 ms
·
811.
▲
by
Retra
8y ago
(2) has never provided a convincing answer to any question, and there's no reason to believe it will here either.
812.
▲
by
Retra
8y ago
On the same page about what, exactly?
813.
▲
by
Retra
8y ago
Liquid water is certainly denser than air, and the fact that it vaporizes before rising up into the atmosphere is immaterial to the point that it ends up there anyway. The process (evaporation and subsequent fluid mixing) is not significant
814.
▲
by
Retra
8y ago
That is a very broad brush you're painting with.
815.
▲
by
Retra
8y ago
It's hypocritical that you don't just accept this as the way it is and move on.
816.
▲
by
Retra
8y ago
Remember this comment when you need serious surgery. Maybe you will come to understand how limited your understanding of pain is.
817.
▲
by
Retra
8y ago
Hah, I don't know if someone that senile could actually pass for 49. "Age is a choice!" like if he wanted to be born in 1230, we'd all just have to go along and agree that it is true and makes sense with our concept of t
818.
▲
by
Retra
8y ago
Even then, much of his argument is that there must be something "quantum" happening in the human brain, but he apparently fails to notice that a transistor is a quantum device or otherwise articulate why a mechanical object cannot
819.
▲
by
Retra
8y ago
It's hard to teach history if you're going to test people on it. There's too much history for anyone to really know even a tiny bit of it, so it's probably better to teach it through literature.
820.
▲
by
Retra
8y ago
I don't know what you're trying to say. The point I am trying to refute is "the whole type-level and value-level is a false dichotomy", and the existence of dependent types do not support that claim, they only provide
821.
▲
by
Retra
8y ago
Meaning doesn't 'require' strong AI -- the kind of meaning that strong AIs like us prefer to interact with does. There's plenty of simple meaning in simple systems, and they are quite useful to us that way. They just don
822.
▲
by
Retra
8y ago
Water is heavier than air, but that doesn't stop the rain, does it?
823.
▲
by
Retra
8y ago
If types and values were identical, there would be no need for a runtime in any program, and that is simply not possible. There are many things which can only be modeled as values and not as types. (Randomness, for instance.) Dependently
824.
▲
by
Retra
8y ago
Perhaps you should instead produce a counter-example, because as far as I can tell nothing you've said is actually true.
825.
▲
by
Retra
8y ago
They fact that they can be conflated doesn't mean that they should.
826.
▲
by
Retra
8y ago
If perfection is not a goal, how is it useful? And why call it perfection? I'd argue that you can have models without making them goals, but a model is not perfection unless it is also your primary goal. Perfection implies an optimal
827.
▲
by
Retra
8y ago
That makes a lot of assumptions about what is reasonable or not.
828.
▲
by
Retra
8y ago
So there isn't going to be any noise or interference in this electric field?
829.
▲
by
Retra
8y ago
That doesn't seem relevant -- Rust works on and supports multiple architectures. And there's plenty of UB in unsafe code.
830.
▲
by
Retra
8y ago
That's the shape of a light beam , which can be arranged anyway you like.
831.
▲
by
Retra
8y ago
Pretty much anything in thermodynamics. Phase changes, energy, entropy, symmetry, action principles, degrees of freedom, fluctuation-dissipation theorem, equipartition theorem, etc..
832.
▲
by
Retra
8y ago
The standard of "something to show for it" is reproduction, not personal experiences. Society simply doesn't give a shit about anyone's personal experiences unless they can be reproduced and shared. Otherwise, you may as
833.
▲
by
Retra
8y ago
Light doesn't have a helical shape, it's just diagrammatically drawn that way to illustrate the orthogonality of fields.
834.
▲
by
Retra
8y ago
What are they going to learn that they wouldn't learn from our literature?
835.
▲
by
Retra
8y ago
It's as much about funding as it is about attention, printing, teaching, status, and trust. It turns out that the world is a complicated place.
836.
▲
by
Retra
8y ago
Why would one expect ball lightning to look the same each time? I shouldn't be asking these questions, you should be. But you'd rather say "oh, we all know these things about fundamental physics because they are necessary to
837.
▲
by
Retra
8y ago
Are you trying to argue that the Supreme court is just an irrelevant fluff job? Probably also the same argument could be made for general officers and diplomats?
838.
▲
by
Retra
8y ago
> very clearly mechanical in nature. What does this mean? Did it have metal plates and gears on it? Ailerons, flaps, and windows? You cannot identify something as mechanical on the basis of its motion. >It did a figure 8 in the sky, s
839.
▲
by
Retra
8y ago
What people trust in or defend wrt/ physics theories isn't really relevant to the science, all it does is setup some social direction -- Which one needs regardless of whether they have a correct theory or not. You've got to f
840.
▲
by
Retra
8y ago
You're not thinking like a poor person, you're thinking like a comfortably wealthy person. Poor people often don't have the time, energy, or mental well being to run organizations or take on another line of work. Money is a
More ›