🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Finally a readable Data type coming to Evolution 2.0

I'll be working at IOHK soon. New things coming...

Most of my work is on the sidelines but this is noteworthy: Aiken had some disrupt, you all saw it. That sucked but we worked through it. I am very proud to say the PRAGMA board has appointed a new Aiken Lead Maintainer, MicroProofs. Our first non-founding member appointment 🎉

Florida is just like Hong Kong

The one and only proper node

it's on the internet so it must be true

Midnight should have reciprocal tariffs for Cardano

Bad take IMO But you do you

Wake up! The new stack just dropped

Why it's important to know Assembly

Romain Pellerin🇫🇷🇺🇸 Flubdub 👻 Jamie The UPLC to RISC-V compiler is working today and we are continuing to add new built-ins. Right now we have enabled integer and byte array operations, we are working to enable abstract data types and cryptographic primitives Very innovative and cool tech From MicroProofs and I

Can you guess what we're trying to do with our automated formal verification tool in Lean?

The thing I love the most in my "job" is this feeling

What annoys you the most about #Cardano ? I’ll start: no mandatory canonical encoding of CBOR. It’s the cbor-far-west out there, and it’s been a time sink at a scale most can’t fathom.

Can we please stop pretending that 39 individual proposals for what is literally the most important governance decision for the entire year is too much work for DReps? Whether it’s bundled or not, you still have to review them all. The amount of time that it takes to click a

I find that the community (ada holders) are overwhelmingly in support of 39 individual proposals, in spite of messaging to the contrary, is incredibly optimistic.

A storm is brewing...

Did you know the nested transactions feature isn't just about Babel fees? Imagine being able to do atomic swaps without ever having to write or use a smart contract without any need of a batcher for the protocol! Anyone can combine nested transactions and submit them!

Bear markets really limit my wardrobe 🥲

Go is just rust but when you actually want to get things done