wyago · HackerTrans

há 12 mesesdiscuss

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.

wyago

ano passadodiscuss

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.

wyago

ano passadodiscuss

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.

wyago

há 2 anosdiscuss

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.

wyago

há 2 anosdiscuss

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

wyago

há 2 anosdiscuss

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.

wyago

há 3 anosdiscuss

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.