saltlyfe

In formal methods, a subfield of computer science, we'd typically use the definition of non-determinism that is widely used within our own field. For example, see: https://cstheory.stackexchange.com/questions/632/what-is-the...

Your first example is not non-deterministic, it's probabilistic. Drawing a sample from a truly random distribution doesn't make the program non-deterministic.

Non-determinism comes from transitions which have no known distribution and might cause your program to take alternate execution paths without any predefined rule. That's clearly not true in your example.

Nice. I like the idea of splitting trust so that the clients IP + browsing data are not linked unless the two servers collude. This feels very similar in spirit to VPN cascading though?

This was flagged earlier but I'm not sure why.

I'll break this down simply:

- the Affordable Care Act subsidizes American health insurance with tax payer funds by covering much of the cost of insurance

- Health insurance companies are required by law to spend 85% of that revenue on healthcare

- Health insurance companies, logically, acquire providers. Thus, the 85% of their spending on healthcare is just funneled into the other companies that they own

The system is currently the worst of both worlds. We have tax payer funds going straight to for-profit entities which have become vertically integrated throughout every aspect of the American healthcare system.

I am all for eliminating mortgage interest rate deductions. It primarily benefits upper-middle class homeowners. They borrow money from a bank and somehow get a tax break for it? Yet, even a wealthy person that pays cash for their home doesn't enjoy that benefit?