Tue Aug 24 23:46:55 2021
— Djed: implementing algorithmic stablecoins for proven price stability – IOHK Blog
— Djed is the first coin to use formal verification to eliminate price volatility
(*b841432a*):: +public!
(*9d575a1f*):: Sounds like famous last words to me. Huge if true, but I have seen a purported proof that purely algorithmic stable coins are not possible in the real world. One more ting on my watvh list.