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
963 71 6156
ansiblebook
Code samples from the book "Ansible: Up and Running"
Language:Python325 41 11467
availability-reading
High availability reading list
50 8 06
awesome-limits
Examples of OS / system limits
294 16 18
cognitive-systems-engineering
117 5 08
devstack-vm
Boot a VM and auto-install devstack
Language:Python79 15 1337
messiness
Messiness reading list
57 8 04
resilience-engineering
Resilience engineering papers
3k 145 4147
systems-reading
Systems and failure reading list
196 14 020
tla-linearizability
Reading the linearizability paper with TLA+
Language:TLA48 2 14

lorin's Repositories

lorin/resilience-engineering
Resilience engineering papers
3k 145 4147
lorin/cognitive-systems-engineering
117 5 08
lorin/tla-linearizability
Reading the linearizability paper with TLA+
Language:TLA48 2 14
lorin/booknotes
Notes about books I've read
22 4 05
lorin/futex-tla
Modeling futexes in TLA+
Language:TLA22 2 0
lorin/cheat-sheets
Language:Ruby21 3 08
lorin/virtual-threads-tla
Reproduce a Java 21 virtual threads deadlock scenario in TLA+
Language:TLA11 1 0
lorin/tla-prophecy
Applying Prophecy variables in TLA+ to the Herlihy & Wing paper
Language:TLA8 2 1
lorin/snapshot-isolation-tla
Modeling snapshot isolation in TLA+
Language:TLA71
lorin/btree-tla
Modeling B-trees in TLA+
Language:TLA5 1 11
lorin/cook-lectures-notes
Notes on Dr. Richard Cook's lectures on the study of cognitive work
5 3 03
lorin/tla-tortoise-hare
Language:TLA4 2 1
lorin/clh-tla
Modeling a CLH lock in TLA+
Language:TLA3 1 0
lorin/elevator-tla
Modeling a very simple elevator with TLA+
Language:TLA3 2 0
lorin/lsm-tree-tla
Modeling LSM trees in TLA+
Language:TLA2 1 0
lorin/tortoise-hare-alloy
Tortoise and the Hare in Alloy 6
Language:Alloy2
lorin/dotfiles
Language:Vim Script1 3 01
lorin/lorin.github.com
Language:HTML1 3 0
lorin/roamjs-daily-zettles
A RoamJS plugin to show zettles each day
Language:TypeScript1 2 0
lorin/transactions-alloy
Modeling database transaction histories with Alloy
Language:Alloy1
lorin/transactions-reading-list
A reading list of interesting papers related to database transactions
1
lorin/uvalde
1 2 0
lorin/zotero-bb
Script for randomly selecting a paper from a zotero collection
Language:Clojure1 2 0
lorin/alloydocs
Proposed documentation for alloytools.org
Language:Python1 0
lorin/announce-clj
Announce the time every 15 minutes
Language:Clojure2 0
lorin/atlas-docs
Atlas Documentation Site (https://netflix.github.io/atlas-docs/)
Language:Python1 0
lorin/dbdiag
Diagrams as text tool for visualizing concurrent operation histories
Language:Python0 0
lorin/Examples
A collection of TLA⁺ specifications of varying complexities
Language:TLA0 0
lorin/learntla-v2
Learn TLA+ for free! No prior experience necessary!
Language:TLA0 0
lorin/reasoned-clj
Notebooks for doing The Reasoned Schemer exercises in Clojure
Language:Clojure2 0