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 response to the recent SEC filings 筆者: Input Output
7 June 2023
Marloweリリース:Marloweのスマートコントラクトツールセットが持つ力をいち早く体験 筆者: Fernando Sanchez
1 June 2023
Atala PRISM:分散型ソリューションでデジタルIDを先駆け 筆者: Olga Hryniuk
11 May 2023