aren't rockets like the starship almost the opposite of what you want in a space station? They want to minimize the integrity of the rocket as much as possible (without blowing up) to reduce the mass while for a station you want robustness (for pressure & impacts).
That is actually with the caviat that the internal pressure help structurally a bit. But that is still plenty for a gentle rotation in otbit and 1 bar of pressure.
And if the plan is to do this; you want to prepare the rocket for this purpose anyway so nothing stops you from making a thicker wall and sacrificing payload capacity since the hull is the payload.
If you can get any kind of spaceship up to speeds to reach other stars within reasonable time - you've got an amazing weapon. Just ram into something at full speed. Ok, if you have enough energy to correct course to aim, only.
garage devs have told me of 10PiB+ deployments in production, but I've never operated one at that scale so I can't share much insight into the experience. Probably best to ask on their matrix chat.
Slack claims to be data processor, not data controller [0]. The workspace admins are, ironically, considered by slack to be data controllers, so GDPR-related requests are supposed to be handled by them.
This is ironic though, as in the Pro plan they do not offer options to admins to download everything (eg DMs). So as an EU citizen I cannot request all my data, but technically it is the data controller who is responsible for it here (my workspace admin). Not sure how that would fly if somebody took the effort to seriously look into it though.
Also not sure how easy it is for an admin to download and provide me even my data from the public channels in the first place with the current tools. I am pretty sure there is no GDPR compliance overall, but it is probably not trivial to get slack actually accountable for it.
PS It seems the workspace owner has to contact slack about it, and this is for both free and pro plan where downloading direct messages/private channels is not an option by default. [1]
> In general, Customer is the controller of Customer Data. In general, Slack is the processor of Customer Data and the controller of Other Information.
It does to some extent, because companies have to respect gdpr for their own users as well: so individual employees/slack users have gdpr rights and they individually can get those enforced against the slack operators.
That's unfortunate, I really preferred Whisky to crossover purely for the UX, I would happily pay for a crossover license if i got to keep the whisky app itself, crossover's ui is archaic and ugly in comparison.
And yet probably everyone you know in EU has a cheaper Internet per GB that folks in the US. I have 2 SIM cards, one provider charges me $10/GB, while the other has a 2-GB packet for $6.
In Finland I pay 20€/mo for unlimited data (bandwidth capped at 200 Mbps). With some shopping around it can be cheaper/have more bandwidth. The pricing has been similar at least since 3g. And I recall having a similar deal in the UK five years ago.
There's also 28 GB EU roaming per month included, and 2.23€/GB after that.
Both of those prices are considerably more expensive than what I pay for service in the US. Even the cheaper one is more than 2x more expensive than what I pay per gig, including unlimited calls and texts + roaming to a lot of North America.
Mint. 15GB for $20/mo works out to $1.33/GB while your 2GB plan is $3/GB.
But there are other MVNOs out there like tello which also have a 2GB/$6 plan in the US, and other MVNOs which offer unlimited data for like $25-30/mo like visible and US Cellular.
Tello is actually what I use for my secondary data, Fi is my main (mostly because I travel somewhat and the data costs the same in all the destinations I care about without having to juggle SIM cards).
I'm not a good case study because I rarely use more than 2gb in a month, so Mint would come closer to $10 a gig... :)
This is very different to shadowing where there is a clear scope to the rebinding. In this case, I cannot employ equational reasoning within a scope but must instead trace back through every intervening statement in the scope to check whether the variable is rebound.
It's a straightforward syntactic transformation. The two are equivalent. The scope of the rebound variable begins at the rebinding and ends when the surrounding scope ends. Perfectly clear - the only difference is a "let" keyword.
counter = 0
...
counter = counter + 1
...
vs
let counter = 0 in
...
let counter = counter + 1 in
...
The ellipses in your straightforward transformation are doing some heavy lifting there. Typically the let…in construct has some way to indicate where the scope of the “in” part ends: indentation (Haskell), explicit “end” marker (SML) etc. Even with that, shadowing does make equational reasoning harder (you have to look at more surrounding context) and should generally be avoided.
Sure, scopes are not as easily syntactically visible, but each assignment is creating a new scope, that doesn't change anything for equational reasoning which has to account for captures / substitutions anyways.
No, it’s rebinding the variable within the same scope. Even if you view it as implicitly creating a new scope, the implicit part means it can happen on any line so you have to scan them all and mentally keep track of what changes where, (almost) exactly as you would for imperative code.
> * "As provable as Ada/SPARK": I'll let you read the design in [2] and decide for yourself. But Yao will also have contracts.
Without being too self-indulgent, I'm not sure there is that big of a gap between the two in provability, there are now a huge array of verifiers for Rust code which are being used to verify real code: SAT/SMT solvers, kernels, memory allocators etc...
Not really, conceptually it probably shares a lot of the same foundations that a useful simulator would have, but its important to keep in mind that they aren't actually simulators of cities in a realistic sense.
Games such as cities, inherently embed a view of how the "right" city would be organized, providing tools and incentives to nudge you in that direction. Consider how all social problems can be solved by simply plopping down the relevant class of building nearby. Or simply the absence of parking lots!
1. the article explains how many materials could potentially be sourced on the moon and provides potential magnet compositions to address that as well.
2. The moon weighs ~8.1 x 10^19 tons, if we use their iron based magnet design and ship everything from the earth (iron is present on the moon), it would require ~1 million tons aka 10^6 tons or approximately 0% of the weight of the moon.
3. See above.
