I hereby claim:
- I am kaychaks on github.
- I am kaushikc (https://keybase.io/kaushikc) on keybase.
- I have a public key whose fingerprint is 7D28 A83E 1A1C CE87 4E3B DC12 604E 119F FCEF F635
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
%% | |
%% Inspired from http://phdp.github.io/posts/2015-04-05-automated-reasoning.html | |
%% | |
-module(sum_types) . | |
-export([simplify/1,print/1,main/0]) . | |
-type expr() :: myvar(string()) | const(integer()) | add(expr(),expr()) | mul(expr(),expr()) . | |
-type myvar(A) :: {var,A} . |
// Framework Code | |
trait X { | |
type T1 | |
} | |
trait X1 extends X { | |
type T1 = SomeConcreteClassT | |
} | |
type Module { |
import org.w3.banana.{Sesame,RDF,RDFModule,RDFOpsModule,TurtleWriterModule} | |
import org.apache.spark.rdd.RDD | |
// My Code | |
trait BlazeSesame extends Sesame | |
trait BlazeSesameModule extends SesameModule { | |
type Rdf = BlazeSesame | |
} | |
trait MyDependencies extends RDFModule with RDFOpsModule with TurtleWriterModule with Serializable |
trait Feedtype | |
trait Atom extends Feedtype | |
trait Rss2 extends Feedtype | |
case object Atom extends Atom | |
case object Rss2 extends Rss2 | |
trait Encoding | |
trait Xml extends Encoding | |
trait Json | |
case object Json extends Json |
/** | |
* We don't need any private projects, it's a disgrace to the development community | |
* Every project should be open and free (free as in freedom) | |
* This here is an attempt to curb such misdemeanours : | |
* | |
* * This script is going to pick every Private project in a Gitlab distribution and | |
* * clinically convert them to Internal so that everyone inside an organisation can | |
* * see it, fork it, contribute to it & enjoy the freedom of open source development | |
* | |
* Now to some technical details: |
installing | |
/private/var/folders/4m/8lbd4pzn2z73b5zjzbbpc0tc0000gn/T/nix-build-python3.7-docutils-0.14.drv-0/docutils-0.14/dist /private/var/folders/4m/8lbd4pzn2z73b5zjzbbpc0tc0000gn/T/nix-build-python3.7-docutils-0.14.drv-0/docutils-0.14 | |
Processing ./docutils-0.14-py3-none-any.whl | |
Installing collected packages: docutils | |
Successfully installed docutils-0.14 | |
/private/var/folders/4m/8lbd4pzn2z73b5zjzbbpc0tc0000gn/T/nix-build-python3.7-docutils-0.14.drv-0/docutils-0.14 | |
post-installation fixup | |
strip is /nix/store/rk3p99jbj4idl3dkkg1rxja5gz0qgs98-cctools-binutils-darwin/bin/strip | |
stripping (with command strip and flags -S) in /nix/store/48ar23qv0j3lc75dyidy7m1llij783wg-python3.7-docutils-0.14/lib /nix/store/48ar23qv0j3lc75dyidy7m1llij783wg-python3.7-docutils-0.14/bin | |
patching script interpreter paths in /nix/store/48ar23qv0j3lc75dyidy7m1llij783wg-python3.7-docutils-0.14 |
/** | |
* We don't need any private projects, it's a disgrace to the development community | |
* Every project should be open and free (free as in freedom) | |
* This here is an attempt to curb such misdemeanours : | |
* | |
* * This script is going to pick every Private project in a Gitlab distribution and | |
* * clinically convert them to Internal so that everyone inside an organisation can | |
* * see it, fork it, contribute to it & enjoy the freedom of open source development | |
* | |
* Now to some technical details: |
#!/usr/bin/env bash | |
# | |
# This script is useful to setup additional users in EC2 instances who can login with their own public keys rather than using a global public key | |
# We should do it via OpsWorks but sometimes when OpsWorks go crazy, we have to take things in our hand | |
# There will be bugs | |
# | |
declare -r script_name="add-user" | |
log () { echo >&2 "$@"; } |