As a very simple example, airdrop to macOS with multiple logged in users will frequently pop up the confirmation notification in the user account that is not active.
In Euclidea, you don’t manipulate the proofs but unless you’re just brute-forcing the levels you have constructed a proof mentally. Similarly, if Euclidea is implemented correctly, it generates the proof internally and checks it (even if these stages are fused). I wouldn’t rely on a game for building large developments and indeed Euclidea lacks abstraction and modularity as far as I can tell but the same developer may have a freeform environment with these features. Euclidea is an activity that mentally scratches the same itch as proving and in the same or very similar theory to TFA.
This seems a lot like the great game Euclidea https://www.euclidea.xyz/ where you have to build target constructions in minimal steps. I highly recommend it for getting your proof fix on-the-go in your pocket when you may not have your favorite proof environment to hand. Happy proving!
OCaml exception constructors are just term constructors in the open sum type `exn`. In OCaml, to distinguish constructors from bound variables, constructors must begin with a capital letter. Thus `let Foo = 4;;` is an error.
And almost all of those, except maybe the router and phones if the users are technically sophisticated enough, will be locked down and refuse to obey the user. When Linux gets Tivoized, well-meaning devs have helped corporations abuse their users and customers.
It depends on the host firewall... many quality operating systems allow host firewalls to apply process-based policy which your upstream certainly can’t achieve.
I believe Germany reports deaths differently. Last I heard, they are not reporting covid deaths where the person had some underlying health condition and are instead only reporting those deaths where the cause was covid and only covid. I’m sorry I don’t have a link and don’t have the time to dig it up — check BBC or Guardian coverage of the European epidemic.
Federal law does not a priori supersede state law. The Tenth Amendment to the US Constitution reserves _all_ rights not explicitly granted to the federal government to the states and the people. The Civil War was fought, in part, over this contention between the power of the federal government to emancipate slaves and the power of the slaveholding states to continue to allow the practice of slavery. In more modern times, certain aspects of the constitution have been interpreted more and more broadly to allow e.g. the regulation of medical products under the auspices of regulating “interstate commerce” (even if said products are only ever sold in a single state — they can be transported across state lines).
From this system design, you can deduce that there _does_ exist a hierarchy in the theory of US government — the Constitution is the law of the land and all other actors and subsystems are subordinate to it. Modifying the Constitution requires significant effort at multiple levels of government usually including (by state law) extensive popular support and supermajorities of representatives.
They explicitly mention that the effect seems unrelated to wavelength of incident light — would love to see a test with a UV or IR laser source to demonstrate that the primary downside of the attack is mitigatable (of course with additional expense and increased safety risk).
Improbable doesn’t have planet scale solutions. Their most touted title, Worlds Adrift, is explicitly discretized into regions. They use ‘creative’ solutions like ‘impassable storms’ to prevent crowding.
Children would be lazily loaded and would not appear in directory listing of the parent directory. `find` would search your existing local checkouts only and the file system would still be POSIX.
To the author: the double quote characters in your phishing dialog are straight ASCII " but the quotes in the official dialog are Unicode open/close double quote characters.