consilient

10 ms·

61.
by consilient 3y ago
That's not what efficiency means in this context. People who say the market is efficient mean one of: - You can't beat the market - You can't beat the market without insider information - You can't beat the market using
62.
by consilient 3y ago
> On the other hand, due to advancements in trading tech, I've seen commissions drop to zero. I've see better price discovery available to professional and retail traders and there has been a lot of people introduced to stock m
63.
by consilient 3y ago
> Strictly no side effects* to help you write functional code > *With the exception of IO That's one hell of a footnote.
64.
by consilient 3y ago
> We are solving the halting problem. We are solving ZFC. That's the entire point of mathematics. We are not. We're determining whether particular classes of turing machines halt, and we're determining whether particula
65.
by consilient 3y ago
Of course it's a coping mechanism, but coping mechanisms that get in the way of protecting yourself are bad for you! Being completely fucked if your job gets automated away in a month doesn't have to mean being completely fucked
66.
by consilient 3y ago
Humans can't solve the halting problem or violate the incompleteness theorems either.
67.
by consilient 3y ago
> I'm not sure this follows. It doesn't halt because the "program" reaches an end, it's halts because the hardware fails. Ok, but the intelligent entity in question isn't the program, it's the program-r
68.
by consilient 3y ago
Yes, and? There is no plausible near future where anyone else (except maybe his heirs) directs how that wealth is used. Better that it go towards socially useful investments than megayachts or land hoarding.
69.
by consilient 3y ago
> I think the JSON.parse() issue is fundamental -- it's not clear what they could have done better, and static languages don't really do better. The best solution, IMO, is to give up on "no type-directed emit" (which
70.
by consilient 3y ago
> But code written from scratch doesn't have that issue. I'd be interested in a counterexample -- is there a code snippet that passes the strict mode of the compiler, and doesn't interoperate with untyped code, but produce
71.
by consilient 3y ago
> That's a little weird to me ... it seems to be confusing the metalanguage and the language being implemented. Well, that's sort of the point. It's perhaps a little less important if you're writing a compiler for a s
72.
by consilient 3y ago
> AFAIK TypeScript's type system can do everything in OCaml -- it's extremely expressive Extremely expressive and unsound . And not just in a trivial "escape hatches exist but you should never use them" way - until y
73.
by consilient 3y ago
> The community went back to Cabal? What did I miss? :) Cabal got better, stack stayed the same. It's more a cultural divide than anything at this point.
74.
by consilient 3y ago
> Is all this machinery really helping? Are you sure? Absolutely: ADTs and general-purpose crud stuff are a perfect fit. It's the delicate numeric stuff where typed functional languages are at their least helpful (though I think sti
75.
by consilient 3y ago
> it's destructive to the notion of "introduce a coordinate system" because now the phenomena you're describing messes with the coordinate system you picked to describe it! That's the whole point of GR - coordina
76.
by consilient 3y ago
The volume enclosed by the balloon's surface has a boundary, the surface itself does not.
77.
by consilient 3y ago
> As a kid, my notion was that spacetime was "infinite", that galaxies floated in spacetime, and were moving apart. Gradually I became (a bit) more comfortable with the notion that spacetime is somehow created by "stuff&qu
78.
by consilient 3y ago
Functional programming is not really a single paradigm. In particular lisps and ML style languages are very different and you should try both. Scala is still a C-style language at heart, it's just much further along the borrowing ML fe
79.
by consilient 3y ago
It requires changing the places where you instantiate your monad transformer stack, which you should have very few of.
80.
by consilient 3y ago
If you just want to add logging to existing operations, reinterpret them at the call site. Something like this newtype LoggedStateT s m a = LoggedStateT (WriterT s (StateT s m) a) instance (Monoid s, Monad m) => MonadState s
81.
by consilient 3y ago
> And it is not perfect. You will still occasionally have the original imperative problems. But you will have radically, radically fewer of them, so few that the cost/benefit analysis of using the super-strong stuff becomes very dif
82.
by consilient 3y ago
You should generally be writing code against typeclasses, not a particular monad transformer stack. For example: fibonacci :: MonadState (Int, Int, Int) m => m Int fibonacci = do (prev, prev2, n) <- get if n
83.
by consilient 3y ago
> Basically, the author's criticism is that the language is too powerful, too expressive, people try very abstract things I think this is a bit unfair. The author's criticism is that people try very abstract things and don&#x2
84.
by consilient 3y ago
The stress-energy (of which matter density is a component) of a region of spacetime determines its curvature. In empty space the metric, which tells us how to measure distances between events, is `ds^2 = dt^2 - (dx^2 + dy^2 + dz^2)`. Integr
85.
by consilient 3y ago
> This would mean the universe has positive curvature. There are several flat compact manifolds, they're just not simply connected.
86.
by consilient 3y ago
> today’s observable universe is roughly 13.8B years. By the time you travel to the edge of that universe, others stuff has travel from that edge to even further position at various speed including faster than you do. This is true but i
87.
by consilient 3y ago
> But it's undeniable that the discursive roots of modern psychology come from Freud in particular, and that when we analyze a phenomenon ("treatment" notwithstanding) we owe ourselves due diligence to understand it proper
88.
by consilient 3y ago
It's right there in the article. > The analysis done by Kong and his student relies on the key idea that a genetic sequence that occurs more frequently in participants than in nonparticipants will also occur more frequently in the g
89.
by consilient 3y ago
Kotor 2 was Obsidian, not BioWare.
90.
by consilient 3y ago
> apostol's calculus is hard for a calculus book , i.e. is an introductory real analysis book. If you can master analysis at the level of baby Rudin without doing hundreds of problems, you're very talented. If you still don&#x

More ›