Clark Alesna ⚡️ (@clarkalesna) 's Twitter Profile
Clark Alesna ⚡️

@clarkalesna

CEO @saibdev

building with @TxPipe_Tools 🛠️ @levvyfinance

former @Cardano_CF

#dotnet #haskell #rust #cardano

ID: 52403827

calendar_today30-06-2009 14:10:29

16,16K Tweet

3,3K Followers

3,3K Following

Socious (@sociousdao) 's Twitter Profile Photo

Meet Phillip Pon, CEO of EMURGO & Cardano co-founder org, at #TechForImpactSummit 2025! 🎤 RWA Tokenization: This Cycle or Next? — Unlocking Trillions for Global Impact 🎟 tech4impactsummit.com/tickets #PhillipPon #Cardano #DeFi #Blockchain #DigitalFinance #SociousDAO

Meet Phillip Pon, CEO of EMURGO & Cardano co-founder org, at #TechForImpactSummit 2025!

🎤 RWA Tokenization: This Cycle or Next? — Unlocking Trillions for Global Impact
🎟 tech4impactsummit.com/tickets

#PhillipPon #Cardano #DeFi #Blockchain #DigitalFinance #SociousDAO
Input Output (@inputoutputhk) 's Twitter Profile Photo

🧵 A novel compilation pipeline being developed at Input | Output takes a Cardano smart contract, written using a modern language like Python, TypeScript, or Scala, and runs it on Bitcoin without modifying Bitcoin itself.

🧵 A novel compilation pipeline being developed at Input | Output  takes a Cardano smart contract, written using a modern language like Python, TypeScript, or Scala, and runs it on Bitcoin without modifying Bitcoin itself.
Input Output (@inputoutputhk) 's Twitter Profile Photo

Here’s how it works: UPLC → CEK → RISC-V → Bitcoin 1. High-level code: developers write smart contracts in modern languages built for (or adapted to) Cardano. 🧵 2/7

Input Output (@inputoutputhk) 's Twitter Profile Photo

2. UPLC compilation: that code compiles down to UPLC – a minimal, functional representation. Think of it like a clean, language-agnostic bytecode. 🧵 3/7

Input Output (@inputoutputhk) 's Twitter Profile Photo

3. Serialization: UPLC terms are serialized or encoded into a specific byte format that can be passed around like a message or file. 🧵 4/7

Input Output (@inputoutputhk) 's Twitter Profile Photo

5. Compiled to RISC-V: instead of attempting to interpret UPLC directly on Bitcoin, we compile the CEK machine itself into RISC-V. It’s a real-world, simple CPU instruction set. This version of the CEK machine can then accept serialized UPLC as input. 🧵 6/7

Socious (@sociousdao) 's Twitter Profile Photo

🎤 Razor & Buriza – カルダノ向け完全オープンソースのインフラストラクチャ TechForImpactSummit 2025で、SAIB Inc. のCEOであり、Cardano向けのRazor & Burizaの開発者であるクラーク・アレスナ氏に会いましょう! 🎟 チケットはこちらから: tech4impactsummit.com/tickets #TechForImpactSummit

🎤 Razor & Buriza – カルダノ向け完全オープンソースのインフラストラクチャ

TechForImpactSummit 2025で、SAIB Inc. のCEOであり、Cardano向けのRazor & Burizaの開発者であるクラーク・アレスナ氏に会いましょう!  

🎟 チケットはこちらから: tech4impactsummit.com/tickets 

#TechForImpactSummit
Blink Labs (@blinklabs_io) 's Twitter Profile Photo

Dingo has been updated in the Cardano Foundation Antithesis automation repository to 0.13.0 which includes fixes for issues found using this framework and 0.12.0. We also run instances of Dingo on Cardano mainnet, including one peered with multiple SPOs to process transactions.

Dingo has been updated in the <a href="/Cardano_CF/">Cardano Foundation</a> <a href="/AntithesisHQ/">Antithesis</a> automation repository to 0.13.0 which includes fixes for issues found using this framework and 0.12.0. We also run instances of Dingo on Cardano mainnet, including one peered with multiple SPOs to process transactions.