TLA+ Modeling Tips (muratbuffalo.blogspot.com) | HN Screenshots

YHacker Newsscreenshots

Screenshot of muratbuffalo.blogspot.com: TLA+ Modeling Tips

First screen, captured 10 months ago.

Looks similar

Screenshot of muratbuffalo.blogspot.com: Making database systems usable

Making database systems usable (muratbuffalo.blogspot.com)

126 points by jamesblonde 2 years ago | 123 comments

Screenshot of muratbuffalo.blogspot.com: Chess invariants

Chess invariants (muratbuffalo.blogspot.com)

85 points by ingve 5 months ago | 52 comments

Screenshot of muratbuffalo.blogspot.com: Aurora DSQL: Scalable, Multi-Region OLTP

Aurora DSQL: Scalable, Multi-Region OLTP (muratbuffalo.blogspot.com)

14 points by zdw 3 months ago | 1 comments

Screenshot of muratbuffalo.blogspot.com: The Two Abstractions of System Design: Hide or Reduce

The Two Abstractions of System Design: Hide or Reduce (muratbuffalo.blogspot.com)

96 points by ubolonton_ 1 month ago | 10 comments

Screenshot of muratbuffalo.blogspot.com: My Time at MIT

My Time at MIT (muratbuffalo.blogspot.com)

166 points by rrampage 1 year ago | 55 comments

Screenshot of muratbuffalo.blogspot.com: Optimize for momentum

Optimize for momentum (muratbuffalo.blogspot.com)

38 points by zdw 10 months ago | 4 comments