schelling42

Thank you very much for putting all the effort into this project. It is a great step towards more secure computing in general, and you earned respect for that.

>As the foundation for this new operating system, we chose seL4 as the microkernel because it puts security front and center; it is mathematically proven secure, with guaranteed confidentiality, integrity, and availability.

>KataOS provides a verifiably-secure platform that protects the user's privacy because it is logically impossible for applications to breach the kernel's hardware security protections and the system components are verifiably secure.

The wording seems quite confident, maybe it could use some additional "at least according to its specification". This approach doesn't protect against hardware bugs and side-channel attacks.

Especially when one thinks of unexpected attacks like Rowhammer, there is probably no way to include them in a formal systems model beforehand.

It is spelled Ethereum.

I expect them to hire an intermediary company for handling the litecoin wallets, and converting it instantly into USD on walmarts bank accounts.

The idea is to use some peoples receptivity to religion for shifting their awareness to the risks of traveling. It can also help to center thoughts, calm down, and increase mindfulness while steering the motorized vehicle, therefore decreasing traffic accidents. (I wonder whether there are studies on if this actually helps.)

Simple workaround so you don't need the bot to download videos from reddit:

F12 -> Network -> Sort by Size -> Top entry is the direct link to the video. (Usually named DASH_720 or similar.)

Like with many other sites, you can also go: right-click, Inspect element (Q), and then simply delete the whole <div> containing the prompt.

How do you know it hasn't been done already? (with a more silent payload than ransomware) /s

And this is a good thing. Stable friendships can balance out parental failure to some degree.

Abusive parents.

Kids are "defiant" or have "bad behavior"? Just abuse them more. Even better, just hand them to institutional abusers.

> Cynthia says they eventually settled with the programme for an undisclosed amount on the condition they could speak freely about the circumstances of their daughter's death. She learned Erica had been pushed to keep hiking as her condition worsened throughout the day. She later testified to Congress about how her daughter's distress had been mistaken for teenage belligerence by staff.

They are often easily circumvented, e.g. by using services like archive.vn, or visiting the site with a referrer coming from google search.

No. Not with profit margins that high compared to operational cost, it would not be an effective deterrent. They will just continue to hit as many targets as possible. You would end up punishing the victims. What if they target some really critical infrastructure, where it would be rational to just pay and then fix the holes? Seek exemptions from law for each?

But it would be very interesting to see if the ransomware gangs can devise a scheme that gives the payer plausible deniability.

Sound has the advantage of going around corners though...