
CloudLlama
200 posts






With the upcoming markup of Clarity in the Senate things are reaching a boiling point with both sides unsure of whether the bill will pass. Here is why I think Clarity FAILING would be good news for DeFi (and maybe the rest of crypto too)

Banking policy leaders now signaling that if they lose on stablecoin yield at Thursday's Clarity markup, they will ramp up their fight for changes on the Senate floor. "Thursday is Thursday, and there are 24 members who will opine, and we still have 76 members left to go before this thing is finished," one banking leader told me today. Alsobrooks + Tillis seem poised to stay put with their new yield compromise, however, even though banks don't like it. After banking trades released proposed changes to the deal Friday, an Alsobrooks spox told me the senator stands by her + Tillis' earlier statement that they "respectfully agree to disagree" w/ banks on yield. "It can't be a compromise if both sides don't agree to it," a frustrated banking trade leader also told me today. The trade leader also threw some shade at crypto for how they've navigated the process. "We don't debate this on X," they said. "We're very professional. X is really not, you know, the proper place to negotiate this."



Vyper now has a public, machine-checked formal semantics 🔥 The first complete, precise, executable definition of what every Vyper program actually means, written in HOL4. This builds on @Verifereum’s EVM semantics, which already comes with a growing library of proven properties about the EVM itself (gas monotonicity, storage isolation, etc.).





What in the 🤯 $CRV $CVX



JUST IN: JPMorgan, Morgan Stanley and BlackRock are now hiring for dozens of crypto jobs

















