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 "$@"; } |