romange

#!/usr/bin/env python

import boto
import moto, sys
from moto import mock_s3

def my_prod_code(bucket):
    for k in bucket.list(prefix='foo'):
        print k.name, k.get_contents_as_string()

romange

// Compile with:
// g++ -std=c++11 -O3  -mavx  1.cc && ./a.out
#include <vector>
#include <memory>
#include <cstdint>

using namespace std;

__attribute__ ((noinline))
void SerializeTo(const vector<uint64_t>& v, uint8_t* dest) {

romange

Hello

romange

#include <sys/mman.h>
#include <unistd.h>
#include <stdio.h>
#include <string.h>
#include <stdlib.h>

/* On 48-bit addressing schemes you can mmap any non-reserved address between
  0 and 0x7FFFFFFFFFFF. You can try to pass 0x7fffffffe000 or 0 when running this program.
*/
int main(int argc, char* argv[]) {

romange

package main

import (
        "fmt"
        "github.com/aws/aws-sdk-go/aws"
        "github.com/aws/aws-sdk-go/aws/session"
        "github.com/aws/aws-sdk-go/service/s3/s3manager"
        "os"
        "strconv"
        "time"

romange

#!/bin/bash

# run it via
# wget -O - https://gist.githubusercontent.com/romange/a082bef5636f994b63e2239ecff28abc/raw/setup_ws.sh 2> /dev/null \
# | sudo -E bash -

apt-get update
apt-get -y upgrade

# for Dev prerequisites

romange

• 0.1. References
• 0.2. Other cheatsheets
• 0.3. Manage multiple gcloud config configurations
  • 0.3.1. Switch gcloud context with gcloud config
• 0.4. Credentials
• 0.5. info
• 0.6. projects
• 0.7. zones & regions
• 0.8. Organization
• 0.9. billing

romange

Papers

Time clock and the ordering of events in a distributed system

Consensus on Transaction Commit

An empirical study on the correctness of formally verified distributed systems

Byzantizing Paxos by Refinement

romange

#!/usr/bin/env python3

import numpy as np
import matplotlib.pyplot as plt
import webbrowser

def uniform_bin_filling(N_balls, K_bins):
  bins = np.zeros(K_bins, dtype=int)
  for i in range(N_balls):
    bins[np.random.randint(0, K_bins)] += 1

romange

#!/usr/bin/env python3

import redis,secrets

# Connect to Redis server
r = redis.Redis(host='localhost', port=6379, db=0)


# Initialize variables
total_numbers = 100_000_000