Hacker News: saltlyfe

New comment by saltlyfe in "Five Kinds of Nondeterminism"

saltlyfe — Sat, 22 Feb 2025 04:35:04 +0000

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

New comment by saltlyfe in "Five Kinds of Nondeterminism"

saltlyfe — Fri, 21 Feb 2025 12:00:28 +0000

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.

New comment by saltlyfe in "Obscura VPN – Privacy that's more than a promise"

saltlyfe — Thu, 20 Feb 2025 04:53:16 +0000

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?

New comment by saltlyfe in "[dead]"

saltlyfe — Tue, 18 Feb 2025 23:50:26 +0000

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

New comment by saltlyfe in "Insurance companies aren't the main villain of the U.S. health system"

saltlyfe — Mon, 16 Dec 2024 22:16:22 +0000

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.

New comment by saltlyfe in "Discuss: US economy rigged for middle class"

saltlyfe — Sun, 08 Dec 2024 04:44:30 +0000

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?

Discuss: US economy rigged for middle class

saltlyfe — Sun, 08 Dec 2024 04:29:15 +0000

Article URL: https://twitter.com/tqbf/status/1865213091555758319

Comments URL: https://news.ycombinator.com/item?id=42355012

Points: 3

# Comments: 2