I hereby claim:
- I am seansu4you87 on github.
- I am seansu4you87 (https://keybase.io/seansu4you87) on keybase.
- I have a public key ASBKrLo6EelPkJ4CplXhQTbpVUrELwmYf0gYTPM2HQUwzgo
To claim this, I am signing this object:
--------------------- MODULE VitessDeadMasterRecovery2 --------------------- | |
EXTENDS Integers, TLC, FiniteSets, Sequences | |
CONSTANTS NULL | |
\* Orc state machine | |
CONSTANTS ORC_RECV, | |
\* Send <disconnect_ssr, replica: 1> messages to replicas | |
\* - Replica should change ssr_master to NULL | |
\* - process_write_storage_request needs to response a NULL value in ssr_master |
const parachuteMachine = Machine({ | |
"id": "parachute", | |
"initial": "fresh", | |
"states": { | |
"fresh": { | |
"on": { | |
"transition_to_auth": "auth", | |
"transition_to_loan_application": "loan_application", | |
"transition_to_active": "active" | |
} |
I hereby claim:
To claim this, I am signing this object:
describe "Replica Reads Resilience" do | |
it "can survive replica failure" do | |
shard_1_query = User.where(id: 1) | |
shard_2_query = User.where(id: 2) | |
expect(shard_1_query.count).to eq(1) | |
expect(shard_2_query.count).to eq(1) | |
task = pod_failure :create, "vttablet-shard1-replica2" | |
task.join |
import time | |
import uuid | |
class Cart: | |
@classmethod | |
def get(cls, id): | |
return Cart() | |
def __init__(self): |
class Parser | |
end | |
class ChatEngine | |
# Jordan's Black Box | |
class State | |
attr_reader :raw | |
def initialize(raw) |
require "ostruct" | |
require "securerandom" | |
module GenServer | |
class << self | |
def call(pid, method, *args) | |
entry = fetch_entry(pid) | |
value, state = entry.module.send(method, entry.state, *args) | |
entry.state = state | |
update_entry(pid, entry) |
{-# LANGUAGE ConstraintKinds #-} | |
{-# LANGUAGE GeneralizedNewtypeDeriving #-} | |
module ParserCombinators where | |
{- | |
We'll build a set of parser combinators from scratch demonstrating how | |
they arise as a monad transformer stack. Actually, how they arise as a | |
choice between two different monad transformer stacks! |
/dev
directory./dev/fd
. Files there are given a number, known as a file descriptor. There are three default streams:/dev/fd/0
/dev/fd/1
/dev/fd/2