John Wiegley
@jwiegley
Followers
5K
Following
2K
Media
25
Statuses
2K
CTO at https://t.co/iEB5xkH0PC. Haskell & Coq programmer, Emacs devotee, Mac OS X, Linux, Common Lisp, and member of the Bahá‘í Faith.
Sacramento, CA
Joined January 2009
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:.
patreon.com
Patreon is empowering a new generation of creators. Support and engage with artists and creators as they live out their passions!
0
1
12
My GitHub Sponsors profile is live! You can sponsor me to support my open source work 💖
github.com
Support John Wiegley’s open source work for Emacs, Haskell, Nix, Coq, Rust, Python and others...
0
0
5
RT @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 s….
0
59
0
RT @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….
0
571
0
RT @kadena_io: Beyond the Block Episode #2 “ZK Tech and Applications” is LIVE!. This week’s episode features a conversation about #ZK tech….
0
57
0
RT @kadena_io: 🌐 Kadena's Pact 5 is redefining blockchain's future! . Discover how smart contract technology leaps forward with #Pact5's pe….
kadena.io
Kadena - The Blockchain for Business
0
136
0
RT @kadena_io: The moment everyone has been waiting for has FINALLY ARRIVED 🎉. Visit and learn how @Kadena_io reima….
0
262
0
RT @kadena_io: We're thrilled to announce our partnership with Ideasoft, bringing permissionless interoperability to the Kadena ecosystem v….
0
175
0
RT @kadena_io: Step into the world of #blockchain pioneers at the next Kadena Campfire with 2 of the most cited authors in the #Bitcoin whi….
0
298
0
RT @kadena_io: Ahead of our full website relaunch, we're excited to have a new and improved site for our community….
0
165
0
RT @kadena_io: Here's a quick glance back at all the exciting new developments at @kadena_io in Q3. From bridge collaborations to new commu….
0
156
0
Ledger support is finally here for Kadena (KDA)!.
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!.
6
10
81
RT @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….
0
388
0
Stop by and say hello!.
Welcome @kadena_io's CTO, @jwiegley to this week's #KadenaCampfire!. Tune in, ask questions, and learn more about Kadena!. 📅 Wed, (8/2), 4 PM UTC. 🔴 Youtube: 🟣 Twitch:
3
10
61
RT @sjoerd_visscher: All types from the kan-extensions package are special cases of Procompose, Rift and Ran from the profunctors package.….
0
7
0
RT @KadenaEcosystem: @Kadena_io just released chainweb-node version 2.19.2 with new features and bug fixes. ⚡️ Upgrade now to enjoy enhan….
github.com
NOTE: THIS VERSION SUPERSEDES 2.19.1. PLEASE UPDATE AS SOON AS POSSIBLE. This version replaces all previous versions. This version will expire on 2023-09-07. To upgrade, pull the latest docker imag...
0
13
0
RT @kadena_io: The release of @kadena_io's Q2 newsletter is here!. Lots of exciting news developments over Q2 (did we mention #L2, #Marmal….
0
187
0
RT @kadena_io: Formal Verification is a powerful tool for smart contract development on the @kadena_io blockchain. Here’s a guide by @andor….
0
70
0