Quang (Daniel) retweeted
One small step for Cardano; One giant leap for the industry x.com/i/broadcasts/1…
145
713
3,183
114,362
Inspiration strikes anywhere! With @webtofigma, transform any website into editable Figma components instantly. Boost your creativity and speed up your design process. #webtofigma figma.com/community/plug…
1
0
1
24
Happy to see you guys!
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 , 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
0
0
0
7
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: youtube.com/live/lXld5EZQ8…
Today's Livestream will start at: 2:45 UTC
Link: youtube.com/live/lXld5EZQ8…
0
0
0
11
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: youtube.com/live/4sMI2G5VN…
Today's Livestream will start at: 2:45 UTC
Link: youtube.com/live/4sMI2G5VN…
0
0
0
12
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: youtube.com/live/7u_CHS2ta…
Today's Livestream will start at: 2:45 UTC
Link: youtube.com/live/7u_CHS2ta…
0
0
0
12
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: youtube.com/live/PEsJXAJ7w…
Today's Livestream will start at: 2:45 UTC
Link: youtube.com/live/PEsJXAJ7w…
0
0
0
13
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: youtube.com/live/EQvW85osy…
Today's Livestream will start at: 2:45 UTC
Link: youtube.com/live/EQvW85osy…
0
0
0
10
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: youtube.com/live/-ODhmaWlp…
Today's Livestream will start at: 2:45 UTC
Link: youtube.com/live/-ODhmaWlp…
0
0
0
9
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: youtube.com/live/inorIu6Cs…
Today's Livestream will start at: 2:45 UTC
Link: youtube.com/live/inorIu6Cs…
0
0
0
7
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: youtube.com/live/7Ayym0JBF…
Today's Livestream will start at: 2:45 UTC
Link: youtube.com/live/7Ayym0JBF…
0
0
0
10
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: youtube.com/live/NuXrxjSqN…
Today's Livestream will start at: 2:45 UTC
Link: youtube.com/live/NuXrxjSqN…
0
0
1
12
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: youtube.com/live/8uIJRcfQk…
Today's Livestream will start at: 2:45 UTC
Link: youtube.com/live/8uIJRcfQk…
0
0
0
4
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: youtube.com/live/ix-IqPqu6…
Today's Livestream will start at: 2:45 UTC
Link: youtube.com/live/ix-IqPqu6…
0
0
0
3
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: youtube.com/live/RstzoM4Km…
Today's Livestream will start at: 2:45 UTC
Link: youtube.com/live/RstzoM4Km…
0
0
0
5
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: youtube.com/live/q9XVSq3ht…
Today's Livestream will start at: 2:45 UTC
Link: youtube.com/live/q9XVSq3ht…
0
0
0
3
Welcome to Day 17 of Dive Into Haskell Through Livestream! Today, we'll dive into the Pyroclastic Flow problem, using Haskell to simulate and analyze this dynamic phenomenon.
Today's Livestream will start at: 2:45 UTC
Link: youtube.com/live/oy8_DD5wV…
Today's Livestream will start at: 2:45 UTC
Link: youtube.com/live/oy8_DD5wV…
0
0
0
4