nyssos

15 ms·

121.
by nyssos 3y ago
> If you look at the big new languages that came along in the last 10-15 years (Kotlin, Swift, Go, Rust, TypeScript) then they all have type systems of pretty similar levels of power, with the possible exception of the latter two which h
122.
by nyssos 3y ago
> it doesn't look like any side effects are possible there Putting side effects in an `ElementAt` implementation would be an extremely bad idea, but C# won't actually stop you.
123.
by nyssos 3y ago
> but a bitter lesson from the last decade for those who believed it was the major driver of disease is that the environment has a stronger effect. It doesn't make sense to talk about whether genes or environmental factors have stro
124.
by nyssos 3y ago
> All finite digit sequences can be constructed. You can construct the particular natural number that it is, obviously. Constructing BB(745) means providing that number and a proof that it's the right one.
125.
by nyssos 3y ago
It seems very unlikely: the full joint state space has n*m states, so you're throwing away almost everything for large n and m.
126.
by nyssos 3y ago
> There are infinite many such strings And they can be enumerated by a finite program. For example, in lazily evaluated pseudocode: bits = ["0", "1"] bitstrings = bits + [(bit + suffix for bit in bits) for s
127.
by nyssos 3y ago
> As long as you’re able to sell those shares immediately You can't. Trades in even the most liquid private companies can still take weeks to close, if not longer. Add on the transfer restrictions that Anthropic almost certainly has
128.
by nyssos 3y ago
Openly, and all at once? No chance whatsoever.
129.
by nyssos 3y ago
> the top researchers who drive the AI scenario all kind of know each other, and can self-organize in an international union, with pooled resources for strikes. This is skipping to the end in the same way that "governments should ju
130.
by nyssos 3y ago
The right data structure is the one that's produced and consumed in a way that matches the domain you're trying to model. That domain can be inputs to a particular algorithm, but it can also be things like "states of this sys
131.
by nyssos 3y ago
> Can someone explain the connection with Elon Musk and state sponsored distractions? I think you misread "stage-managed". They're saying that billionaires' public personas are often deliberately constructed by their
132.
by nyssos 3y ago
> Namely, the formula for the scalar product of 2 vectors is identical to the formula for the correlation between 2 series of data. There's no apparent connection between the "orthogonality" in one sense and "orthogon
133.
by nyssos 3y ago
> What is more interesting to me, is what do you think a student misses out on, from a capability point of view, with an applications focused learning as opposed to one focused on reading and writing proofs? The generalizable value is no
134.
by nyssos 3y ago
> Maths as written did seem pretty sloppy and not at all like a programming language whose expressions I could parse as I expected. Look at Lean's mathlib: that's what fully formal mathematics looks like. It's far too ve
135.
by nyssos 3y ago
Geometric algebras = Clifford algebras over R.
136.
by nyssos 3y ago
Spacetime algebra is just the Clifford algebra Cl_1_3(R), so all of the above applies. > They seem like they would provide a nice way of unifying spatial rotations and Lorentz boosts Yes and no: the right way to unify rotations and boost
137.
by nyssos 3y ago
These are not quite equivalent, since using the hodge dual explicitly incorporates the geometry of space in a way left implicit by your geometric algebra formulation. The appropriate exterior algebra analogue here is simply `F = dA`. F is t
138.
by nyssos 3y ago
Clifford (i.e. "geometric") algebras are of some mathematical interest, but for physics the only real value I've seen from them is in offering a fairly nice presentation of spin groups, which is ultimately where the Dirac mat
139.
by nyssos 3y ago
Not if they're sufficiently small. Completely excluding nanometer-scale particulates is effectively impossible.
140.
by nyssos 3y ago
> consider breaking off from the rest of the EA movement and recognizing that the brand now means something different. Yes, this seems fairly likely to happen. > the intentions of leadership really matter. And in any human organizatio
141.
by nyssos 3y ago
It's just entanglement.
142.
by nyssos 3y ago
> but you hear things about quantum fields Fields are not exotic objects at all: they're just assignments of some quantity (a number, a vector, a linear transformation, something more complicated) to each point in some space. Take t
143.
by nyssos 3y ago
> The more plausible explanation behind the delayed choice quantum eraser involves Heisenberg's Uncertainty Principle, which states that you cannot obtain position and momentum to a high degree of accuracy at the same time. This is
144.
by nyssos 3y ago
Depends on what you mean by "weirdness". Whether you see interference really does depend on which axis you choose to measure along, but it's not because you're sending signals backwards in time. The electron was in a sup
145.
by nyssos 3y ago
As someone in the "malaria nets wing", I think you're directionally correct, but overstating things. > it's quite obvious that the opinionated people who control the (huge!) purse-strings are gradually gaining organiz
146.
by nyssos 3y ago
> Remember, if you can sell it, then a debt collector can force you to sell it. This is not true at all. Debt collectors acting on their own can't take anything. A court can force you to sell certain things if you lose a lawsuit,
147.
by nyssos 3y ago
> Did evolution really keep two kidneys if you actually just need one? I doubt it. Aside from the nervous system, pairing is the default condition of all mammalian organs which develop from the mesoderm or ectoderm: they can then go on t
148.
by nyssos 3y ago
> It's not obvious to me that EA's approach to the constraints is more effective than the noble eightfold path or love your neighbor as yourself. Ok, but that's not the competing option here. However good being a bodhisatt
149.
by nyssos 3y ago
> Do they? Not really, but they're both descended (in part) from the same early 2000s Bay Area counterculture-technoutopian-libertarian milieu.
150.
by nyssos 3y ago
The main recipients of EA political funding (what little there is: the majority of money goes to global health and development, with AI safety as a distant second) are centrist Democrats. They're too right-wing for my taste too, but ca

More ›