Today we launch the second #Cardano testnet, which is for the IELE virtual machine (VM) and follows our recent launch of the KEVM testnet. Developers now have the opportunity to explore Cardano's #smartcontracts technology, read more here: buff.ly/2M5lkRp we have moved to @Cardano #Ada

Plutus Playgrounds are live! testnet.iohkdev.io/plutus/ You can use them to write and explore contract applications for the #Plutus platform developed by web3innovationnerds for #Cardano

A good Christmas read "The Church- Turing Thesis: Logical Limit or Breachable Barrier?”, referencing Robin Gandy, my DPhil supervisor’s very elegant work on mechanisms cacm.acm.org/magazines/2019…

This is extremely important and powerful. I have said many times that IMHO, when everything is said and done, the most important contribution of functional programming will be to have reconciled programming with mathematics: x.com/IOHK_Charles/s…

Today IOHK published the Proof of Proof of Stake paper! What a way to end the year!!! The paper is fundamental to having sidechains on PoS systems and is the first rigorous definition of sidechains in PoS. Huge impact for Cardano and crypto in general! ia.cr/2018/1239

OUT NOW The first edition of our new ebook 'Plutus: Writing reliable smart contracts' has just landed. Available in Kindle and LeanPub formats, find out more on the IOHK blog from authors Lars Brünjes Polina Vinogradova buff.ly/2MtEyTZ #Cardano #smartcontracts #Plutus

Lex Fridman Please, please, please do a podcast on this!

Do you know any decision-maker that is considering adopting SAFe? Do you know any practitioner that is considering SAFe certifications? Is this Creative-Commons document something you would share with them to help them decide? => docs.google.com/document/d/1Ed… Looking for feedback

Thank you for nominating me as a speaker at the Cardano Summit 2022! I would love your votes to be able to present at the Summit about what we are building and architectural designs for building scalable apps on Cardano 🔥. ❤️ Please vote for me at voting.summit.cardano.org/categories

We are super excited to see daily updates from Terence Tao describing his experience learning Lean. Terence Tao is one of the greatest living mathematicians and a Fields medalist. mathstodon.xyz/@tao/111247716…

Happy to announce that I've founded a software verification startup, @colimit_io, RTs appreciated 😀. Our mission is to make advanced software verification easy, widely accessible, and feel like ordinary programming, which is the same spirit that got me into dependent types

Join us TUE Sept 10th for "LEAN Tutorial - Theorem Proving in Lean 4" hosted by@JaredCorduan! Discuss using Lean to ensure data structure guarantees in real-world software, focusing on tactics and related topics! #functional #chstech Charleston Digital Corridor meetup.com/Functional-SC/

Join us WED Oct 2nd for "Budget Microcontroller Projects - How uLisp Simplifies Programming" Learn how to program a NeoTrinkey using #uLisp from your phone or laptop even if you're new to #LISP or microcontrollers! #chstech Reforge Charleston mtup.link/e/EheGgA

Join us TUE Oct 8th for "LEAN Proof Assistant Series" hosted by Jared Corduan where we focus on universal & existential quantifiers, mirrors in pi, sigma types and the recent paper "zkPi: Proving Lean Theorems in Zero-Knowledge". #chstech Charleston Digital Corridor charlestonlc.org/classes/charle…

Our boy Heowie is heading to the 2024 Clojure Conference! 2024.clojure-conj.org He'll be packing some uLisp sticks and will want to talk about our new Logseq-based website functional.sc #Clojure #Lisp #uLisp #logseq

The CEO discord was interesting when it started out, focusing on facts and evidence. I enjoy talking about ledger code. It later turned foul and I stopped participating.

I am super excited about Vaults of Vaarn 2e! backerkit.com/c/projects/vau…

We're proud to announce that we're leading a consortium of 6 partners in a bid to build the Cardano-Cardano partner chain factory. Ouroboros Tachýs: Building the Partner Chain Factory for Cardano ensurable.systems/f/ouroboros-ta…

blog post on cardano redemption codes: jaredcorduan.github.io/posts/2026-04-…

Verifying myself: I am jaredc on Keybase.io. 9Gt6f7YSRg2mvHtN5GRXFO5gW69yWVHOr5UP / keybase.io/jaredc/sigs/9G…