An in-depth look at quickcheck-state-machine

2019年 1月 28日 Edsko de Vries 46 分で読めます

An in-depth look at quickcheck-state-machine

Please note: this post originally appeared on the Well-Typed blog. Stateful APIs are everywhere: file systems, databases, widget libraries, the list goes on. Automated testing of such APIs requires generating sequences of API calls, and when we find a failing test, ideally shrinking such a sequence to a minimal test case. Neither the generation nor the shrinking of such…

Backwards-incompatible changes in Cardano 1.4 Wallet API

Matthias Benkort and Jacob Mitchell cover what's new

2018年 12月 18日 Matthias Benkort 4 分で読めます

Simplicity and Michelson - Input Output

Backwards-incompatible changes in Cardano 1.4 Wallet API

In this blog, wallet API lead Matthias Benkort explains backwards-incompatible Cardano wallet API changes that are coming in Cardano 1.4, and devOps lead Jacob Mitchell shows how to build a Cardano client with both the old V0 wallet API and the new V1 wallet API, instead of the default option providing only the new API. This blog post is mainly intended for current users of the…

A guide to how Cardano is versioned

Tatyana Valkevych, Darko Mijić, and Jacob Mitchell explain

2018年 12月 18日 Tatyana Valkevych 6 分で読めます

Simplicity and Michelson - Input Output

A guide to how Cardano is versioned

Cardano, the third-generation blockchain, is evolving. Cardano changes are planned as product increments within Cardano development phases, and are implemented and released as Cardano software. In this blog, product manager Darko Mijic, release manager Tatyana Valkevych and devOps lead Jacob Mitchell clarify how Cardano is versioned as a blockchain product and as software, and…

Launching Plutus and Marlowe at the inaugural PlutusFest

IOHK’s new smart contract tools for developers and financiers

2018年 12月 17日 Amy Reeve 3 分で読めます

Launching Plutus and Marlowe at the inaugural PlutusFest - Input Output

Last week IOHK hosted the inaugural PlutusFest at the University of Edinburgh. Members of the IOHK team flew in from around the world, with interested academics, developers, financiers, and members of the press also in attendance.

Professor Philip Wadler reprises his role
as Lambda Man, PlutusFest style.

IOHK research fellow Philip Wadler opened the event - and his shirt, in traditional Lambda Man style - followed by a keynote from CEO and co-founder…

Marlowe:ブロックチェーンの金融コントラクト

2018年 12月 11日 Prof Simon Thompson 5 分で読めます

Marlowe:ブロックチェーンの金融コントラクト

初期のコンピューターではプログラミングに「機械語」を使用していました。機械語はシステム間に互換性がなかったうえ、レベルが低く、表現も限られていました。プログラムは、ごく単純な指示を長く連ねたものであり、書いた本人以外には圧縮が不可能なものでした。今日システムのプログラミングには、C、Java、Haskellなど、機械語よりも高次の言語が使用されています。同じ言語が幅広い種類の機械に対応し、プログラムの構造はその動作を反映します。ブロックチェーンでは、SolidityやSimplicity…