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

  • 3 Posts
  • 247 Comments
Joined 2 years ago
cake
Cake day: June 17th, 2023

help-circle
  • Neither of those seem like complete dealbreakers if there were some form of verification using DID’s and homomorphic encryption for example.

    Marketing, to me, is a non-issue if the technology has evolved enough. We can start with nerds only and iterate upon it until the normies can’t deny the superiority of the platform and move over in droves. We are not there yet on the fediverse, IMO. Here’s Hoskinson doing a thought experiment about what would need to be done to truly achieve a decentralized Twitter.

    For one, NOSTR’s tech would make this fairly easy for someone just a tad smarter than myself to implement. Of course it wouldn’t be foolproof but it would be FAR better than say Yelp or Google or GlassDoor reviews are on their own.

    I’m under no impression that my idea is rock solid and infallible. In fact, I don’t imagine it would work in the current server client relationship. Full stop.


    I’m hoping that our acute sensitivity to enshittification will eventually drive us to innovate around these (admittedly major) issues. One truth I can’t find a way to refute, though: A decentralized web is coming whether we like it or not;

    There’s all kinds of interesting discussions to be had here:

    1. The EU’s right to be forgotten, for example, seems to be an attempt to reverse the laws of nature, IMO. Information is a Pandora’s box. Once it is out, it is cached EVERYWHERE. Especially with AI scrapers in full effect, boiling our oceans.

    2. Perhaps (probably?), the traditional server-client model of the web will someday give way to a decentralized model that is (IMO inevitably) censorship resistant.









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