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…
最新の記事
プログラム可能なトークンの新設計でCardanoの「凍結と押収」機能を実証 筆者： Jann Müller
12 March 2025
Cardano憲法：制定会議から批准までの道のり 筆者： Fernando Sanchez
27 February 2025
Plutus TxがPlinthに衣替え 筆者： Ziyang Liu
20 February 2025