Skip to content

Instantly share code, notes, and snippets.

View chessai's full-sized avatar

chessai chessai

View GitHub Profile
/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
chessai / sad.c
Created July 31, 2018 03:09
sad.c
#include <stdio.h>
#include <unistd.h>
#include <string.h>
#include <time.h>
#include <stdlib.h>
@chessai
chessai / sad.c
Created July 31, 2018 03:08 — forked from neoeno/sad.c
#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
chessai / sad.c
Created July 31, 2018 03:08 — forked from neoeno/sad.c
#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() {
{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# OPTIONS_GHC -O2 -fforce-recomp #-}
module Main (main) where
import Criterion.Main
import Control.Monad
import Data.Int
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
{-# 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
#!/bin/bash
set -e
declare -a semigroupoids_reverse_deps =
(
"semigroupoids"
# "active"
"adjunctions"
"algebra"
# "apart"
1. add Foldable1 to base
2. export (#.) and (.#) from base
In file included from eigen3/Eigen/Core:464:0: error:
0,
from cbits/eigen-dense.cpp:2:
eigen3/Eigen/src/Core/MatrixBase.h:331:35: error:
warning: inline function ‘const Eigen::Inverse<Derived> Eigen::MatrixBase<Derived>::inverse() const [with Derived = Eigen::Map<Eigen::Matrix<float, -1, -1>, 0, Eigen::Stride<0, 0> >]’ used but never defined
inline const Inverse<Derived> inverse() const;
^~~~~~~
|
331 | inline const Inverse<Derived> inverse() const;