You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Since macOS Catalina, the root drive is read-only. The solution is to create a separate APFS volume and a “synthetic” /nix directory which points to it:
# Check if /nix exists, if not:
echo 'nix' | sudo tee -a /etc/synthetic.conf
# this will create a "synthetic" empty directory /nix
# REBOOT so macOS sees the synthetic directory
# After rebooting, create an APFS volume for Nix
First attempt to implement 2-3 tree as outlined in the "Finger Trees: A Simple General-purpose Data Structure" paper
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
building '/nix/store/dkmy7cp9dqb2xqnjx1x3lgarn5y2kv07-all-cabal-hashes-component-stylish-haskell-0.9.2.2.drv'...
tar: */stylish-haskell/0.9.2.2/stylish-haskell.json: Not found in archive
tar: */stylish-haskell/0.9.2.2/stylish-haskell.cabal: Not found in archive
tar: Exiting with failure status due to previous errors
builder for '/nix/store/dkmy7cp9dqb2xqnjx1x3lgarn5y2kv07-all-cabal-hashes-component-stylish-haskell-0.9.2.2.drv' failed with exit code 2
cannot build derivation '/nix/store/d9281ziwi2rkfrk40w1y55krxym43p93-cabal2nix-stylish-haskell-0.9.2.2.drv': 1 dependencies couldn't be built
error: while evaluating the attribute 'buildInputs' of the derivation 'ghc-shell-for-packages' at /nix/store/zrz1pihi0blg5mzchv19agqkjxd2vlag-nixos-release-19.03/pkgs/development/haskell-modules/make-package-set.nix:301:9:
while evaluating 'getOutput' at /nix/store/zrz1pihi0blg5mzchv19agqkjxd2vlag-nixos-release-19.03/lib/attrsets.nix:464:23, called from undefined position:
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Learn how to use TLA+ to study, design and specify your algorithms. This workshop is designed to teach you about TLA+ from the ground up. We will start with simple distributed algorithms and slowly move toward more complex ones. Knowledge you gain can be immediatly applied at work next day after the workshop
Description:
TLA+ is a formal specification language developed by Leslie Lamport, designed to specify, model, document, and verify concurrent systems. It empowers your ability to clearly specify your design choices in the form of a formal specification, but also (even more importantly) can formally verify that your design choice is correct—meaning that it is both safe (does not break any rules) and live (over time it converges toward the result).
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters