Lorin Hochstein (@lorin)
github

lorin

Twitter logo Share LinkedIn logo Share Facebook logo Share

Top repositories

1

resilience-engineering

Resilience engineering papers
2,803
star
2

ansible-quickref

Quick reference for Ansible variables
964
star
3

ansiblebook

Code samples from the book "Ansible: Up and Running"
Python
324
star
4

awesome-limits

Examples of OS / system limits
250
star
5

systems-reading

Systems and failure reading list
180
star
6

cognitive-systems-engineering

101
star
7

devstack-vm

Boot a VM and auto-install devstack
Python
80
star
8

messiness

Messiness reading list
55
star
9

availability-reading

High availability reading list
49
star
10

res-eng-short-course-notes

Notes on David Woods's Resilience Engineering short course
39
star
11

dns-alloy

Modeling DNS with Alloy
36
star
12

tla-linearizability

Reading the linearizability paper with TLA+
TLA
31
star
13

openstack-hackspace

Exercises for OpenStack Hackspace at USENIX LISA '13
30
star
14

systems-thinking

Overview of different schools of systems thinking
29
star
15

ansible-docker-connection

Docker connection plugin for Ansible
Python
26
star
16

engineering-reading

Engineering reading list
21
star
17

cheat-sheets

Ruby
20
star
18

major-incidents

A sample of major outages and incidents
18
star
19

epidemic-register

Beating the CAP theorem with the epidemic register
TLA
16
star
20

booknotes

Notes about books I've read
16
star
21

alb-alloy

Modeling AWS application load balancers using Alloy
13
star
22

tla-boat

9
star
23

image-guide

Guide to creating VM images
7
star
24

ansible-resources

User contributed modules, playbooks, scripts, and articles
6
star
25

mezzanine-example

Python
5
star
26

raft-pluscal

TLA
4
star
27

vim.ftplugin

FoldingText plugin for vim bindings
JavaScript
4
star
28

ansible-mezzanine

Python
4
star
29

try-except-c

Playing with setjmp/longjmp
C
4
star
30

alloy-consistency

Modeling eventual consistency with Alloy
Alloy
4
star
31

sheetdown

Google Sheets β†’ Markdown
Clojure
3
star
32

tla-tortoise-hare

TLA
3
star
33

mezzanine-paas

Deploy Mezzanine on PaaS platforms
JavaScript
3
star
34

cook-lectures-notes

Notes on Dr. Richard Cook's lectures on the study of cognitive work
3
star
35

tla-prophecy

Applying Prophecy variables in TLA+ to the Herlihy & Wing paper
TLA
3
star
36

mysetup

Personal config stuff
3
star
37

big-ideas

Big ideas that have influenced me
3
star
38

code-reviews

Guidance on doing code reviews
3
star
39

paxos-poec

Paxos modeled in Alloy using Burckhardt's approach
Alloy
3
star
40

eng-qua-eng

Engineering as described by engineers
2
star
41

shelllogger

Automatically exported from code.google.com/p/shelllogger
Python
2
star
42

failure-mode-bestiary

A collection of failure modes observed in software systems
2
star
43

alloy-consistency-models

Reading "A Framework for Transactional Consistency Models with Atomic Visibility" with alloy
Alloy
2
star
44

camp-devops-talk

1
star
45

roamjs-daily-zettles

A RoamJS plugin to show zettles each day
TypeScript
1
star
46

ipython-cumsum

1
star
47

clh-tla

Modeling a CLH lock in TLA+
TLA
1
star
48

ostack

Humane Python bindings for OpenStack
Python
1
star
49

uvalde

1
star
50

minecraft-forge-tutorial

Simple Minecraft Forge tutorial
CSS
1
star
51

cheat

Generate Dash cheat sheets
Go
1
star
52

md-alloy

Alloy models of aspects of Managed Delivery
Alloy
1
star
53

zotero-bb

Script for randomly selecting a paper from a zotero collection
Clojure
1
star
54

dotfiles

Vim Script
1
star
55

teaching-concurrency

Proof of the problem in Lamport's "Teaching Concurrency" paper
TLA
1
star
56

tla-tree

1
star
57

lorin.github.com

HTML
1
star
58

futex-tla

Modeling futexes in TLA+
TLA
1
star
59

transactions-reading-list

A reading list of interesting papers related to database transactions
1
star