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…
最新の記事
暫定憲法委員会選挙におけるIOGの投票 筆者: Tim Harrison
27 June 2024
Ouroboros Genesisの設計更新情報 筆者: Nicolas Frisby
8 May 2024
フルP2Pノード稼働に向かって 筆者: Marcin Szamotulski
14 March 2024