nyssos

9 ms·

61.
by nyssos 2y ago
The problem is that you're forced to have four possible states 1. err != nil, nondefault return value 2. err != nil, default return value 3. err == nil, nondefault return value 4. err == nil, default return value when often what you wa
62.
by nyssos 2y ago
Enums are exactly sums of unit types (types with only one value).
63.
by nyssos 2y ago
You don't need to bind everything. The corresponding Haskell code is manager <- fetch_manager =<< fetch_user
64.
by nyssos 2y ago
The Haskell equivalent `c <$> b <$> a` is roughly as concise.
65.
by nyssos 2y ago
> How does reduced liquidity equal lower share value? 1: Lower liquidity usually goes hand in hand with higher transaction costs, which means a bigger gap between how much the buyer pays and how much the seller walks away with. 2: Time v
66.
by nyssos 2y ago
Not exactly. Galois employees are beneficiaries of the ESOP trust that owns the shares, rather than direct owners as in a prototypical cooperative.
67.
by nyssos 3y ago
Action-angle coordinates are a good example.
68.
by nyssos 3y ago
> Could you please briefly explain the indispensibility argument? An extremely rough caricature: - Scientific realists claim that we should believe the entities that are indispensable to our best scientific theories (electrons, for insta
69.
by nyssos 3y ago
> (Of course, absent some good reason, one wouldn't expect the two screenings to exactly balance...) Charge conservation still applies: vacuum polarization can only modify the apparent charge distribution, not the net value.
70.
by nyssos 3y ago
Yes, individual dimensioned quantities are arbitrary: only the relationships between them have physical meaning.
71.
by nyssos 3y ago
> Does that mean that the positron is somehow "part" of the proton? No, and the standard intuition that there are discrete things made out of smaller parts breaks down when you look closely enough. The proton is a bound state o
72.
by nyssos 3y ago
> If everything is moving away from each other, things must have a center some where This is not correct: every object is getting further from every other object it's not gravitationally bound to, at a rate approximately proportiona
73.
by nyssos 3y ago
You're just describing normal techno-optimism. E/acc, as in the Beff Jezos shitposting, is openly and intensely anti-human. From the man himself: > Effective accelerationism (e/acc) in a nutshell: > Stop fighting the th
74.
by nyssos 3y ago
Yes and no: e/acc twitter is fundamentally unserious and so has no problem simultaneously endorsing both full-blown "capital is an awakening alien god that will kill us all (and that's a good thing)" Landianism and conve
75.
by nyssos 3y ago
> Something like 95% of all the stars that will ever be formed have already been formed. Sure, but clearly civilizations don't exclusively develop around newly formed stars: we didn't. Most stars are red dwarves and will conti
76.
by nyssos 3y ago
> where humanity is but a faint memory called „dream apes“ as living fossils in this story. Dream apes are the descendants of an extreme primitivist subculture, the "statics" the protagonists visit at the beginning are baseline
77.
by nyssos 3y ago
That would be odd, given that it was developed in France.
78.
by nyssos 3y ago
> Nondeterministic Finite Automata. The "Nondeterministic" in NFA means its transition function goes from states to sets of states, instead of from states to states. Informally, it can explore multiple paths in parallel for the
79.
by nyssos 3y ago
> The ideal theory ought not generalise to un-physical models. Sure - but a theory that fails to generalize to physical models is a bad one. A good classical theory should be a straightforward deformation of the corresponding quantum a
80.
by nyssos 3y ago
Sure, I should have been clearer: a rigged Hilbert space is the right setting for bras and kets. You can also get rid of them entirely. In my experience QM classes unfortunately tend to split the difference by slinging around suggestive non
81.
by nyssos 3y ago
> By this, do you mean the typical EM formulation of Maxwell's laws produces Gauss's law and Faraday's law (which are instructive) where as the Geometric Algebra formula produces ∇F = J (less instructive?). > Can you ex
82.
by nyssos 3y ago
> maths degree Then you want differential forms for EM, differential geometry more broadly for GR, and a bit of functional analysis for QM. The hype around geometric algebras (Clifford algebras over R) just comes from the fact that it&#x
83.
by nyssos 3y ago
There are operators with continuous spectra. The previous commenter was accidentally half-right, in that the usual intro QM picture where everything lives in L2 really isn't fully rigorous, but this is fairly easy to resolve. The corre
84.
by nyssos 3y ago
> quantum mechanics, including qed, falls squarely within the paradigm maxwell pioneered Does it, though? Sure, QED is a field theory, but it's perturbative where classical EM is exact, its fields are operator-valued distributions w
85.
by nyssos 3y ago
> you can get the best features of Haskell in Python Haskell's best features relative to more mainstream languages are HM-style type inference, higher-kinded types, and typeclasses - none of which are possible in a language without
86.
by nyssos 3y ago
> matter can be viewed as 'captured' energy, or energy at rest? No, matter isn't 'captured' energy any more than it's 'captured' mass or momentum. Energy is a quantity, not a substance.
87.
by nyssos 3y ago
> I think if this were really how a substantial part of shareholders thought It is a substantial part of how shareholders think, as individuals: the problem is that there aren't good channels for sending that message. Shareholder me
88.
by nyssos 3y ago
> (and there may be one other requirement that I've forgotten) `map: forall a b . (a -> b) => (m a -> m b)` and `pure: forall a . a -> m a`, plus some (mostly very natural) compatibility conditions between the three: `fl
89.
by nyssos 3y ago
> OCaml's verbose and underpowered first class module system It's definitely verbose, but underpowered? Modules are just as powerful as Haskell's typeclasses (and therefore more powerful than Rust's).
90.
by nyssos 3y ago
Skimming through Zorich, it looks like it's roughly at the level of an American honors freshman calculus class, i.e. one aimed at math and physics majors. Engineers are unlikely to see any rigorous analysis in undergrad unless they&#x2

More ›