2 posts tagged with "programming"
View All Tags
TEMPORAL
―
Apr 3, 2018
Programming with Linear Temporal Logic Operators
At Matrix AI our research into language constructs for formally describing distributed systems has led us to a concept
NIX
―
Mar 24, 2018
Developing with Nix (C, JavaScript, Python, Haskell, Emscripten, PHP)
Nix, NixOS and NixPkgs allows us to create project-specific development environments with project-specific