I hereby claim:
- I am xav on github.
- I am xbasty (https://keybase.io/xbasty) on keybase.
- I have a public key ASAR7DP7aoeBpgIcLGzYBzFRDkXg7oGZ9ivPy8T1nf268Qo
To claim this, I am signing this object:
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| for i in `git branch -a |grep remotes |awk '{print $1}' | cut -d"/" -f 3,4,5 |grep -v ^master$ |grep -v ^main$ |grep -v ^HEAD$`; do echo "$i;`git log -1 --pretty=format:\"%an (%ae);%at\" origin/$i`"; done |sort > branches.csv |
xav
/ gist:5afc3da6d02d50aea41175b1e91ab3c9
Created
October 12, 2016 08:05
— forked from anonymous/gist:161265
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| == Rules == | |
| On Infrastructure | |
| ----------------- | |
| There is one system, not a collection of systems. | |
| The desired state of the system should be a known quantity. | |
| The "known quantity" must be machine parseable. | |
| The actual state of the system must self-correct to the desired state. | |
| The only authoritative source for the actual state of the system is the system. | |
| The entire system must be deployable using source media and text files. |
xav
/ keybase.md
Last active
November 22, 2021 18:02
xav
/ type-bounds.scala
Created
August 19, 2014 08:03
— forked from retronym/type-bounds.scala
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| class A | |
| class A2 extends A | |
| class B | |
| trait M[X] | |
| // | |
| // Upper Type Bound | |
| // | |
| def upperTypeBound[AA <: A](x: AA): A = x |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| _q1 | |
| .set(q1.q) | |
| .exp() | |
| .assignAdd( | |
| _q1.clone().mulQ(q2.q).log().q, | |
| _q1.clone().mulQ(q0.q).log().q | |
| ) | |
| .mulScalar(-0.25) | |
| .exp(); | |
| a.set(q1.q).mulQ(_q1.q); |