Try new video section here! Cardano videos
Cardano Videos
Markets
Midnight Network Discord and Ambassador Signup
https://discord.gg/X2uppJMP and https://mpc.midnight.network/midnight-ambassador.
Charles Hoskinson · 14-11-2025, 18:50
Institutional Capital Meets Blockchain Innovation: Investment Strategies for the Web3 Era
Industry leaders discuss current investment trends, due diligence frameworks, and the evolving landscape of blockchain-focused ...
Cardano Foundation · 14-11-2025, 15:57
Cardano Summit 2025: Day 2 Recap
Day 2 of the Cardano Summit 2025 continued the momentum at Berlin's Gasometer Schöneberg, bringing together builders, ...
Cardano Foundation · 14-11-2025, 11:07
Closing Keynote: Embracing the Next Era of Enterprise Technology
Cardano Foundation · 14-11-2025, 10:18
UPLC-CAPE: Building Better Performance Benchmarks for the UPLC Ecosystem
UPLC-CAPE: Comparative Artifact Performance Evaluation — led by Yuriy Lazaryev, Senior Software Engineer at Input | Output, ...
IOHK · 13-11-2025, 23:01
From Clunky to Clean: Improving Boolean Branching in UPLC
At the UPLC Programming Language Conference 2025, Roman Kireev, Senior Software Engineer at Input | Output, introduced a ...
IOHK · 13-11-2025, 23:01
The Future of Multi-Chain Systems: Building Consistency Across Blockchains
How do you make multiple blockchains act as one? Atomicity could be the key to seamless, consistent cross-chain transactions.
IOHK · 13-11-2025, 23:01
Mastering Plutarch: A Hands-On Workshop for UPLC Developers
A hands-on dive into Plutarch — the Haskell-based framework for writing efficient, testable UPLC. Seungheon Oh (Software ...
IOHK · 13-11-2025, 23:01
How zk-SNARKs Unlock Privacy and Flexibility on Cardano
What does it take to bring zk-SNARKs to Cardano? At the UPLC Programming Language Conference 2025, Adam Smolarek, ...
IOHK · 13-11-2025, 23:01
Pushing the Limits of UPLC: Everything is Possible
At the UPLC Programming Language Conference 2025, Phillip DiSarro (CEO, Anastasia Labs) took the stage to challenge the ...
IOHK · 13-11-2025, 23:00
Mastering UPLC with Plutarch — A Developer’s Framework for Full Control
At the UPLC Programming Language Conference 2025, Seungheon Oh, Software Engineer – Compiler at Input | Output, ...
IOHK · 13-11-2025, 23:00
Formal Methods in Practice: The Foundation of Reliable Blockchain Design
How do you build software you can prove is correct? James Chapman explains how IOG uses formal methods to engineer trust at ...
IOHK · 13-11-2025, 23:00
Validity, Liquidity, and Fidelity: Verifying Smart Contracts with Confidence
At the UPLC Programming Language Conference 2025, Tudor Ferariu, PhD Student at the University of Edinburgh, presented ...
IOHK · 13-11-2025, 23:00
Evolving the Aiken Type System - From Design to What’s Next
At the UPLC Programming Language Conference 2025, Kasey White, Senior Software Developer at Input | Output, presented ...
IOHK · 13-11-2025, 23:00
From Theory to Trust: Formal Certification in UPLC Compilation
How can we prove that compiled code does exactly what it should? At UPLC 2025, Ana Pantilie Senior Software Engineer- ...
IOHK · 13-11-2025, 23:00
DeltaDeFi: Helping the Next Generation Build Better on Cardano
At the UPLC Programming Language Conference 2025, Tsz Wai Wu, Head of Blockchain Engineering, and Hinson Wong, ...
IOHK · 13-11-2025, 23:00
The Gastronomy UPLC Debugger with Pi Lanningham from Sundae Labs
At UPLC 2025, Pi Lanningham (CTO, Sundae Labs) showcased the Gastronomy UPLC Debugger — an innovative tool for ...
IOHK · 13-11-2025, 23:00
Fifty-three Years of Plutus
At the UPLC Programming Language Conference 2025, Philip Wadler, former Professor at the University of Edinburgh and one of ...
IOHK · 13-11-2025, 23:00
Jai to UPLC: A New Way to Build on Cardano
At the UPLC Programming Language Conference 2025, Skylar-Ray O'Quinn, CEO of VyFinance, presented “From Jai to UPLC: ...
IOHK · 13-11-2025, 23:00