lorin
Software engineer. Student of complex systems failures, resilience engineering, cognitive systems engineering.
@NetflixSan Jose, CA
Pinned Repositories
ansible-quickref
Quick reference for Ansible variables
ansiblebook
Code samples from the book "Ansible: Up and Running"
availability-reading
High availability reading list
awesome-limits
Examples of OS / system limits
cognitive-systems-engineering
devstack-vm
Boot a VM and auto-install devstack
messiness
Messiness reading list
resilience-engineering
Resilience engineering papers
systems-reading
Systems and failure reading list
tla-linearizability
Reading the linearizability paper with TLA+
lorin's Repositories
lorin/resilience-engineering
Resilience engineering papers
lorin/systems-reading
Systems and failure reading list
lorin/cognitive-systems-engineering
lorin/messiness
Messiness reading list
lorin/tla-linearizability
Reading the linearizability paper with TLA+
lorin/dns-alloy
Modeling DNS with Alloy
lorin/booknotes
Notes about books I've read
lorin/cheat-sheets
lorin/alb-alloy
Modeling AWS application load balancers using Alloy
lorin/virtual-threads-tla
Reproduce a Java 21 virtual threads deadlock scenario in TLA+
lorin/tla-prophecy
Applying Prophecy variables in TLA+ to the Herlihy & Wing paper
lorin/btree-tla
Modeling B-trees in TLA+
lorin/cook-lectures-notes
Notes on Dr. Richard Cook's lectures on the study of cognitive work
lorin/tla-tortoise-hare
lorin/clh-tla
Modeling a CLH lock in TLA+
lorin/paxos-poec
Paxos modeled in Alloy using Burckhardt's approach
lorin/failure-mode-bestiary
A collection of failure modes observed in software systems
lorin/lsm-tree-tla
Modeling LSM trees in TLA+
lorin/dotfiles
lorin/lorin.github.com
lorin/roamjs-daily-zettles
A RoamJS plugin to show zettles each day
lorin/uvalde
lorin/zotero-bb
Script for randomly selecting a paper from a zotero collection
lorin/announce-bb
Command-line control over macOS's "announce the time"
lorin/announce-clj
Announce the time every 15 minutes
lorin/atlas-docs
Atlas Documentation Site (https://netflix.github.io/atlas-docs/)
lorin/dbdiag
Diagrams as text tool for visualizing concurrent operation histories
lorin/Examples
A collection of TLA⁺ specifications of varying complexities
lorin/learntla-v2
Learn TLA+ for free! No prior experience necessary!
lorin/reasoned-clj
Notebooks for doing The Reasoned Schemer exercises in Clojure