saltlyfe

4 ms·

1. 1.▲
   by saltlyfe 2y ago

   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&#
2. 2.▲
   by saltlyfe 2y ago

   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
3. 3.▲
   by saltlyfe 2y ago

   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?
4. 4.▲
   by saltlyfe 2y ago

   This was flagged earlier but I'm not sure why.
5. 5.▲
   by saltlyfe 2y ago

   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
6. 6.▲
   by saltlyfe 2y ago

   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 does
7. 7.▲
   Discuss: US economy rigged for middle class(twitter.com)

   3 points by saltlyfe 2y ago|2 comments