Charles Hoskinson is developing a new Cardano programming language with engineer Lucas Rosa, focused on intent-based transactions and proof-carrying data. Cardano’s DeFi applications hold about $63 million in assets, far below larger smart contract networks…