How we use Nix at IOHK
6 February 2019 10 mins read
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…
Recent posts
Approaching full P2P node operations by Marcin Szamotulski
14 March 2024
Announcing XSY: accelerate economic value by Sean Ford
28 February 2024
Unlocking more opportunities with PlutusV3 by Olga Hryniuk
12 February 2024