hither_shores

13 ms·

91.
by hither_shores 4y ago
Dark matter ratios are not free parameters, because galaxies did not form through independent processes. The evidence for a highly homogeneous early universe is overwhelming, and any dark matter candidate that required large-scale inhomogen
92.
by hither_shores 4y ago
I don't have access to the paper right now, but the abstract is off to a very bad start. > any curved Riemannian space must be a subspace of a larger flat host space This is not even wrong. Yes, you can always embed a Riemannian man
93.
by hither_shores 4y ago
> S, action, is the arc-length of a world-line. L = dS/dt. It is a natural law that systems move along "straight" world-lines, geodesics, in the absence of interactions. This is a roughly correct description of GR, where
94.
by hither_shores 4y ago
> every system minimizes the action Action is stationary , not necessarily minimal.
95.
by hither_shores 4y ago
Moby Dick is what it looks like: the whalers are whalers, the ship is a ship, the whale is a whale. "Deeper meanings" are not as characteristic of literary fiction as your high school English teacher might like you to believe. Bu
96.
by hither_shores 4y ago
The main issue is that LISP supports dynamic scoping, whereas lambdas act like lexically scoped functions.
97.
by hither_shores 4y ago
> there is nothing in the general monad interface that even allows you to go `m a -> a`, so something being a monad doesn't seem sufficient to be able to define that algebra. You've got the direction backwards: the point is
98.
by hither_shores 4y ago
> why not introduce you to other things Because that's not what I told it to do.
99.
by hither_shores 4y ago
No, the h here is a number, not an operator.
100.
by hither_shores 4y ago
There's been an NPOV warning on that page since 2011, and the content has remained substantially the same since 2010. So no, I don't think it is.
101.
by hither_shores 4y ago
Browse through https://en.wikipedia.org/wiki/Category:Wikipedia_neutral_poi... and you'll find plenty. For example: > Mohammed Zakir (also known as Meyra) was an Ethiopian Oromo nationalist. Regarded as "l
102.
by hither_shores 4y ago
Like other forms of subtyping, unions make type inference much harder - typically undecidable. This is, of course, incompatible with guaranteed termination.
103.
by hither_shores 4y ago
That particular bound wasn't. Others were. For example: Millikan's value for the electron charge was about .995 of the current best measurements. That was about a century ago. So either someone was wrong, the average rate of chang
104.
by hither_shores 4y ago
No, any possible variation in fundamental "constants" is going to be far slower. The fine-structure constant (which is generally what's actually being discussed when people talk about a variable speed of light), for instance,
105.
by hither_shores 4y ago
> From there, logic optimistically assumes a 'flawed' ontology. Logic doesn't assume any ontology. You're free to treat it as a purely formal string-manipulation game if you really want to. Approaching math or physi
106.
by hither_shores 4y ago
> Agreed - mathematics is predicated on the idea that there are individual things, but as we are learning, through things like quantum field theory, there are no individual things, hence, no individuated 'things' to count. Even
107.
by hither_shores 4y ago
If your code can run IO operations synchronously and branch on the result of previous operations, you've already got an IO monad. The point of being explicit about that is that it allows you to check that a given piece of code can&#x2
108.
by hither_shores 4y ago
> What does that sign ≍ mean? Normally, `f ≍ g` means `f \in \Theta(g)`. Here, the author is using it as an equals sign. I have no idea why.
109.
by hither_shores 4y ago
Arthurian literature is Celtic myth seen through the eyes of medieval Frenchmen: it's British, but not English.
110.
by hither_shores 4y ago
That's exactly what lenses do: let new_alice = set (address . city) "Los Angeles" $ over (cart . items) (+ 123) alice
111.
by hither_shores 4y ago
They're using "getters and setters" to refer to reading from and writing to fields, not `get => ... ; set => ...` style syntactic sugar.
112.
by hither_shores 4y ago
A "lens" that only provides a view of something is just a plain function. Prisms are first class constructors: a `Prism a b` can build a `b` from an `a`, or attempt to match on a `b` and `Maybe` get an `a` that could construct it.
113.
by hither_shores 4y ago
> I'd be interested to see a justification for that, given that the usual definition is essentially "A functor which preserves the internal hom functor". Applicatives are monoid objects for Day convolution of functors (in
114.
by hither_shores 4y ago
For general optics, yes. But lenses and to a lesser extent prisms still work ok in their naive getter/setter and constructor/pattern encodings.
115.
by hither_shores 4y ago
There are infinitely many, so all is out, but the standard ones are covered here: https://oleg.fi/gists/posts/2017-04-18-glassery.html Page 10 of this paper has a table with references to some more exotic optics
116.
by hither_shores 4y ago
> This is why you even have an "Applicative" class of functors for instance, they're the ones that work nicely with the closed monoidal category structure. Applicatives still make sense with only monoidal structure: they&#
117.
by hither_shores 4y ago
https://www.youtube.com/watch?v=k-QwBL9Dia0
118.
by hither_shores 4y ago
> I.e. they can filter among many fields to set, then modify multiple fields at once, and so on. These generalizations are usually referred to as "optics", with "lenses" reserved for the single-target case.
119.
by hither_shores 4y ago
Most languages with good support for functional programming have lenses, which generalize keypaths. Off the top of my head: Haskell, Purescript, TypeScript, Scala, OCaml, Racket, and Common Lisp all have lens libraries.
120.
by hither_shores 4y ago
> Saudi Arabia's GDP per capita is $20k. Saudi Arabia's nominal GDP per capita. Their GDP (PPP) per capita is more like $50k - comparable to the United Kingdom, which has significantly better living standards.

More ›