Gxtaillon

That's exactly why I started scratching my head as to why the web entire security model assumes a trusted execution environment. That no longer makes sense in today's world.

Naively to me it looks like it's an artifact of 90s OS security model. The modern web, and the threats of the modern world require more stringent security facilities at the OS level to allow isolation of security context even to super users and specifically per program-origin, per identity, and per-process context isolation. Super users having the ability to read-write in any security context is no longer appropriate, at most super users should only be able to deny and delete, that's the only way to protect end-user privacy.

Is this the first published implementation of that Booleanifier technique?

Google/Bing/DuckDuckGo either return nothing or return nothing related for Booleanifier.

If the goal is to ensure money keeps flowing across every nook and corner of the economy, I don't see how this would work.

Have there been studies on a tax ruleset that looks like this:

Everyone taxed at 50% of yearly income, no special cases. Additionally every dollar which would put individual accumulated wealth greater than (yearly minimum salary in dollars * median life expectancy in years) taxed at 100%.

Looks like Reddit to me, except for the Haskell typeclasses.