kiennt

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

kiennt

{
  "email": "[email protected]",
  "pass": "",
  "client_id": "",
  "client_secret": "",
  "redirect_uri": "http://localhost:3000"
}

kiennt

class FiboUsingDictionary                                                            
  include Singleton                                                                  
                                                                                     
  def initialize                                                                     
    @fib = { 0 => 1, 1 => 1 }                                                        
  end                                                                                
                                                                                     
  def [](n)                                                                          
    return @fib[n] if @fib.include? n                                                
    @fib[n] = self[n -1] + self[n - 2]                                               

kiennt

require 'sinatra'
require 'redis'
require 'json'
require 'date'

class String

  def &(str)
    result = ''
    result.force_encoding("BINARY")