throwawaymaths

201 ms·

3121.
by throwawaymaths 5y ago
These are not two different types of burnout... They are one and the same. Pressure and overwork do not per se cause burnout... What causes burnout is if the effort-reward cycle misses (either repeatedly for small efforts, or if you put in
3122.
by throwawaymaths 5y ago
No but in many cases you could rewrite it as "why does Canada let rich people live long, drawn out, painful deaths of suffering?" Given that everyone is going to die, defaulting to euthanasia in the majority of cases is probably b
3123.
by throwawaymaths 5y ago
For some definition of "valid". Nobody is stopping you from trusting a different "parallel universe" branch of the Blockchain, you just don't do it because most likely no one else will trust your work and it will b
3124.
by throwawaymaths 5y ago
> Having such evidence probably helped get the theory accepted faster I mean the original context is societal contribution, so getting something import understood faster I think counts, no?
3125.
by throwawaymaths 5y ago
Nope. One is the multiplicative identity and zero is the additive identity. There's no a priori reason why the same number can't be both.
3126.
by throwawaymaths 5y ago
No but also key to the definition of the actor system is that those are the only things they are allowed to do. Also, there's strange stuff like naming processes for service discovery, and iirc something is wrong with the way that E
3127.
by throwawaymaths 5y ago
Just to be a bit pedantic (but important), Erlang is not an actor system. It's a system designed for fault tolerance and definable failure domains. Concurrency fell out of those requirements and it just happens to vaguely look like
3128.
by throwawaymaths 5y ago
This is wholly unimaginative, there is a wide window of usage patterns that are not "unused or misused", for example, on by default but off with a project flag, or off when building a dev release but on when building a prod releas
3129.
by throwawaymaths 5y ago
> Formal verification simply doesn’t scale to global properties This is an assertion you are making with absolutely no evidence, and also totally self-contradictory with your statement "Rust’s borrow checker is nothing else but an i
3130.
by throwawaymaths 5y ago
Maybe be less zealous and aware of your assumptions? Your assumption is that memory safety has to be baked in the language. It could be baked into proof assistants that are part of (optional or add-on) tooling, like what sel4 does. A simp
3131.
by throwawaymaths 5y ago
That's not really true, there is a mathematical system where 0=1. It's just... Not very interesting, aside from it's existence.