Skip to content

Instantly share code, notes, and snippets.

@bishboria
bishboria / springer-free-maths-books.md
Last active April 25, 2024 06:27
Springer made a bunch of books available for free, these were the direct links
@bitemyapp
bitemyapp / gist:8739525
Last active May 7, 2021 23:22
Learning Haskell
@pozorvlak
pozorvlak / sitrep.md
Last active January 17, 2016 23:54
CRDT/Semilattice SITREP

Here's where I understand the state of the art to be:

  • In this INRIA tech report, Shapiro, Preguiça, Baquero and Zawirski (SPBZ) prove, amongst other things, that a sufficient condition for CRDTs to achieve eventual consistency on networks which may reorder and duplicate packets (which I'll call flaky networks, henceforth) is that
    1. the underlying datatype forms a semilattice,
    2. messages are full states,
    3. incoming messages are combined with the node's current state using the least-upper-bound operation in the semilattice.
  • It's possible to relax condition 2 and still achieve eventual consistency over flaky networks by fragmenting the state into independent parts and transmitting updates to each part separately. For instance, in the G-Set CRDT (an add-only bitset) one can transmit only the index of the element to be added.
  • In [these slides from a talk at Dagstuhl](http://www.dagstuhl.de/mat/Files/13/13081/13081.BaqueroCarlos.Sl
@pbailis
pbailis / gist:5660980
Last active April 27, 2020 11:46
Assorted distributed database readings

Context: I was asked for a list of interesting reading relating to "distributed databases, behavior under partitions and failures, failure detection." Here's what I came up with in about an hour.

For textbooks, "Introduction to Reliable and Secure Distributed Programming" is a superb introduction to distributed computing from a formal perspective; it's really not about "programming" or "engineering" but about distributed system fundamentals like consensus, distributed registers, and broadcast. Used in Berkeley's Distributed Computing course (and HT to @lalithsuresh) Book Site

Notes from courses like Lorenzo Alvisi's Distributed Computing class can be great.

There are a bunch of classics on causality, [Paxos](ht

@sreeix
sreeix / Coding Assignment.markdown
Last active December 13, 2015 21:48
Coding Assignment

I am sure you have heard about memcached. It is a classic key value store. Maintaining a O(1) execution time for most operations.

What We'd like you to implement is memcached in ruby(or the language of your choice)

I normally start memcached this memcached -m 1280 -vv (Actually I use -t 6, but ignore it for now)

Where -m is the amount of memory to allocate and -vv is the verbosity of the logs.

@dmytro
dmytro / ssh-multi.sh
Created October 31, 2012 03:46
Start multiple synchronized SSH connections with Tmux
#!/bin/bash
# ssh-multi
# D.Kovalov
# Based on http://linuxpixies.blogspot.jp/2011/06/tmux-copy-mode-and-how-to-control.html
# a script to ssh multiple servers over multiple tmux panes
starttmux() {
if [ -z "$HOSTS" ]; then
@adammw
adammw / README.md
Created August 3, 2012 06:30
Node.js for Raspberry Pi

Node.js for Raspberry Pi

Pre-built binaries

Recent releases have been pre-built using cross-compilers and this script and are downloadable below.

If you have found these packages useful, give me a shout out on twitter: @adammw

@erikh
erikh / hack.sh
Created March 31, 2012 07:02 — forked from DAddYE/hack.sh
OSX For Hackers
#!/usr/bin/env sh
##
# This is script with usefull tips taken from:
# https://github.com/mathiasbynens/dotfiles/blob/master/.osx
#
# install it:
# curl -sL https://raw.github.com/gist/2108403/hack.sh | sh
#
@sreeix
sreeix / gist:1790221
Created February 10, 2012 15:18
My New publickey
ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQDZIQY04o7NdG4QmJ3uMSYWV06fYDYIDhqyGGswItkzC52Zf5FirAblJO6ypgGjPN/Ivo69sZPR5NMxwNV9RhUw9f4NEuYc2vZuhXUXdgZhWBXGtI9FykkStpG9VBp/8ZF1GUQmxcDqoLYT3P1vLMkUU5f54C6OakHtOp3WvqeZmQLwfuBy6szRVQQaxj4+ySZw/T4p/lVe5ODhQWytxbFXxQiaiZ2VHMKCpV7zhECfmTCmK/pINJVIU1d77inuuU6RUJrRtjh0Msdx3Qez7vE6FCQK7iBYJPpGFj9fqTqablWglom4dDc/bDznjHg+7RaTPjugL+NceZD0S03HLAg1 v@gadaffi.local