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
Okay, second try at a comment. | |
I was disappointed by this video. I'm unaffiliated with any keyboard company and | |
generally appreciate distance from the displeasure of capitalism. I just like | |
keyboards. Building a genuine community brand requires more than just a quality | |
product. The human element is also your brand. And this includes respect for | |
those whose work you have built on top of (Kaleidoscope and Crysalis). I suspect | |
the Keyboard.io folk are too empathetic to participate in this competitive and | |
unfair teardown, which motivates me to author this response. |
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
$ nix-store -r /nix/store/savc6xd3rdg8y6rdmq333mfnpm76lfm8-ShellCheck-0.7.0 | |
don't know ow to build these paths: | |
/nix/store/savc6xd3rdg8y6rdmq333mfnpm76lfm8-ShellCheck-0.7.0 | |
error: build of '/nix/store/savc6xd3rdg8y6rdmq333mfnpm76lfm8-ShellCheck-0.7.0' failed |
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
let | |
src = import ./sources.nix; | |
hnSrc = src."haskell.nix"; | |
pinnedNixpkgsSrc = "${hnSrc}/nixpkgs"; | |
hnArgsOrig = import hnSrc; |
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
let | |
build = match: rec { | |
inherit match; | |
map = f: match nothing (a: just(f a)); | |
bind = f: match nothing (a: f a); | |
isJust = f: match false (a: true); | |
isNothing = f: match true (a: false); | |
show = match "Nothing" (a: "Just ${toString a}"); | |
toList = match [] (a: [a]); |
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
I understand how names are set explicitly on NIX_PATH: | |
$ NIX_PATH=nixpkgs=/nix/var/nix/profiles/per-user/root/channels/nixos \ | |
> nix eval nixpkgs.lib.version | |
"19.03pre155751.45a419ab5a2" | |
But this seems to indicate that raw paths can be put on NIX_PATH to override settings: | |
$ NIX_PATH=/home/tnks/.nix-defexpr/channels:nixpkgs=/nix/var/nix/profiles/per-user/root/channels/nixos \ | |
> nix eval nixpkgs.lib.version |
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
{-# LANGUAGE DataKinds #-} | |
{-# LANGUAGE FlexibleInstances #-} | |
{-# LANGUAGE GeneralizedNewtypeDeriving #-} | |
{-# LANGUAGE MultiParamTypeClasses #-} | |
{-# LANGUAGE PolyKinds #-} | |
{-# LANGUAGE TypeFamilies #-} | |
{-# LANGUAGE TypeOperators #-} | |
{-# LANGUAGE UndecidableInstances #-} | |
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
evaluating file '/nix/store/7bfc02z2ayj9h73qwyrbnnzy14xgrazn-nix-2.0pre5968_a6c0b773/share/nix/corepkgs/derivation.nix' | |
evaluating file '/nix/store/gxx6yxpdclzw10m5a4879q065myarllp-nixpkgs-18.03pre129212.098c7f3d945/nixpkgs/default.nix' | |
evaluating file '/nix/store/gxx6yxpdclzw10m5a4879q065myarllp-nixpkgs-18.03pre129212.098c7f3d945/nixpkgs/lib/minver.nix' | |
evaluating file '/nix/store/gxx6yxpdclzw10m5a4879q065myarllp-nixpkgs-18.03pre129212.098c7f3d945/nixpkgs/pkgs/top-level/impure.nix' | |
evaluating file '/nix/store/gxx6yxpdclzw10m5a4879q065myarllp-nixpkgs-18.03pre129212.098c7f3d945/nixpkgs/pkgs/top-level/default.nix' | |
evaluating file '/nix/store/gxx6yxpdclzw10m5a4879q065myarllp-nixpkgs-18.03pre129212.098c7f3d945/nixpkgs/pkgs/stdenv/booter.nix' | |
evaluating file '/nix/store/gxx6yxpdclzw10m5a4879q065myarllp-nixpkgs-18.03pre129212.098c7f3d945/nixpkgs/lib/default.nix' | |
evaluating file '/nix/store/gxx6yxpdclzw10m5a4879q065myarllp-nixpkgs-18.03pre129212.098c7f3d945/nixpkgs/lib/lists.nix' | |
evaluating file '/nix/store/gxx6yxpd |
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
default-directory "/home/shajra/src/work/c12e-ml-imf/frontend/web/" | |
dante-command-line ("nix-shell" "--pure" "--run" "cabal new-repl --ghc-options=-ignore-dot-ghci" "/home/shajra/src/work/c12e-ml-imf//shell.nix") | |
dante-state running | |
dante-queue (#[128 "r\302\301!q\210\212\301b\210\303\300\"*\207" [#[514 "\305\300\203 \306\202 | |