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

Popularizing IPFS and Tor to bigger user bases is likely the single best thing that brave does.

> even if the amount is worthless and the ads are random crypto shit.

Maybe you are not valuing your own resources enough. Ads draw time, concentration and other mental resources. So i can only believe that it will be a net-negative in the end. It can feel rewarding, but financially, the advertiser can't pay you enough.

Using this dark pattern is probably necessary, as it is the only robust way to protect them from being click-frauded. You can earn only small rewards by watching ads in a single browser, so there is a big incentive to run as many automated brave instances as possible. Then send it all to one wallet and cash out. But one would need to complete KYC for each instance. You can't move the tokens without it, so it can't be scaled up.

Yes. Many accepted evidence-based therapy systems (e.g. CBT, DBT) use similar exercises.

I second this. There are workbooks for Dialectical Behavior Therapy, which is a synthesis of CBT and Mindfulness. They emphasize the need to balance actual change with practicing acceptance of your situation. This approach should resonate well for technical/methodically minded people.

My situation improved once i stopped chasing insights, blogposts and "mind-hacks" about procrastination, and focus on real, daily change. Not only reading therapy workbooks, but actually completing the exercises in them.

Since the central emotion behind procrastination seems to be anxiety for most people, i recommend getting a book, (e.g. [0]), and work on it for ~30 minutes, each day. This alone can give a sense of accomplishment and progress, which importantly increases your Self-Efficacy.

[0] "The Dialectical Behavior Therapy Skills Workbook for Anxiety: Breaking Free from Worry, Panic, PTSD, and Other Anxiety Symptoms" (New Harbinger Publications)

I had this feeling you describe. It waned, as i got older and more worried about achieving anything at all in life. But the final push to change my attitude on this one came by reading a post on thelastpsychiatrist.com, with this great quote in it:

> But whatever happens, your future happiness is entirely related to your ability to impose your own limits on your freedom.

> The time has come to not be everything you want to be, but to be one thing you've wanted to be.