Lorin Hochstein's repositories
resilience-engineering
Resilience engineering papers
ansiblebook
Code samples from the book "Ansible: Up and Running"
awesome-limits
Examples of OS / system limits
systems-reading
Systems and failure reading list
res-eng-short-course-notes
Notes on David Woods's Resilience Engineering short course
tla-linearizability
Reading the linearizability paper with TLA+
cook-lectures-notes
Notes on Dr. Richard Cook's lectures on the study of cognitive work
tla-prophecy
Applying Prophecy variables in TLA+ to the Herlihy & Wing paper
paxos-poec
Paxos modeled in Alloy using Burckhardt's approach
eng-qua-eng
Engineering as described by engineers
failure-mode-bestiary
A collection of failure modes observed in software systems
roamjs-daily-zettles
A RoamJS plugin to show zettles each day
announce-bb
Command-line control over macOS's "announce the time"
announce-clj
Announce the time every 15 minutes
atlas-docs
Atlas Documentation Site (https://netflix.github.io/atlas-docs/)
reasoned-clj
Notebooks for doing The Reasoned Schemer exercises in Clojure