Inspiration strikes anywhere! With @webtofigma, transform any website into editable Figma components instantly. Boost your creativity and speed up your design process. #webtofigma https://t.co/KgY0dcOsw6
Can someone breakdown #Cardano governance process for me?
A party comes in and asks for 200M $ADA. Who has to say yes for this to be funded? Just the ICC, or both ICC and dreps? Do SPOs have an input?
Big thanks to the #Cardano Community for joining the Constitutional Workshop in Ho Chi Minh on 25/8! 🎉
From 9 AM to 5 PM, we had in-depth discussions on DReps and the separation of powers. ✨
Key insights will be shared in the upcoming report! 😊
The community also elected a Constitutional Delegate, representing Vietnam’s voice in shaping the Cardano Constitution.
Special gratitude to @Cardano and @IntersectMBO for the chance to contribute to Cardano’s decentralized future🙇🙇
A huge thank you to the facilitator for helping us create such a vibrant and energizing workshop!🙇🙇
It was a day full of meaning and inspiration!
#Cardano #Vietnam #DRep #CardanoGovernance
-----------------------------
Xin gửi lời cảm ơn chân thành đến Cộng đồng Cardano đã tham gia Hội Thảo Hiến Pháp tại Hồ Chí Minh vào ngày 25/8! 🎉
Từ 9h sáng đến 5h chiều, chúng tôi đã có những thảo luận sâu sắc về DReps và sự phân chia quyền lực. ✨
Những ý kiến nổi bật sẽ được chia sẻ trong báo cáo sắp tới!
Cộng đồng cũng đã bầu chọn Đại Diện Hiến Pháp, đại diện cho tiếng nói của Việt Nam trong việc định hình Hiến Pháp Cardano.
Đặc biệt cảm ơn @Cardano và @IntersectMBO đã tạo điều kiện để chúng tôi góp tiếng nói vào tương lai phi tập trung của Cardano.
Xin cảm ơn người điều phối đã hỗ trợ chúng tôi tạo nên một hội thảo đầy sôi động và năng lượng!
Đó là một ngày đầy ý nghĩa và ngập tràn năng lượng!
#Cardano #Vietnam #DRep #CardanoGovernance
Welcome to Day 30 of Dive Into Haskell Through Livestream! Today, we'll focus on handling recursion in Haskell, exploring various techniques and best practices for managing recursive functions.
Today's Livestream will start at: 2:45 UTC
Link: https://t.co/vQn7rNigdM
Welcome to Day 29 of Dive Into Haskell Through Livestream! Today, we'll explore the transformation of relational algebra problems into SAT (satisfiability) problems using Haskell.
Today's Livestream will start at: 2:45 UTC
Link: https://t.co/878NePH3T5
Welcome to Day 28 of Dive Into Haskell Through Livestream! Today, we'll be exploring how to generalize Haskell concepts to Datalog, a powerful logic programming language.
Today's Livestream will start at: 2:45 UTC
Link: https://t.co/E6iExIGT9K
Welcome to Day 27 of Dive Into Haskell Through Livestream! Today, we'll explore the Language Server Protocol (LSP) and its integration with Haskell.
Today's Livestream will start at: 2:45 UTC
Link: https://t.co/4mCWBkBrgA
Welcome to Day 26 of Dive Into Haskell Through Livestream! Today, we'll delve into the syntax for tactics in Haskell, exploring how to create and apply tactics effectively in your code.
Today's Livestream will start at: 2:45 UTC
Link: https://t.co/r5q1WQt5Aj
Welcome to Day 25 of Dive Into Haskell Through Livestream! Today, we'll explore the concept of quotient types in Haskell, delving into their definition and practical applications.
Today's Livestream will start at: 2:45 UTC
Link: https://t.co/OGildWtOd1
Welcome to Day 24 of Dive Into Haskell Through Livestream! Today, we'll tackle the Side-Tracked problem using Haskell, exploring techniques to manage and solve complex computational challenges.
Today's Livestream will start at: 2:45 UTC
Link: https://t.co/he8svCxj3L
Welcome to Day 23 of Dive Into Haskell Through Livestream! Today, we'll focus on refactoring the syntax of our Haskell code for clarity and efficiency.
Today's Livestream will start at: 2:45 UTC
Link: https://t.co/n85OH9T8kn
Welcome to Day 22 of Dive Into Haskell Through Livestream! Today, we'll be conducting a refactoring session to improve and optimize our Haskell code.
Today's Livestream will start at: 2:45 UTC
Link: https://t.co/tBtQdv8Pr6
Welcome to Day 21 of Dive Into Haskell Through Livestream! Today, we'll focus on the design of a proof assistant using Haskell.
Today's Livestream will start at: 2:45 UTC
Link: https://t.co/nHU1lDS0VC
@Cardania_HQ @Catalyst_onX@IOHK_Charles@CardanoFeed@EpochsEnd We are aiming to bring Cardano into e-commerce and business management. Our proposals have the potential to generate millions of transactions per month for Cardano and work towards Cardano's goal of bringing solutions to billions of users worldwide.
You can search: quang
Welcome to Day 20 of Dive Into Haskell Through Livestream! Today, we'll delve into the Pulse Propagation problem using Haskell.
Today's Livestream will start at: 2:45 UTC
Link: https://t.co/8bWuCxJck2
Welcome to Day 19 of Dive Into Haskell Through Livestream! In today's session, we'll tackle the Not Enough Minerals problem using Haskell.
Today's Livestream will start at: 2:45 UTC
Link: https://t.co/cIRv4fv2lQ
Welcome to Day 18 of Dive Into Haskell Through Livestream! Today, we'll be solving the Boiling Boulders problem using Haskell.
Today's Livestream will start at: 2:45 UTC
Link: https://t.co/4VqmyJlCBX