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…
最新の記事
Call for proposals: fundamental research in blockchain technology to advance the Cardano ecosystem 筆者： Fergie Miller
17 November 2025
Cardanoの基盤強化：2025年第3四半期の進捗レポート 筆者： Olga Hryniuk
29 October 2025
HydraによるCardanoアプリケーションのスケーリング 筆者： Olga Hryniuk
27 October 2025