wyago

Public housing construction typically has to follow the law as well, so how does it help in cities where increasing housing units is heavily restricted, and outright banned in 90%+ of the city? YIMBY upzoning is strictly necessary no matter what funder you want for development.

This feels analogous to saying that static memory management might be superior, because if dynamic memory is available developers can trivially produce an OOM.

It's possible we'll start borrowing more patterns from Erlang/OTP since it's been living in a post-greenthreads world for as long as many languages have existed, and has developed patterns around it.

Effect typing can achieve capability security statically, but I've also frequently seen capabilities used to describe dynamic capability systems via various methods involving passing capabilities down as reified objects of some sort.

This of course also depends on some related static guarantees that a function can't access ambient capabilities not passed directly in their arguments, but this is a much simpler static guarantee than effect typing and doesn't require specific analysis over normal parameter types.

The main appeal of FTL is I think the ability to return to where you came from. If 1000 years pass before your return, it would only be superficially the same place. That being said I would think that the defining feature of a warp drive would be that it uses warped spacetime for motion rather than propellant.

Well yeah, as I mentioned if it were convenient to use solar for engines people would have done so. My whole point is that we had the technology and didn't do it because it's fundamentally not viable, not because of semiconductor technology.

Edit: oh, it looks like your radically edited both of your comments

Many engines, especially early on, can accept any external heat source as power. The most currently popular version of this is a Stirling engine, where you can find many toy engines of this type, like the wide bodies ones you can put on top of a hot drink.

Internal combustion was not actually popular for quite some time in early engines, I assume because it has more advanced requirements for fuel and ignition control, so if solar were a convenient enough power source it would have been used.

Funnily enough, "a sufficiently fast horse can fly" sounds sort of like a decent way to convey the idea of planes to a pre-car world.

The original comment calls the people fabricating data "rats" and "cheaters", I'm not sure how you would construe that to be excusing them. The comment is describing that if a system is made to be so difficult you have to cheat to get past it, only cheaters will get past it.

What makes you assume that urban infrastructure is net costlier per capita than suburban?

This is probably accurate for films and fabrics, but I wouldn't be surprised if thick solids would be at least as slow to rot as wood. I don't know what proportion of plastic mass is in each form though.

It takes 1 or 2 hours to make a decent pratt parser for even somewhat unusual syntax.

I've never heard someone in woodworking call finished wood "treated". That would be really odd, given that treated wood is a specific term of art.

Plainly oiled wood is pretty normal, and isn't going to do anything to protect against rot (because it doesn't need to indoors).

Treated wood isn't really used for indoor furniture. It's for wood that would be exposed to a lot of moisture, e.g. wooden decks.

In theory if you get just the right number of air exchangers such that the same amount of air moves through as it would with a 'loose' house, you get the same airflow with almost none of the convective heat loss/gain.

This is however, very much in theory, since as far as I can tell we're still in the early stages of figuring out how to do airtight houses well. My home was built in ~2006 and has an unhealthy CO2 build-up if I close the windows, since it has no active ventilation whatsoever.

It's a bit strange to give Japan's lower cars per capita as a rationale for this, when surely the reason there are fewer cars per capita is because people have access to their daily necessities without a car because of more permissive zoning.

Likewise, why would you suppose that market forces are running their course?

This perspective has always confused me. Would you say that structured programming was a garbage marketing term, since even though the programming language didn't have goto the compiled machine code has jumps and branches? I would hope not, because the point is that an interface is provided on top of the underlying structure so that you don't have to think about gotos outside of exceptional cases.

Not having to think about what servers in which datacenter are serving a request is pretty convenient. We can argue about whether the pricing for most serverless computing is bad, but as far as the term and the technology itself I don't see how this is different from any other abstraction.

Is there a more in depth description of the algorithm itself somewhere? I'm looking at the code, but it is sparsely commented with a lot of abbreviated variable names. Fascinating idea!

I think it's a fair analogy: most people don't have iPhones, but a huge portion of people have a smartphone. Tesla doesn't need to be the only source of electric cars, there are plenty more mainstream options.

Ah, yeah. I think that's actually where I saw it. Thanks.

I know you're probably not implying regression to the mean is causational, but that was my initial reading so I want to clarify for those who may not be familiar with the concept.

Regression to the mean is simply that any given datapoint is most likely to be the mean, or close to it. This means that any exceptional data point,up or down, can be expected to be followed up by the mean.

The example of this being misinterpreted that I am familiar with is that of a flight instructor's belief on training. When a pilot performed well, they wouldnt comment. If a pilot performed poorly, they would be punished. They believed this was better because when they praised a pilot, they would usually do worse the following run, and when they punish them they do better. This isn't technically wrong, they are just ascribing causation where there is none. I think I saw this example in Signal vs. Noise, but I'm not sure.

Basically, regression to the mean isn't a reason to pick someone who did poorly, it's a reason that that person will do no worse or better than they do normally.

Native language is an almost perfectly heritable trait, but that does not imply it is genetic.

(However, it is true that saying that genes contribute to intelligence isn't eugenics. Eugenics is a methodology where you attempt to selectively breed humankind by broader intent, rather than by emergent properties of human tendencies. A proposed trait to optimize is often intelligence, but similarly frequently it's attractiveness and things like that. Genetic influence on intelligence is simply a hypothesis whose testing would have consequences on the practice of eugenics.)

------- edit ------- I see your reply to the other comment. I think a quote from the article that makes your point far better is "[...] studies have consistently shown that genetic influence on individual differences in intelligence is substantial." I negligently assumed you were specifically talking about heritability.

You must have an excellent alternative to this if it's cheaper than 7.5%. I'm curious, what is it?

I'm not totally familiar with this diagram, but I think that by "Temperature Anomaly" they mean the difference between the temperature and what we expected the temperature to be (or something like that), not the absolute temperature.

Given that the suit was about wage collusion, not about suppressing raises, calculating based on raises seems like an incorrect method. The reason prices were lower was not due to a lack of raises, but rather because those companies were artificially suppressing the demand for software engineers by agreeing not to poach, which makes calculating exact losses extremely difficult (unless we can precisely quantify the loss in demand).

That's not really relevant to joeyspn's statement at all. He's not talking about an economic system, he's talking about a political system. While political systems influence economic systems, they don't have a one to one relationship. In the case of the US, we have a corporatocracy which maintains the current mixed economy.

This actually doesn't have to do with that. They "propose a redesign of ML in which modules are truly first-class values, and core and module layer are unified into one language."

They're not trying to, say, unify SML and OCaml, they're trying to solve a problem inherent to ML itself.