chessai chessai
chessai
/ arpdiff.hs
Created
June 14, 2018 15:06
This file contains hidden or 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 DeriveGeneric #-} | |
| import Data.Map.Strict (Map) | |
| import qualified Data.Map as M | |
| import qualified Data.Map.Merge.Strict as MS | |
| import Net.Types (IPv4, Mac) | |
| -- | Datatype encoding a difference between MACs associated with the same key | |
| data DeltaMac = DeltaMac | |
| { oldMac :: Mac |
chessai
/ printTHese.txt
Created
June 19, 2018 21:26
This file contains hidden or 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
| https://www.microsoft.com/en-us/research/uploads/prod/2018/03/build-systems.pdf | |
| https://cs.brynmawr.edu/~rae/papers/2018/stitch/stitch.pdf | |
| http://www.cse.chalmers.se/~russo/publications_files/pearl-russo.pdf | |
| http://www.cse.chalmers.se/~russo/publications_files/pearl-russo.pdf | |
| http://web.engr.oregonstate.edu/~walkiner/papers/jfp09-hagl.pdf | |
| http://www.staff.city.ac.uk/~ross/papers/Applicative.pdf | |
| http://www.seas.upenn.edu/~sweirich/papers/cast/cast.pdf | |
| https://www.informatik.uni-kiel.de//~sad/icfp2016-preprint.pdf |
chessai
/ fmapSvL.hs
Created
July 30, 2018 23:25
This file contains hidden or 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 BangPatterns #-} | |
| {-# LANGUAGE ScopedTypeVariables #-} | |
| {-# OPTIONS_GHC -O2 -fforce-recomp #-} | |
| module Main (main) where | |
| import Criterion.Main | |
| import Control.Monad | |
| import Data.Int |
chessai
/ sad.c
Created
July 31, 2018 03:08
— forked from neoeno/sad.c
This file contains hidden or 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
| #include <stdio.h> | |
| #include <unistd.h> | |
| #include <string.h> | |
| #include <time.h> | |
| #include <stdlib.h> | |
| const char* RESET = "\x1B[0m"; | |
| const char *COLORS[] = { "\x1B[31m", "\x1B[32m", "\x1B[33m", "\x1B[34m", "\x1B[35m", "\x1B[36m" }; | |
| int main() { |
chessai
/ sad.c
Created
July 31, 2018 03:08
— forked from neoeno/sad.c
This file contains hidden or 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
| #include <stdio.h> | |
| #include <unistd.h> | |
| #include <string.h> | |
| #include <time.h> | |
| #include <stdlib.h> | |
| const char* RESET = "\x1B[0m"; | |
| const char *COLORS[] = { "\x1B[31m", "\x1B[32m", "\x1B[33m", "\x1B[34m", "\x1B[35m", "\x1B[36m" }; | |
| int main() { |
This file contains hidden or 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
| #include <stdio.h> | |
| #include <unistd.h> | |
| #include <string.h> | |
| #include <time.h> | |
| #include <stdlib.h> |
chessai
/ gist:5cb1fe2cd704c5713d335f1b538a847b
Created
August 9, 2018 14:59
This file contains hidden or 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/2c8srnaawdsq4g42zk2lmjhd430qnmca-aeson-1.2.2.0.drv | |
| +---/nix/store/9krlzvny65gdc8s7kpb6lkx8cd02c25b-default-builder.sh | |
| +---/nix/store/2ff99ggdn452nrz8fylk2r80783ap2px-gnugrep-3.1.drv | |
| | +---/nix/store/136pix4jkygp9vz7h33gqlaghsydwvhy-grep-3.1.tar.xz.drv | |
| | +---/nix/store/9krlzvny65gdc8s7kpb6lkx8cd02c25b-default-builder.sh [...] | |
| | +---/nix/store/w3xksy5k5rywl4z27v7gi8yafb7ci2sw-bootstrap-tools.drv | |
| | | +---/nix/store/b7irlwi2wjlx5aj1dghx4c8k3ax6m56q-busybox.drv | |
| | | +---/nix/store/drsdq2ca1q1dj1hd0r1w2hl4s0fak1vh-bootstrap-tools.tar.xz.drv | |
| | | +---/nix/store/pvn8nrg8aziwsc7yy8wkgxf4s9amnl3d-unpack-bootstrap-tools.sh | |
| | +---/nix/store/w4s5n5za125y8hyqyqzi57v6hajvrwp2-bootstrap-stage4-stdenv-linux.drv |
chessai
/ gist:e4ad506583b010cdbc07e4aac57a84e0
Created
August 9, 2018 15:01
This file contains hidden or 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/jb0yfmwxcavk62rmb5f26xgh9cwjhmnx-cabal2nix-interface.drv | |
| +---/nix/store/60101705hbqwba38kp28sqa9bykmvq68-interface | |
| +---/nix/store/9krlzvny65gdc8s7kpb6lkx8cd02c25b-default-builder.sh | |
| +---/nix/store/z7pkrfk5fmggdzyhpjzxv0bfx6mxvh75-bash-4.4-p23.drv | |
| | +---/nix/store/20sqhza7ab7ah73bxj1ydzx7b4y0fs8f-bash44-021.drv | |
| | +---/nix/store/29w58xpj3jhbv2bppxiyid5icfhfayp1-bash44-012.drv | |
| | +---/nix/store/9krlzvny65gdc8s7kpb6lkx8cd02c25b-default-builder.sh [...] | |
| | +---/nix/store/w3xksy5k5rywl4z27v7gi8yafb7ci2sw-bootstrap-tools.drv | |
| | | +---/nix/store/b7irlwi2wjlx5aj1dghx4c8k3ax6m56q-busybox.drv | |
| | | +---/nix/store/drsdq2ca1q1dj1hd0r1w2hl4s0fak1vh-bootstrap-tools.tar.xz.drv |
chessai
/ gist:551e6f8ea8c59d0d5b406ab2aa2fc607
Created
August 9, 2018 15:10
This file has been truncated, but you can view the full file.
This file contains hidden or 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/1fz32rhf62znsg60np1a3qdnpnpzsw4n-interface-0.2.drv | |
| +---/nix/store/9krlzvny65gdc8s7kpb6lkx8cd02c25b-default-builder.sh | |
| +---/nix/store/2ff99ggdn452nrz8fylk2r80783ap2px-gnugrep-3.1.drv | |
| | +---/nix/store/136pix4jkygp9vz7h33gqlaghsydwvhy-grep-3.1.tar.xz.drv | |
| | +---/nix/store/9krlzvny65gdc8s7kpb6lkx8cd02c25b-default-builder.sh [...] | |
| | +---/nix/store/w3xksy5k5rywl4z27v7gi8yafb7ci2sw-bootstrap-tools.drv | |
| | | +---/nix/store/b7irlwi2wjlx5aj1dghx4c8k3ax6m56q-busybox.drv | |
| | | +---/nix/store/drsdq2ca1q1dj1hd0r1w2hl4s0fak1vh-bootstrap-tools.tar.xz.drv | |
| | | +---/nix/store/pvn8nrg8aziwsc7yy8wkgxf4s9amnl3d-unpack-bootstrap-tools.sh | |
| | +---/nix/store/w4s5n5za125y8hyqyqzi57v6hajvrwp2-bootstrap-stage4-stdenv-linux.drv |
chessai
/ gist:6e432a5eff38c1b2c5f68d68a32216ae
Created
August 9, 2018 15:26
This file contains hidden or 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/x5byfq70l9lmvwshg0b5qa4ikc8yhdvf-jsaddle-0.9.5.0.drv": { | |
| "outputs": { | |
| "out": { | |
| "path": "/nix/store/ym3x6vmfhzq675flr8qw7q2pgz1y39g9-jsaddle-0.9.5.0" | |
| } | |
| }, | |
| "inputSrcs": [ | |
| "/nix/store/4mdp8nhyfddh7bllbi7xszz7k9955n79-Setup.hs", | |
| "/nix/store/9krlzvny65gdc8s7kpb6lkx8cd02c25b-default-builder.sh" |