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…
最新の記事
Quality Engineering at IO: bridging research and reality in software development 筆者： Ivan Irakoze
20 November 2024
ブラックホーク空へ：ハリケーン「へリーン」を受けて英雄達を輸送 筆者： Fernando Sanchez
29 October 2024
ワイオミングのBlockchain StampedeでCardano Day 筆者： Alejandro Garcia
21 October 2024