I was waiting for him to sip on that tea - the tension is unbearable

I just love highly intelligent people. Much more I love highly intelligent people who are also able to break something down for less intelligent people and make it easy to understand very complex subjects. Really admire some people of the Cardano project. Mr. Coutts is one of them. You're doing a great job. Greetings from Germany.

Please give us more Duncan! This guy knows what's up!

I love that you don't just build an amazing protocol, but also educate people on how you are building it. Really interesting!

A proper Englishman, he didnt put his tea down for 20mins lol

On the Ouroboros Design: How rigour and engineering are essential for critical infrastructure, read the latest IOHK blog now: iohk.io/blog/on-the-ouroboros-design-how-rigour-and-engineering-are-essential-for-critical-infrastructure/

Very good high level overview. Combination of DeltaQ + PSI-calculus + Isabelle seems quite interesting and promising. Keep us updated and post more videos. Thanks.

I could be wrong, but I feel like I'm seeing the emergence of a gold standard for creating a sustainable decentralized project. Really excited to see where this goes.

Fantastic talk! Thank you Dr. Coutts! This is some seriously pioneering work; I really hope Cardano will serve as an example for not only the crypto space, but also software development as a whole. The more integrated we become with machines, the greater the need for high assurance software. I've been following Cardano and IOHK for quite some time now and it's been a pleasure watching things progress; I'm very much looking forward to watching how this project and the concepts it encapsulates percolate through society. Keep up the good work!!

Dr. Coutts is a Genius!! I love your work sir. Looking forward to your developments on the ADA roadmap. Thanks for your contributions to the future.

Great presentation. I love the Cardano project, and that's why I'd like to present some comments and challenges. High-assurance software isn't popular because of time-to-market and change agility. Also there are few people skilled to develop high-assurance software. So for instance: picture Bill Gates presenting a buggy Windows version to the world, the damn thing getting frozen during the presentation. Well, Gates was not embarrassed, because he was the first one, he was the pioneer in marketing at a global scale an Operating System. If Gates would get worried about high-assurance, or developing windows in Haskell with Math proofs, he would probably miss the window opportunity and get surpassed by competition. What that means is that in the future some group could "fork" Cardano by simply re-writing its algorithms and its great ideas in Java for example, keeping it parallel for some time, but then taking advantage of more Java developers available in the field and a faster development model. IMHO you can't afford the slow development speeds of Haskell, as beautiful and elegant as it is - does that make sense? About mathematical specification and proofs: I don't think proofs are the holy-grail, because what takes us by surprise a lot are wrong assumptions, inadequate requirements, unexpected human behaviour, etc - in other words, things that proofs cannot anticipate, things that have to do with our myope view of the world. The fact that you can proof a piece of software works doesn't mean your assumptions about the real world were correct, a great part of what makes reality complex is unpredictability. About using academic papers as "hard-core references": papers are not always perfect, are not always 100% relevant, so guaranteeing adherence of code to an academic paper might be unnecessary. Elegance is expensive, and not always worth the price. My understanding is that IOHK should invest in opening up the development model via bounties to people that find bugs and to people that fix those bugs. If we are to descentralize stuff, descentralize your development model, otherwise you will may end up building an elegant, cool, brilliant, but slow development team. This race is not about perfection or elegance, it's about SPEED. Example: Facebook, especially in the early years. Lots of PHP everywhere, people implementing crazy stuff all the time, running experimental code in production base. It's not beautiful, but the "problem" is that it worked (and it works!) in a competitive business scenario, because it's fast. At a minimum, I think the IOHK team should challenge itself every once in a while about not exaggerating on math proofs and elegance. "Quick development" is an important business requirement, maybe more important than elegance. In a nutshell: run a sandbox testing environment, pay people to hack it, pay people to fix it.

.Great job Duncan. Please make this happen because it will change the way crptocurrencies interact with each other with the much needed quicker block performance coupled with the acceptance of traditional banking . This project will help CCs go mainstream.

This is reminiscent of the renascence where highly intelligent minds laid the foundation to enter into a brave new world. History will show that these men and women share similar traits to their predecessors. Kudos to intelligence.

Fantastic break down of DeltaQ and PSI Calculus!! Incredible the future that you and the Cardano team are building!!! Keep up the GREAT WORK!!

thanks for the taking the time to explain it in comprehensible terms! I believe in you and the project, keep up the good work !!

Great high level and in-depth analysis. But take a sip, man!!

This project is the most interesting thing in the world to me. Thanks for taking the time to make these video's.

There are actually people this smart on this planet...for the rest of us, Taco Bell is still hiring.

Great video. Love this team of very smart people.. keep up the good work 👍..

LOVE the Cardano Project. Love the team that I see. I won't now touch ETH or EOS, etc., after researching Charles & Company. Tell you why: Scientific rigor. I have an engineering background from my 1980s-1990s Air Force days working with Los Alamos National Laboratory and some seriously damned-smart physicists there. It was still largely Fortran back then (yes, prehistoric computer science when the Macintosh was the daily rage). That I was weaned in the Dark Ages doesn't matter. I get it. The scientific method is essentially timeless. And you prove shit works and works well using the scientific method of questioning the crap out of theories and testing the crap out of theories (using quality peer review of results) until there is general consensus among the best and brightest in the field that the thing is what it is and it works per theory. You couldn't create a toothbrush let alone the latest SpaceX flying machine without this process. I'll take f'ing brains and intellect and honesty in the creation of the blockchain (or whatever) over products put out by the short-term range-of-the-moment developers any day...even if I have to wait a bit longer. If you cannot see it, let me tell you so you can start thinking on this: In every industry, especially developing industries, there is always some entity that is setting the standard for quality. At this point, in my informed opinion Charles & Company is it. There is a saying that goes like this: "The trophy is earned in the hours no one is watching." I think that's who these guys are by all outward appearances. I mean you cannot fake the way these guys talk. Call it integrity. Call it intellectual honesty. Call it just being human in the best sense - in that we are meant to be productive and are happiest when we produce to the best of our abilities, especially when no one is watching. Charles, if you're reading this, remain the principled dude you are and don't ever compromise on the quality. I'm a 60-year old guy who is highly encouraged about life and the future of liberty by younger guys the likes of you.

Very good explained as overview! Many thanks! I have to rethink our development process. :D

Cardano has such a great team. One look at Duncan and you can tell he knows what he's talking about lol

Crikey, extraordinary rigour and a disciplined approach, what a great aim, to produce perfect software. Rolls Royce on steroids, Fantastic

Great overview! Are you planning on uploading updates from time to time on your progress?

Excellent video, treating software as mathematics should establish a rigorous foundation from which to build blockchain tech software that is fundamentally sound.

great video, thankyou!

Brilliant project. One of a kind. Excited about the future progress!

Love the videos.

Love these people. Good people.

I love scientific design of Cardano.

Super interesting stuff, thank you!

Where can I find resources to learn about psi-calculus?

Its like you guys building "Nokia oldphones" to "smartphones". Release the "nokia oldphones" product 1st, go into the market and slowly turning it to "smartphones" product as the market adoption matures. So they grow up in pararel. Anyway, great work!

I feel like a part of something BIG...

Great Video

Thank you

this guy is great

Is that tea or coffee? I'm guessing tea....

thank you

thanks Duncan . . .

Math majors are good people. Never met one I didn't like.

An honest to goodness proof ... yup. That's what I need.

"People treat them as money, right, that's the whole point" Hahaha, awesome

That's Varg Vikernes.

Haskell should help with performance since it is a functional language which means there'll be no side effects.

I AM SO LOST... but i am SOLD on it! im buying in

F****g hell. This guy knows his shit. That's why I went all in on ADA. Cardano is way undervalued considering the undeniable quality of the massive team behind it. I've been in the crypto world for some time and to me this is a winner. I learnt my lessons. I don't want to kick myself up again like I did back in 2013 when I had the opportunity to buy several BTC at 200$, but gave up because Mt Gox was taking so f*****g long to verify me. Dont' miss that opportunity folks!

Awesome video. Lol maths.

I love the updates, but the progress is slow. Any reason things aren't moving for a few months? Paper Wallets stuck at 10% for about 2 months. Open Ouroboros Delegation stuck at 75% for a similar period of time. I know you guys are doing the correct thing using white papers and that will slow things down, but in the end, it doesn't look like you'll hold many deadlines at this pace. I also don't see any big name collaborations like Stellar is aligned with IBM (I believe). Ripple has project announcements with many big projects in what seems like daily announcements. Ripple will be on CNBC today. (I hate ripple). I love all the big minds, but don't let that stymie progress. Progress is also important.

Since when did Jesus get into Cryptocurrencies ?

Out my face with this pseudo-scientific garbage. Unless this is a parody, then it's brilliant.