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…
最新の記事
Input | Output Research invites community feedback on mid-year research progress 筆者: Ivan Irakoze
29 August 2025
アイデアから実装まで:IO研究開発の考察 筆者: Nicolas Biri
26 August 2025
Cardanoのためのゼロ知識証明が実現:Halo2-Plutus検証ツール 筆者: Kris Bennett
26 August 2025