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
Black Hawk up: flying with heroes in the wake of Hurricane Helene by Fernando Sanchez
29 October 2024
Cardano Day at the Wyoming Blockchain Stampede by Alejandro Garcia
21 October 2024
DIDComm gets formal by Jesus Diaz Vico
16 October 2024