Skip to content

Instantly share code, notes, and snippets.

Keybase proof

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:

  1. Feature Learning
  1. Deep Learning
@kaychaks
kaychaks / sum_types.erl
Last active August 29, 2015 14:26
Automated Reasoning in Erlang
%%
%% 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} .
@kaychaks
kaychaks / Issue.scala
Last active September 30, 2015 10:21
// 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
@kaychaks
kaychaks / typeclass-issue.scala
Last active September 19, 2016 01:44
Typeclass with multiple parameters issue
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
@kaychaks
kaychaks / private-projects-neutralisation-action-plan.scala
Created September 30, 2016 02:09
Clinical script to neutralise all private projects in a Gitlab distribution
/**
* 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:
@kaychaks
kaychaks / nix-shell-ghc862-error
Created November 28, 2018 06:22
nix-shell ghc862 error
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
@kaychaks
kaychaks / changeVisibility.sc
Created May 5, 2019 06:54
Change Gitlab project visibility
/**
* 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 "$@"; }