Viewing profile — 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…

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…

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 th…

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 compan…

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? Y…