Lorin Hochstein

resilience-engineering. Resilience engineering papers

ansible-quickref. Quick reference for Ansible variables

ansiblebook. Code samples from the book "Ansible: Up and Running"

awesome-limits. Examples of OS / system limits

systems-reading. Systems and failure reading list

cognitive-systems-engineering.

devstack-vm. Boot a VM and auto-install devstack

messiness. Messiness reading list

tla-linearizability. Reading the linearizability paper with TLA+

availability-reading. High availability reading list

res-eng-short-course-notes. Notes on David Woods's Resilience Engineering short course

systems-thinking. Overview of different schools of systems thinking

dns-alloy. Modeling DNS with Alloy

booknotes. Notes about books I've read

openstack-hackspace. Exercises for OpenStack Hackspace at USENIX LISA '13

ansible-docker-connection. Docker connection plugin for Ansible

engineering-reading. Engineering reading list

futex-tla. Modeling futexes in TLA+

cheat-sheets. Ruby

major-incidents. A sample of major outages and incidents

epidemic-register. Beating the CAP theorem with the epidemic register

alb-alloy. Modeling AWS application load balancers using Alloy

snapshot-isolation-tla. Modeling snapshot isolation in TLA+

tla-prophecy. Applying Prophecy variables in TLA+ to the Herlihy & Wing paper

virtual-threads-tla. Reproduce a Java 21 virtual threads deadlock scenario in TLA+

tla-boat.

alloy-fish. Alloy

image-guide. Guide to creating VM images

mezzanine-example. Python

raft-pluscal. TLA

cook-lectures-notes. Notes on Dr. Richard Cook's lectures on the study of cognitive work

ansible-resources. User contributed modules, playbooks, scripts, and articles

ansible-mezzanine. Python

alloy-consistency. Modeling eventual consistency with Alloy

btree-tla. Modeling B-trees in TLA+

vim.ftplugin. FoldingText plugin for vim bindings

elevator-tla. Modeling a very simple elevator with TLA+

mezzanine-paas. Deploy Mezzanine on PaaS platforms

tla-tortoise-hare. TLA

ansible-modules-core. Ansible modules - these modules ship with ansible

httpie. HTTPie is a CLI, cURL-like tool for humans

sheetdown. Google Sheets → Markdown

try-except-c. Playing with setjmp/longjmp

big-ideas. Big ideas that have influenced me

paxos-poec. Paxos modeled in Alloy using Burckhardt's approach

ansible. Model-driven configuration management, multi-node deployment, and remote task execution system. The default branch is "devel", if you want stable, checkout "master"

code-reviews. Guidance on doing code reviews

clh-tla. Modeling a CLH lock in TLA+

mysetup. Personal config stuff

failure-mode-bestiary. A collection of failure modes observed in software systems

eng-qua-eng. Engineering as described by engineers

zotero-bb. Script for randomly selecting a paper from a zotero collection

things-that-will-eventually-bite-you. A list of things that will eventually bite you

camp-devops-talk.

crypto. [mirror] Go supplementary cryptography libraries

uvalde.

docker-notebook. Docker containers for the IPython notebook (+SciPy Stack)

locks-fizzbee. Modeling mutual exclusion with FizzBee