John Wiegley

CTO at Haskell & Coq programmer, Emacs devotee, Mac OS X, Linux, Common Lisp, and member of the Bahá‘í Faith.

[John Wiegley @jwiegley]

Category theory moment: A limit admits to reason what must escape the eye.

[Kadena @kadena_io]

KADENA PUBLIC ANNOUNCEMENT

We regret to announce that the Kadena organization is no longer able to continue business operations and will be ceasing all business activity and active maintenance of the Kadena blockchain immediately.

We are tremendously grateful to everybody who has participated in this journey with us. We regret that because of market conditions we are unable to continue to promote and support the adoption of this unique decentralized offering.

We have notified our staff that we will be ceasing operations. We are retaining a small team for handling this period of transition and wind-down. For any questions and concerns please contact [email protected].

The Kadena blockchain is not owned or operated by the company. As a thoroughly decentralized proof-of-work smart-contract blockchain, the network is operated by independent miners, while on-chain smart contracts and protocols are governed independently by their maintainers.

For operational continuity, we will shortly provide a new binary that ensures uninterrupted operation without our involvement, and will be encouraging all node operators to upgrade as soon as possible.

As for the KDA token and protocol, it will also continue in our absence. As noted in our latest token economic update (https://t.co/orvXFObfDk), over 566 million KDA remain to be distributed as mining rewards, continuing until 2139, while the platform emission has 83.7 million KDA coming out of lockup until November 2029. We are ready to engage with the Kadena community to discuss how we can aid the transition to community governance and maintenance. We will post updates on this as they become available.

We are tremendously grateful to all team members, community members and partners who went on this journey with us. We wish everyone good fortune in their future endeavors.

[John Wiegley @jwiegley]

@mickeynp Hi Mickey, I'm not using Patreon, just GitHub Sponsors and Buy Me a Coffee. Sorry, not checking X often…

[John Wiegley @jwiegley]

Thank you @ejneer for sponsoring me on @github. He is the very first. :)

[John Wiegley @jwiegley]

Also accepting help through Patreon, if that is preferred. This goes toward work on Emacs Lisp and Ledger, primarily, but also with many of my Haskell, Coq, Rust and Python work:
https://t.co/GePGVKEnhJ

[John Wiegley @jwiegley]

My GitHub Sponsors profile is live! You can sponsor me to support my open source work 💖 https://t.co/Ydzlo6h916

[Kadena @kadena_io]

The word is getting out on $KDA! 📢

Our #EVM Testnet release today is getting the attention of media and more. Here’s what some of the headlines say below in the 🧵👇:

[Kadena @kadena_io]

Chainweb EVM Testnet is Live! 💚

$KDA has now expanded to 25 chains! Fresh off the stage at @EthCC in Cannes, we’re excited to share:

✅ EVM Testnet for Public Release
✅ 50+ Projects Committed
✅ 5 New Chains for #EVM

Dive into the details in the 🧵 below 👇

[Kadena @kadena_io]

Beyond the Block Episode #2 “ZK Tech and Applications” is LIVE!

This week’s episode features a conversation about #ZK tech between @LurkLab CEO John Burnham and @kadena_io Chief Technology Officer @jwiegley!

Watch the full episode now👇
https://t.co/VjFmqJOsRa

[Kadena @kadena_io]

🌐 Kadena's Pact 5 is redefining blockchain's future!

Discover how smart contract technology leaps forward with #Pact5's performance, developer-friendly tools, and trustworthiness.

Dive into our latest blog for all the exciting details!
https://t.co/VFbrB8gRhx

[Kadena @kadena_io]

The moment everyone has been waiting for has FINALLY ARRIVED 🎉

Visit https://t.co/2uCBngCJ8O and learn how @Kadena_io reimagines blockchain technology for all humans 💜

Welcome to #NewKadena the human gateway for Web3 technology.

https://t.co/Eg8aUEkkYA

[Kadena @kadena_io]

We're thrilled to announce our partnership with Ideasoft, bringing permissionless interoperability to the Kadena ecosystem via @Hyperlane_xyz! 🌉

This opens up new opportunities for staking, #DeFi, and more by fostering connections and innovation with some of the industry's most widely adopted chains, including @ethereum, @cosmos, @Polkadot & others!

https://t.co/uzzVbA12W6

[Kadena @kadena_io]

Step into the world of #blockchain pioneers at the next Kadena Campfire with 2 of the most cited authors in the #Bitcoin whitepaper, @ScottStornetta & @StuartHaber.

Join us and @kadena_io's visionary CEO, @SirLensALot, on Wed, (10/25), 4 PM UTC.

This is one Campfire you don't want to miss!

🔴 Youtube: https://t.co/2mdQEibLpb
🟣 Twitch: https://t.co/arfWyc8ykP

[Kadena @kadena_io]

Ahead of our full website relaunch, we're excited to have a new and improved https://t.co/9Raubap8KR site for our community and developers!

This revamped platform offers streamlined navigation, comprehensive guides, and examples to empower everyone from beginners to experts. Dive in and experience the best of @kadena_io's resources!

[Kadena @kadena_io]

Here's a quick glance back at all the exciting new developments at @kadena_io in Q3. From bridge collaborations to new community and marketing experiences - don't miss out!

https://t.co/PSsBk0msVD

[John Wiegley @jwiegley]

@KadenaSwiss @KadenaCommunity @Ledger @kadena_io Installed and ready to transfer!

[John Wiegley @jwiegley]

@koalawallet @kadena_io @Ledger Thank you! It's been a long journey to get to this day, but I'm very grateful for everyone's patience.

[John Wiegley @jwiegley]

Ledger support is finally here for Kadena (KDA)!

[Kadena @kadena_io]

We’re beyond thrilled to announce @Ledger’s integration of @Kadena_io’s KDA token!

Store your $KDA on your Ledger today and retweet the exciting news!

https://t.co/8TIv4pVOQa

[Kadena @kadena_io]

We’re beyond thrilled to announce @Ledger’s integration of @Kadena_io’s KDA token!

Store your $KDA on your Ledger today and retweet the exciting news!

https://t.co/8TIv4pVOQa