Skip to content

Instantly share code, notes, and snippets.

View figaw's full-sized avatar
:octocat:
Config as Code? Kong Figaw's Code!

Nicolaj Græsholt figaw

:octocat:
Config as Code? Kong Figaw's Code!
View GitHub Profile
\section{A.2}
\[ (A_ 1 \cup A_2 ) \cap A_3 = (A_1 \cap A_3) \cup (A_2 \cap A_3) \]
\[ x \in (A_1 \cup A_2) \cap A_3 \to x \in (A_1 \cup A_2) \wedge x \in A_3 \to ( x \in A_1 \vee x \in A_2) \wedge x \in A_3 \]
\[ \to (x \in A_1 \wedge x \in A_3) \vee (x \in A_2 \wedge x \in A_3) \to x \in (A_1 \cap A_3) \vee x \in (A_2 \cap A_3) \]
\[ \to x \in (A_1 \cap A_3) \cup (A_2 \cap A_3) \]
@figaw
figaw / gist:4041899
Created November 8, 2012 21:47
university dOpSys WEEK1
/***** testmini.c *****/
#include <stdio.h>
int main(int argc, char* argv[]){
printf("hello, world %s\n", argv[1]);
}
@figaw
figaw / service-account.yaml
Created February 1, 2018 14:45
service-account-for-kubernetes-dashboard
apiVersion: rbac.authorization.k8s.io/v1beta1
kind: ClusterRoleBinding
metadata:
name: kubernetes-dashboard
labels:
k8s-app: kubernetes-dashboard
roleRef:
apiGroup: rbac.authorization.k8s.io
kind: ClusterRole
name: cluster-admin
@figaw
figaw / .tmux.conf
Last active September 13, 2018 09:50
tmux basic configuration for labs.play-with-k8s.com
# To get this configuration down,
# curl url-to-raw-gist -o ~/.tmux.conf
#
# Commands are from blogpost,
# http://www.hamvocke.com/blog/a-guide-to-customizing-your-tmux-conf/
#
# if TMUX ain't reading the config, exit and use
# tmux source-file ~/.tmux.conf
# switch panes using Alt-arrow without prefix (ESC is the meta key)
{
"name": "flare",
"children": [
{
"name": "./Documentation",
"children": [
{
"name": "Johannes Schindelin",
"size": 20
},
{
"name": "flare",
"children": [
{
"name": "./block-sha1",
"children": [
]
},
{
@figaw
figaw / contribs-wo-contrib-contribcomp-po
Created January 16, 2019 13:50
from contribs-wo-t-builtin-docs
{
"name": "flare",
"children": [
{
"name": "./block-sha1",
"children": [
]
},
{
{
"name": "flare",
"children": [
{
"name": "./block-sha1",
"children": [
]
},
{
{
"name": "flare",
"children": [
{
"name": "./compat",
"children": [
{
"name": "Anton Serbulov",
"size": 1,
"color": "#FEED4E"
{
"name": "flare",
"children": [
{
"name": "./QueueRemote",
"children": [
{
"name": "Stormy Metsky",
"size": 4,
"color": "#E873B2"