ブログ > 2019
Hundreds attend the IOHK Summit 2019 in Miami
New products, Cardano progress and industry issues in focus at event
2019年 4月 29日 7 分で読めます
Government ministers, industry professionals, and Cardano fans were at the IOHK Summit 2019 in Miami this month, excited to hear IOHK CEO Charles Hoskinson outline the future for Cardano and launch Atala, the company’s enterprise offering for business. Hosted at the Miami Beach Convention Center, the summit saw renowned speakers such as computer scientist Stephen Wolfram and…
New Shelley formal specifications complete
Formal specifications for delegation and incentives published
2019年 4月 16日 3 分で読めます
The goal of the Cardano Shelley era is to bring full decentralization to Cardano, moving beyond the federated epoch and handing control of the ledger over to the community via stake pools. As part of the process of delivering Shelley, we create formal specifications which allow us to verify that the final code is in line with what the researchers initially envisaged in their…
In at the deep end in Addis
Keen students beat challenges to discover smart contracts
2019年 4月 8日 4 分で読めます
I started with IOHK in May 2018 as a formal methods developer working on two components of Cardano, neither of which involved writing Haskell code. Because of my expertise in logic, type theory, proof assistants, and theoretical computer science, I became part of the team without having much Haskell experience, even though it is the main language we use. So, I was surprised…
Training blockchain developers in Africa
Women from Ethiopia and Uganda get to grips with Haskell
2019年 4月 4日 10 分で読めます
When I got off the plane at Bole airport in Addis Ababa on the evening of January 4, I did not know what to expect. It was my first time in Ethiopia, and all I knew was that my Canadian colleague Dr Polina Vinogradova, an IOHK formal methods expert, and I were supposed to teach a three-month-long Haskell course to a class of young Ethiopian and Ugandan women. When our students…
Cardano reaches development milestone
Engineers conclude Byron phase as Shelley work progresses
2019年 3月 22日 6 分で読めます
The release of Cardano 1.5 marks the start of the shift from the Cardano Byron era to the Shelley era and is an excellent opportunity to describe the ongoing work for Shelley and how the transition will happen. Roughly six months ago, we switched almost all our development efforts to the Shelley code base, and work has been progressing quickly ever since. The last major work in…
最新の記事
Input | Output@東工大:ブロックチェーン技術の限界を押し広げる 筆者: Olga Hryniuk
5 September 2024
Chang upgrade: a big step in changing the world with Cardano 筆者: Anthony Quinn
30 August 2024
Introducing Ricky Rand, general manager at Input | Output Engineering 筆者: Fernando Sanchez
16 August 2024