consilient

9 ms·

31.
by consilient 3y ago
> Tensor product V⊗V is space of all bilinear forms on V* This is only true for finite-dimensional V. In general bilinear forms on V* are linear maps `V*⊗V* -> F` (where F is the base field) which is isomorphic to `(V*⊗V*)*`. For infi
32.
by consilient 3y ago
> Tensor product is basically the mathematical way to express if condition. Not really, no. The way mathematicians actually express if conditions is with the word "if". The obvious pointlessly formal way to do it is with a pair
33.
by consilient 3y ago
> or seeking of risk Sure. I very much doubt anyone seeks risk because it's risk . They do it for the thrill, or for social reasons, or because calculating risk is hard, etc. > having any other computable utility function on any
34.
by consilient 3y ago
> You say “restricted” I say “better defined”. Sure, whatever - the point is that they're different objects, and results about one are not results about the other. > What do you mean by “restricted” when you are characterising a
35.
by consilient 3y ago
Scandinavian countries did not establish successful profitable colonies (except perhaps Iceland, if you want to count that). It's ambiguous enough whether the average Briton really benefited from their colonial adventures: the Scandi
36.
by consilient 3y ago
PhDs are apprentices doing skilled labor, not students in the usual sense. An unfunded PhD offer, even in the US, is a polite rejection.
37.
by consilient 3y ago
> You forgot the additional 13% in employers NI. Only the part of that that would actually be passed through to you as salary in the absence of the tax could reasonably be considered part of your tax burden. Hard to say how much that is
38.
by consilient 3y ago
Yes, but even homo Economicus isn't trying to maximize expected income, they're trying to maximize expected utility . Unless you're completely indifferent to risk, the sure thing is better.
39.
by consilient 3y ago
> despite implementing various welfare programs similar to Scandinavian ones. There are many countries with welfare regimes similar in size to those of Scandinavia. They are qualitatively quite different. A rough categorization: - Libe
40.
by consilient 3y ago
> How about other GPs? Depends on how good your insurance is. PPOs, sure - though most of the country does not have as many doctors per capita as SF. Typically an HMO will only let you have one primary care provider.
41.
by consilient 3y ago
It has nothing to do with Marxism, it's just hyped-up mutual insurance.
42.
by consilient 3y ago
> also I don't see it very similar to insurance, since insurance is withholding wealth in order to distribute it occasionally when needed because it's zero-sum. But if distributing it all the time everywhere is a net positive g
43.
by consilient 3y ago
> Just your luck. Under Univalence identity is equivalent to equivalence and it's computationally decidable. So you should be able to produce a decider which determines whether any alternative encoding/representation is equival
44.
by consilient 3y ago
> I am bothered by the fact that most mathematicians aren’t bothered by that! Am I missing something? Outside of logic and set theory, most mathematicians aren't really working in any particular foundation: they're working dire
45.
by consilient 3y ago
That's no longer the halting problem: formally, the input to a halting oracle is an index for some fixed choice of admissible numbering of the set of Turing machines, meaning one that can be computed from the standard numbering induc
46.
by consilient 3y ago
> then gatekeeping prevents the introduction of evolutionary bottlenecks, meaning the population stagnates in the absence of any external pressure to mutate. That's the point! The pressures of mass culture point ever TikTok-towards.
47.
by consilient 3y ago
> There are lots of more nuanced ways to technically tell the truth but still significantly warp the information to your benefit. I’m kind of surprised that China seems to be less savvy to this approach. That is the national government&#
48.
by consilient 3y ago
> Noah has become a political pundit who tends to straw man the opponents to his preferred political ideology of centrist us democrat ... But it’s important to keep in mind when reading articles like this where he’s hitting an extremely
49.
by consilient 3y ago
Why would they? All of the probability-theoretic structure comes from the fact that a measure is not just an arbitrary one-form, and has lots of extra properties. And then if you want to do probability over arbitrary manifolds, you need t
50.
by consilient 3y ago
Yes, high energy physics probably has the highest author counts of any field. Astro papers average ~5-10, iirc.
51.
by consilient 3y ago
> Avi Loeb, head of the astronomy department at Harvard. He stepped down as chair a few years ago.
52.
by consilient 3y ago
> What is Loeb's reputation among astrophysicists? Not an astrophysicist but several friends are. The consensus seems to be that he was a good scientist at one point but has turned into a sensationalist attention monger. > He&#x
53.
by consilient 3y ago
> I've never come across a name for this development style. Libraries designed like this are sometimes called "combinator libraries".
54.
by consilient 3y ago
You're looking at the chart for "ordinary" poverty, which they've pegged at $30 equivalent per day. Their threshold for extreme poverty is $2.15/day.
55.
by consilient 3y ago
The point of abstraction is to reduce the number of concepts in play. If you're still tracking which old concept is "really" being used every time, you haven't actually abstracted over anything, you're just naming t
56.
by consilient 3y ago
No. Most were in the $1-10 million net worth range before taking office. Former presidents, of course, can easily make tens of millions on book sales and speaking fees. But that's still small time compared to the owners of major firms.
57.
by consilient 3y ago
> In the Culture all real agency humanity has is lost to machines (Minds). Humans have about as much say in important matters in the Culture as dogs do in ours. The Culture is explicitly a direct democracy, it's just that the books
58.
by consilient 3y ago
> is everything just function application all the way down? No non-toy programming language is actually implemented this way, but you can do it if you really want: SK combinator calculus is an example.
59.
by consilient 3y ago
> HFT replaces massive floors of human traders doing basically the same job but at much lower cost. HFT is just one form of algorithmic trading, they're not the same thing.
60.
by consilient 3y ago
> Then we're doing the same thing, applying a minimum tick rate to trading, except to achieve this tick rate you have to spend X to get the technology. Not quite, because the next step is being physically closer to the exchange, and

More ›