Ellis Michael ellismichael.com
Deadlock Freedom: Beyond Liveness Properties
ellismichael.com·174w
Linearizable, Wait-free Reads of Replicated State Machines
ellismichael.com·318w
Randomized Consensus on Unknown Domains in Finite Rounds
ellismichael.com·362w
Understanding Traces
ellismichael.com·378w
Producers and Consumers
ellismichael.com·403w
A Game of Thrones
ellismichael.com·435w
On Ink Shortages
ellismichael.com·447w
Raft is (Equivalent to) Paxos, VR
ellismichael.com·481w
Diskless Distributed Recovery
ellismichael.com·508w
Quines as a Side-channel
ellismichael.com·506w
Using Travis CI with Github Pages
ellismichael.com·570w

Keyboard Shortcuts

Navigation

Next / previous item
j/k
Open post
oorEnter
Preview post
v

Post Actions

Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s

Recommendations

Add interest / feed
Enter
Not interested
x

Go to

Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/

General

Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help