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
New programmable token design proves Cardano's freeze-and-seize capabilities by Jann Müller
12 March 2025
From Convention to ratification: the Cardano Constitution by Fernando Sanchez
27 February 2025
Plutus Tx gets a makeover: meet Plinth by Ziyang Liu
20 February 2025