> to help retain the Dutch company's edge over emerging U.S. and Chinese rivals

Great news, but what a strange attempt to equate the U.S. and China in this and build a narrative. Cymer was founded in San Diego.

Too narrow. It secures an individual right, not a federal mobilization clause.

> Isn’t this the exact scenario those arguments were talking about? Have all the second amendment supporters been employed by ice/agree with what they're doing, or was it just empty talk?

Only if you think the second amendment is an on demand partisan defense force. It is not. It is a personal guarantee and a reserve of capacity, not a subscription service where “second amendment supporters” are obligated to show up on cue.

> It was never really a practical idea, more a sort of latent threat that has proven to be ineffective.

“Latent” is largely the point. Deterrence is not measured by constant use, and a right is not refuted by the fact that strangers do not take on extreme personal risk to prove it to you. The first line checks are still speech, courts, elections, oversight. This right exists for when those fail.

> Exactly what the constitution was written to prevent. I guess they did a bad job.

If power has drifted, enforce the constraints. It is the second amendment, placed immediately after speech and assembly, not the third or the tenth. Do not redefine the right into irrelevance and call that proof it failed.

EDIT: By unnatural I am referring to not knowing who you are talking to, not knowing the slightest thing about them, our brains don’t process this aspect for what it is, instead we fill in this identity with our imaginations. Perhaps there was a better word for this than unnatural, but to me its especially unnatural because it doesn’t really occur in nature(at least not easily), where as communication across long distances or time happens all the time in nature. TLDR: It’s unnatural that we no longer even know if a comment was written by a human.

EDIT2: I am not strongly in favor of removing anonymity from the internet. I don’t know what the answer is.

L. Ron Hubbard is fundamentally good!

I kid, but seriously, good how? Because it ensures cybersecurity engineers will always have a job?

seL4 is not the final answer, but something close to it absolutely will be. Capability-based security is an irreducible concept at a mathematical level, meaning you can’t do better than it, at best you can match it, and its certainly not matched by anything else we’ve discovered in this space.

Perhaps unintentionally, RISC-V provides more flexibility to kernel developers by also including a physical memory protection unit that can run underneath and simultaneously with the MMU. This can make it far cheaper to switch memory protection on and off for arbitrarily sized areas of physical memory since this capability is no longer needlessly coupled to expensive memory remapping operations. Kernels can move away from the typical “process is its own virtual computer” model, and towards things closer to single address space designs or some middle ground between the two.