And they just do the Cardano engineering. It's a highly specialized group. They've been doing it for years and the bespoke leadership specifically to be the best contributor. But then you have others like the Well-Typed, you know, that's for example Duncan Coutts company. He's been around since basically the near beginning.

...The Methods Group, which includes Phil, Jared, Lars, Boreas, Duncan Coutts, and others, spent a considerable amount of time generating the delegation specification. It took a long time to get the spec to a readable, complete state. The workshop also adopted the Red Team-Black Team model, where, for the first time, the engineering teams were able to go through it in incredible, excruciating detail...

Most Haskell developers are a little older, little greyer in the beard and have decades of experience and are experts, not only in development engineering but also computer science, Duncan Coutts is a great example of that.

So, it's as if the Epochs are getting larger for decentralization, so you'll see a series of videos and blog posts and announcements, and Duncan Coutts will go and talk about this as well others, but progress is pretty good.

We've learned how to do what Duncan Coutts likes to call evidence-based engineering, but it's more typically called specification driven engineering where we write a formal specification the specification looks like some provenance of logic and mathematics. From that specification you extract code and then you're able to prove that your implementation is equivalent to that extracted code.

So the entire Pluto team will be there Michael Peyton Jones, Simon Thompson is going to be there. Philip Wadler is going to be there; Duncan Coutts is going to be there. I'll be there.

It was more about saying - if I wanted to make this interesting to Duncan Coutts or to Philip Wadler or to Michael Payton Jones, or to John Hughes. What could I do to make it interesting to them? What could I do to come to them and say there are 10 years' worth of problems we've put up in a pile and we'd like for you guys to come and solve those particular problems in a way that they've never been solved before or in the most optimal way that we can prove and Haskell gave us that path.

Phillip and Rick, I think are going to do a phenomenal job and we also invited them to come out to Plutus fest, so hopefully I'll be able to meet them in person for the first time ever, and hopefully they'll be able to do some episodes there and interview Philip Wadler, Manuel Chakravarty, and the rest of the people on that team, including Duncan Coutts. So that's all I have to say here.

Hi Charles, I remember Duncan Coutts talking about having assets in Cardano as first class citizens the same way ADA is, without the need for smart contract ERC 20 style. Do these assets live in a cell? Also, do they have any relationship with ADA? For example, they are under ADA staking rules, or are they independent?

Duncan Coutts is going to be preparing some content, some videos and our product marketers are going to be been kind of parsing down all of this stuff and trying to put it into an Understandable road map for people So people can get a pretty good sense of the scope and scale of Shelley. Shelley, we thought was going to be this year so larger and that's why it's taking so much more time for us to very carefully think about it. It's larger. And that the interdependencies and the the way that The software works. You have to think super carefully about it.

So Duncan Coutts, it's goes on reason.

Such research bears little relevance to the cryptocurrency space, software engineering, or protocol development. I'm vastly underqualified for these areas, which is why we have a brilliant chief scientist, Professor Aggelos Gasses, and individuals like Philip Wadler, Duncan Coutts, and others on our team. Their work is essential because they've devoted their lifetimes, decades in the case of Duncan and Wadler, to these objectives.