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

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

help-circle

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

















  • I think on a small scale, communities are self-governing and anarchism can work well.
    I have seen evidence of this.

    In my current understanding of this admittedly SUPER complex topic, the problem perhaps lies in the overpopulation by way of capitalist expansion.

    It feels (if you won’t shame for attempting to take a stab in the dark at a reason) like at the scale of modern society, community policing can lead to an uptick in crime.

    I have seen it in VT, CA, OR, and other places where this transition to a less punitive society is taking place. Ideologically, I actually wish for a society like that…but then I go to Brattleboro VT and get robbed at gunpoint by some guy who has been released from jail 2 times this month. I agree that ACAB. But then, I also want peace and I don’t want to have to fear for my safety when what we asked for is given to us.

    I wish I had an answer…frankly, I have a hard time coming to terms with the real-world implementations of some of my ideas like this one. I want to eliminate the disgusting white supremacist police…but I also want to prevent Proud Boys from murdering me.