Plutus, Haskell, Nix, Purescript, Swift/Kotlin. laser-focused on FP: formality, purity, and totality; repulsed by pragmatic, unsafe, “move fast and break things” approaches


AC24 1DE5 AE92 3B37 E584 02BA AAF9 795E 393B 4DA0

  • 0 Posts
  • 51 Comments
Joined 1 year ago
cake
Cake day: June 17th, 2023

help-circle


  • Any non-corrupt politician would be unstoppable if they honestly attempted to strive for at least a few of these:

    • election reform
    • single payer
    • abolish private medical insurance and fold those companies into a 100% taxpayer funded (Single Payer) national healthcare system much like they have in Canada and South Korea. (Anywhere else doesn’t have true Single Payer.)
    • repeal Citizens United
    • bring back Glass Steagall
    • anti-genocide/ cutting off the infinite money tap that the AIPAC/IDF command
    • prosecute Israel (and the politicians that enabled them in the US should also be tried in front of The Hague) for crimes against humanity
    • prosecute George W. Bush and company for the Iraq war. Imprison them for the rest of their lives.
    • publicly execute Jon Bolton in the most brutal way possible using weapons from arms manufacturers that he openly works for 😅
    • student loan reform (without bullshit means testing)
    • reparations
    • stop spying on US citizens and dissolve the CIA/NSA/FBI’s conflict of interest with ALL tech companies in the US. Facebook is a DIRECT feed to the NSA and law enforcement and that needs to stop not be ramped up under the guise of “protecting us from terrorism” like Kamala asserts and ends up being used solely to go after whistle blowers and protesters.
    • break up the conglomerate farms that our government actively encourages to put poison in our food that they then feed to only poor children in our schools while the rich kids get organic diets.
    • reform the FDA and USDA (compare the list of banned chemicals in the EU to here and tell me that someone isn’t greasing someone’s palms in exchange for POISONING us with roundup, etc)
    • police DEmilitarization
    • stop writing blank checks to the military industrial complex under the guise of “helping”, sending vast sums of money that would EASILY pay for Single Payer to be burned in futile proxy wars with Russia
    • force car companies to make self driving car technology open source and introduce rigorous standards and best practices for this software that is responsible for human lives
    • break up the airline industry
    • break up the banking industry
    • audit the Fed
    • disallow Black Rock and other conglomerates from owning homes
    • disallow real estate purchases from non US citizens
    • disallow real estate price fixing and penalize the companies that did it
    • make college free for EVERYONE and raise taxes on the rich to pay for it
    • force NVidia to open source CUDA/ZLUDA
    • decriminalize marijuana
    • fund a high speed rail system in the US
    • reform the Supreme Court and bring Clarence Thomas up on treason charges under the penalty of death
    • immigrants no longer in cages (rather than ramping up putting immigrants in cages and just marketing it differently)
    • end the embargo on Cuba
    • penalize countries and corporations financially for pollution. Make it prohibitively expensive for Temu, Amazon, SHEIN, and Alibaba to ship their goods over oceans on the worst polluting internal combustion engines on earth: container ships. In reality, it was our Clintonite, globalist Democrats (the good guys!) that actively encouraged corporations to manufacture overseas.
    • reward other countries and corporations financially for green policies
    • dissolve the two party system and bring the DNC and GOP up on treason charges
    • give Edward Snowden immunity for his “crimes” and protect him as a whistle blower
    • fund the fediverse and other decentralized technologies that have a direct positive effect on democracy
    • socialize and break up Amazon into twenty companies
    • open source and decentralize Twitter for the crime of election interference
    • force Amazon, Google, Alphabet, OpenAI, Meta, and Apple to open source at least a large chunk of their tech stacks
    • force pharmaceutical industry to open source their tax-payer funded research and products that were created using government funding
    • socialize Google (for the crime of election interference and others)
    • fund RISC-V chip technologies instead of closed source technologies to bring chip manufacturing back to the US
    • socialize Meta (for the crime of election interference and other crimes)








  • Thats actually 100% false.

    DJED seems to have escaped your notice. It has been humming along without incident for a full year now.

    DJED is the first formally verified stablecoin protocol. The use of formal methods in the programming process has greatly contributed to the design and stability properties of Djed. Using formal techniques, the properties are proven by mathematical theorems: *Peg upper and lower bound maintenance: the price will not go above or beyond the set price. In the normal reserve ratio range, purchases and sales are not restricted, and users have no incentive to trade stablecoins outside the peg range in a secondary market. *Peg robustness during market crashes: up to a set limit that depends on the reserve ratio, the peg is maintained even when the price of the base coin falls sharply. *No insolvency: no bank is involved, so there is no bank contract to go bankrupt. *No bank runs: all users are treated fairly and paid accordingly, so there is provably no incentive for users to race to redeem their stablecoins. *Monotonically increasing equity per reserve coin: under some conditions, the reserve surplus per reserve coin is guaranteed to increase as users interact with the contract. Under these conditions, reserve coin holders are guaranteed to profit. *No reserve draining: under some conditions, it is impossible for a malicious user to execute a sequence of actions that would steal reserves from the bank. *Bounded dilution: there is a limit to how many reserve coin holders and their profit can be diluted due to the issuance of more reserve coins.



  • I should mention that only South Korea and Canada have TRUE Single Payer (which is, IMO, what the US should be working toward).

    Any other type of “universal healthcare” has the effect of creating a premium lane alongside the regular one. However, if all of society has to use the same healthcare system, they will have no choice but to collectively fight tooth and nail to improve healthcare for everyone. This is the only way, IMO.

    In a truly just society, the homeless man sleeping on the bench would have the same healthcare as Jeffrey motherfucking Bezos.