Republican elected officials and members of the present admin, e.g. Tulsi Gabbard, were targeted by the program under Biden. So they had a personal grudge
You have it exactly backwards. Musk has been one of the major forces in the administration fighting to preserve and fix NASA. It’s his opponents within the Trump admin who want to cut it, and who convinced Trump to scuttle Isaacman’s nomination.
As the article said, nasa accounts for less than 7% of spacex revenue, additional nasa contracts is inconsequential to spacex which relies mostly on starlink for revenue
All russian strategic bombers are obsolete. However even old soviet bomber with old soviet missile can deliver 500kg of explosives far away targeting random civilian locations.
That was true before this memorandum, if I remember correctly and also at least if I'm reading the 2013 and 2022 memorandi correctly. The 12 month embargo was also scheduled to be eliminated at the end of this year, JB is just moving it up 6 months.
> In a lot of languages space optimizing Optional Types without using a reserved enum value or pointer tags would lead to memory model problems with atomically writing two values at once which might be more easily solved in a borrow semantics world.
Yes, Rust suppresses the niche optimization for values wrapped in an `UnsafeCell` (which is how you signal to the compiler that “atomically writing two values at once” might happen). https://github.com/rust-lang/rust/pull/68491