lorin/cook-lectures-notes lorin/cook-lectures-notes

  • Stars
    star
    3
  • Rank 3,944,201 (Top 79 %)
  • Language
  • Created over 3 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
lorin/cook-lectures-notes
github

lorin

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

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

More 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

tla-prophecy

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

mysetup

Personal config stuff
3
star
36

big-ideas

Big ideas that have influenced me
3
star
37

code-reviews

Guidance on doing code reviews
3
star
38

paxos-poec

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

eng-qua-eng

Engineering as described by engineers
2
star
40

shelllogger

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

failure-mode-bestiary

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

alloy-consistency-models

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

camp-devops-talk

1
star
44

roamjs-daily-zettles

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

ipython-cumsum

1
star
46

clh-tla

Modeling a CLH lock in TLA+
TLA
1
star
47

minecraft-forge-tutorial

Simple Minecraft Forge tutorial
CSS
1
star
48

ostack

Humane Python bindings for OpenStack
Python
1
star
49

uvalde

1
star
50

cheat

Generate Dash cheat sheets
Go
1
star
51

md-alloy

Alloy models of aspects of Managed Delivery
Alloy
1
star
52

zotero-bb

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

dotfiles

Vim Script
1
star
54

teaching-concurrency

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

tla-tree

1
star
56

lorin.github.com

HTML
1
star