HN user

silentOpen

712 karma
Posts2
Comments351
View on HN

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.

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.

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).

Some more context: Andrew Anglin is the editor of The Daily Stormer neo-nazi web site.

I re-watched American History X last night and I greatly recommend it to anyone who wants a little (dramatic) insight into modern American white supremacy motivations. In particular, the main character, Derek, gives a speech to a group of skinheads which is disturbingly similar to some of Trump's campaign speeches (though more eloquent).

Many developer use cases do not demand heavy bind mount file access. For example, incremental builds of static languages typically work fine.

docker/for-mac#77 is related to "bind mount" performance but docker/for-mac#668 is virtual block device performance. Have you posted a reproduction workload that demonstrates the performance problems you are having?

Docker 17.04 includes a `cached` bind mount flag that relaxes consistency of the mount in exchange for significantly reducing guest-host roundtrips especially for inefficient workloads that repeatedly access the same files.

I ran across a couple of issues:

* highlight to copy is broken (I assume because the source is not first-class text and they manipulate the clipboard with JS)

* failing to close the last list item in a ul causes the preview window to stop updating and highlights the next line in the editor but doesn't provide any indication of what is wrong

This is definitely not going to be sufficient for professional programming or web development but it looks and performs far better than similar projects I've seen in the past.

This piece is a disturbing study of some of Assange's mental pathologies. As a sympathetic party and partially informed observer, I greatly enjoyed reading O'Hagan's writing about Assange's outlook and concerns. I laughed; I cringed; I would read it again.