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…
最新の記事
フルP2Pノード稼働に向かって 筆者: Marcin Szamotulski
14 March 2024
28 February 2024
Plutus V3でもっと多くのチャンスを引き出す 筆者: Olga Hryniuk
12 February 2024