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.
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.
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.
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.
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.