Secure smart contracts with the Plutus ebook
Q&A with the IOHK Education team authors
2019年 7月 31日 6 分で読めます
The IOHK education team this month released the first edition of their new Plutus ebook: Plutus: Writing reliable smart contracts. Available on Amazon and LeanPub, it's a comprehensive introductory guide to Plutus, IOHK's Haskell-based smart contract language. Haskell is a functional programming language, which means it's easier to test and less prone to human error, so…
ワイオミングのBlockchain StampedeでCardano Day
ワイオミング大学がララミーの2024 Blockchain Stampedeでブロックチェーンイノベーションを先導
2024年 10月 21日 5 分で読めます
2024年9月16~21日、ブロックチェーン愛好家、開発者、リーダーたちが一堂に会した知識の共有と革新の一週間、第7回年次Blockchain Stampedeが開催されました。これは、世界でも有数の魅力的な暗号会議です。
ワイオミング州はブロックチェーン規制の世界的リーダーであり、暗号通貨、デジタル資産、スマートコントラクトに関連する2,000を超える法律を議論し、可決してきました。このリーダーシップはこのStampedeでも際立っており、Chris Rothfuss上院議員、Chuck Gray国務長官、Mark Gordon知事などの重要人物が見識を披露しました。
Dardano Dayイベント
教育スペシャリストのJesse SmithとAntonio Ibarra、プロダクトマネージャーのAlejandro Garcia…
ここでは、今年初めてオンライン配信したHaskellコースへのフィードバックをご紹介したいと思います。
Covid-19パンデミックにより、世界中でさまざまな予定が変更を余儀なくされたことは誰もが口にすることですが、IOGの教育部門も例外ではありませんでした。しかし、予想外だったのは、2020年世界的なロックダウンにより素晴らしいオンラインのHaskellブートキャンプを配信するという新たな機会が訪れたことです。
IOGをご存知の方は、ソフトウェア開発におけるHaskellプログラミング言語と形式手法を用いたアプローチが当社に不可欠なものであることもご存知でしょう。これは、その名称「Input Output」に現れています。したがって、オープンソースプロジェクトへの貢献、開発者の助成、その他諸々、Haskell…
Secure smart contracts with the Plutus ebook
Q&A with the IOHK Education team authors
2019年 7月 31日 6 分で読めます
The IOHK education team this month released the first edition of their new Plutus ebook: Plutus: Writing reliable smart contracts. Available on Amazon and LeanPub, it's a comprehensive introductory guide to Plutus, IOHK's Haskell-based smart contract language. Haskell is a functional programming language, which means it's easier to test and less prone to human error, so…
最新の記事
Input | Output chief scientist receives prestigious Lovelace computing award 筆者: Fergie Miller
3 December 2024
Delivering change in Ethiopia: lessons and reflections 筆者: Staff Writer
28 November 2024
Applying formal methods at Input | Output: real-world examples 筆者: James Chapman
26 November 2024