DreadY2K
Joined 6 years ago
Joined 6 years ago
I expect the answer is spin gravity. Have a long cable with a counterweight on the other end, spin it at some rate. We would need some studying about the exact impacts (how hard is it to learn to start/stop compensating for Coriolis forces?), but it'd be much easier than full weightlessness.
Where i live, you can show up in-person on election day to override a mailed ballot, if you're in a situation like that.
Do you have your definition of memory safety anywhere? Specifically one that's precise enough that if I observe a bug in a C program compiled via Fil-C, I can tell whether this is a Fil-C bug allowing (in your definition) memory unsafety (e.g. I'm pretty sure an out-of-bounds read would be memory unsafety), or if it's considered a non-memory-safety bug that Fil-C isn't trying to prevent (e.g. I'm pretty sure a program that doesn't check for symlinks before overwriting a path is something you're not trying to protect against). I tried skimming your website for such a definition and couldn't find this definition, sorry if I missed it.
I typically see memory safety discussed in the context of Rust, which considers any torn read to be memory-unsafe UB (even for types that don't involve pointers like `[u64; 2]`, such a data race is considered memory-unsafe UB!), but it sounds like you don't agree with that definition.
That's not gaming it, that's the tax working as intended. We need more housing, so if that gets people to build more of it, that's a win.