vjabrayilov

public static void main(String[] args) throws InterruptedException {
    if(args.length != 1)
        System.exit(-1);
    var type = args[0];
    var lock = new ReentrantLock();
    var numThreads = 100;
    var numOperations = 1000000;
    Thread[] threads = new Thread[100];
    final long[] counter = {0};
    Runnable runnable = ()->{

vjabrayilov

package paxos;

import io.grpc.stub.StreamObserver;
import java.time.Instant;
import java.util.concurrent.atomic.AtomicLong;
import java.util.concurrent.locks.ReentrantLock;
import log.Log;
import multipaxosrpc.HeartbeatRequest;
import multipaxosrpc.HeartbeatResponse;
import multipaxosrpc.MultiPaxosRPCGrpc;

vjabrayilov

EXTENDS Naturals, Sequences

CONSTANTS Producers,   
          Consumers,   
          BufCapacity, 
          Data         

ASSUME /\ Producers # {}                      
       /\ Consumers # {}                      
       /\ Producers \intersect Consumers = {} 

vjabrayilov

\documentclass{book}

\usepackage{blindtext}
\usepackage{titlesec}
\usepackage{linegoal}


\titleformat{\chapter}[block]
{\normalfont\bfseries}
{%\LARGE\thechapter}

vjabrayilov

vjabrayilov

vjabrayilov

vjabrayilov

Essential JavaScript Links

I use the Essential JavaScript Links list almost daily. I add to it when I find more links that I think every JS developer should know about. I want to make it easier to scan, and easier for users to suggest new links. We're going to turn it into a proper website, so...

The List has a New Home:

The Essential JavaScript Links List

Please visit there and open an issue if you have any suggestions.