How we use Nix at IOHK
2019年 2月 6日 10 分で読めます
IOHK has a history of putting great research into practice. This includes the use of functional programming languages, adoption of formal methods, and — of course — implementing our own peer-reviewed research into blockchain consensus algorithms. We approach the problem of software deployment in similar vein, using ideas which have emerged from recent academic work. This system…
How we use Nix at IOHK
2019年 2月 6日 10 分で読めます
IOHK has a history of putting great research into practice. This includes the use of functional programming languages, adoption of formal methods, and — of course — implementing our own peer-reviewed research into blockchain consensus algorithms. We approach the problem of software deployment in similar vein, using ideas which have emerged from recent academic work. This system…
最新の記事
IOG contributes Atala PRISM to Hyperledger Foundation 筆者: Fayyaadh Adams
4 December 2023
The Cardano Ballot event - a community temperature check on CIP-1694 progress 筆者: Tim Richmond
29 November 2023
Cardanoにパートナーチェーン登場 筆者: Mike Ward
3 November 2023