Skip to content

Instantly share code, notes, and snippets.

View barakmich's full-sized avatar

Barak Michener barakmich

383 followers · 13 following
View GitHub Profile
@barakmich
barakmich / iosevka_berkeley.css
Created March 8, 2022 23:50
iosevka_berkeley
@font-face {
font-family: "Iosevka Berkeley";
font-style: normal;
font-weight: normal;
src: url(data:font/ttf;charset-utf-8;base64,AAEAAAATAQAABAAwRkZUTZPV9lUAGcWQAAAAHEdERUZOV24DABZ67AAAAN5HUE9T/HKIxwAWx3wAAvvKR1NVQmm+SUUAFnvMAABLsE9TLzJwzIWxAAABuAAAAGBQZkVk5Bo8qwAZw0gAAAJIY21hcJg/oa8AAEfMAAAZjmN2dCAyJhOhAABwTAAAAMhmcGdtnjYV0gAAYVwAAA4VZ2FzcAAAABAAFnrkAAAACGdseWZAwqXnAAD8cAAT7jhoZWFkGN78MgAAATwAAAA2aGhlYQPT/zgAAAF0AAAAJGhtdHhlB3jJAAACGAAARbRsb2NhXXDFMAAAcRQAAItcbWF4cCVNDKgAAAGYAAAAIG5hbWXAvFB+ABTqqAAADnlwb3N0CGzYRgAU+SQAAYG+cHJlcJrYBYcAAG90AAAA1gABAAAABwEGODFPpl8PPPUAHwPoAAAAANy+ZTwAAAAA3OdSX/wY/g0D6ASeAAAACAACAAEAAAAAAAEAAAPR/zMAAAH0/Bj+DAPoAAEAAAAAAAAAAAAAAAAAAAAEAAEAACLWCDwARADAAAgAAgBsALoAjQAAAS0C7gAEAAIABAH0ASwABQAAApkCzAAAAI8CmQLMAAAB6wAzAQkICQIABAkDAAAAAAThAAL/UED9/wIEACAAAAAAVUtXTgDAAA3//wPR/u8AAAPRAREgAAEfxAAAAAISAt8AAAAgACEB9ABCAfQAAAH0AAAB9AAAAL4AdQAnADgAGQA6ANkAVQBbADUAQgCrAEIAuAA/ADoAPABAADgAOgBBADoAQgA6ADoAuACrAEIAQgA1AEAALgAwAEIAOgBCAEoAZAA6AEIASwAwAFIAZAA4AEIAOgBTADoAQgA4ADYAQ
@barakmich
barakmich / sort.idr
Created January 4, 2018 22:59
module ListProof
import Prelude.List
import Prelude.Nat
import Prelude.Bool
%access public export
ifelse : (b : Bool) -> (t : a) -> (e : a) -> a
ifelse False t e = e
@barakmich
barakmich / keybase.md
Created August 15, 2016 23:27

Keybase proof

I hereby claim:

  • I am barakmich on github.
  • I am barakmich (https://keybase.io/barakmich) on keybase.
  • I have a public key ASCZr6PP742zX92An3zzP2N00_R6_hC1CUl_Y4ErWxR5qAo

To claim this, I am signing this object:

@barakmich
barakmich / target_core_user.h
Last active June 27, 2016 18:33
#ifndef __TARGET_CORE_USER_H
#define __TARGET_CORE_USER_H
/* This header will be used by application too */
#include <linux/types.h>
#include <linux/uio.h>
#define TCMU_VERSION "2.0"
@barakmich
barakmich / agents.sh
Created April 27, 2016 21:34
etcd stress tester
sudo apt-get -y install libpcap-dev
sudo apt-get -y install ntp
sudo apt-get -y install ntpdate
sudo apt-get -y install iptables iproute2
sudo service ntp stop
sudo ntpdate time.nist.gov
sudo service ntp start
GO_VERSION="1.6.2" && cd /usr/local && sudo rm -rf ./go && sudo curl -s https://storage.googleapis.com/golang/go$GO_VERSION.linux-amd64.tar.gz | sudo tar -v -C /usr/local/ -xz && cd $HOME;
echo "export GOPATH=$(echo $HOME)/go" >> $HOME/.bashrc
@barakmich
barakmich / gist:557a2b80a24574406302
Created October 24, 2015 19:50
{
"database": "sql",
"db_path": "postgres://cayley:graph@localhost/cayley?sslmode=disable",
}
General form is postgres://[username:password@]host[:port]/database-name -- the sslmode is optional. Full details available at the SQL driver, here: https://godoc.org/github.com/lib/pq
@barakmich
barakmich / gist:3162dca81838d3501e2e
Last active August 29, 2015 14:14
CA Triples Feedback

First, let's get a summary of what's going on:

$ cat ca | cut -f 2 -d " "| sort | uniq -c

  15066 </bill/id>
  15066 </bill/session>
  51722 </bill/sponsor>
 35194
@barakmich
barakmich / gruntyQueries
Created July 12, 2014 18:01
var benchmarkQueries = []struct {
message string
query string
tag string
expect []string
}{
// Easy one to get us started. How quick is the most straightforward retrieval?
{
message: "name predicate",
@barakmich
barakmich / mwssh
Created July 26, 2010 18:51
#!/bin/bash
if [ "$1" == "" ]
then
ssh -t barak@shell.corp.metaweb.com "ssh puck.dev.sjc1.metaweb.com"
else
ssh -t barak@shell.corp.metaweb.com "ssh $1.sjc1.metaweb.com"
fi