Recent submissions

Comment · 8 months ago
DNS-based blocking is the way (possibly via conditional VPN if you can tolerate the minimal latency bump).
Comment · 8 months ago
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.
Comment · 1 year ago
OpenWakeWord has worked well for me especially using well-trained models like “Hey, Mycroft”.
Comment · 4 years ago
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.
Comment · 4 years ago
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!
Comment · 4 years ago
Seems like a waste of scarce He.
Comment · 4 years ago
Seems like a waste of scarce He.
Comment · 4 years ago
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.
Comment · 4 years ago
You mean Henrietta
Comment · 6 years ago
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.
Comment · 6 years ago
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.
Comment · 6 years ago
Sorry about that. You’re right; I should have been more careful with my news consumption and commenting. Thanks!
Comment · 6 years ago
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.
Comment · 6 years ago
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.

Comment · 7 years ago
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).

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton