TLA+ Web Site

Leslie Lamport

unread,

Jul 9, 2018, 7:58:39 PM7/9/18

to tlaplus

I plan to try to improve the TLA+ web site. I want to make it more inviting to potential users and more helpful to current users of TLA+. I would welcome suggestions for what I should do.

Leslie

Gregory Brown

unread,

Jul 10, 2018, 11:57:33 AM7/10/18

to tla...@googlegroups.com

Hi Leslie, I have a blueprint in mind. I would appreciate the opportunity to assist you.

www.linkedin.com/in/gregorykeithbrown

Thanks, Gregory

On Mon, Jul 9, 2018 at 7:58 PM Leslie Lamport <tlapl...@gmail.com> wrote:

I plan to try to improve the TLA+ web site. I want to make it more inviting to potential users and more helpful to current users of TLA+. I would welcome suggestions for what I should do.

Leslie

--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@googlegroups.com.
To post to this group, send email to tla...@googlegroups.com.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.

Leslie Lamport

unread,

Jul 10, 2018, 3:42:34 PM7/10/18

to tla...@googlegroups.com

Hi Gregory,

Can you briefly describe what you have in mind in email, or perhaps in a phone call?

Thanks,

Leslie

Xabier Burgos

unread,

Jul 10, 2018, 5:53:03 PM7/10/18

to tla...@googlegroups.com

Hi Leslie,

One of the things I would personally welcome is examples on how to use TLA+ to model distributed services architectures, which today is basically what most companies with online presence build. It would also be nice to see a bit more focus on PlusCal, which in my very brief experience with TLA+ has been a huge time saver.

Additionally, I'd be happy to help with the site.

@Gregory Maybe you could share that blueprint? or at least a general idea?.

Thanks,

Xabier

Xabier Burgos
http://www.linkedin.com/in/xburgos

Leslie Lamport

unread,

Jul 10, 2018, 7:47:55 PM7/10/18

to tlaplus

Hi Xabier,

Adding more examples is one of my plans. However, I can't write a
model of a distributed service architecture because I don't know what
that is. To get a good variety of examples, I will need other people
to write many of them.

I am aware that there should be more on the Web about PlusCal,
including a course on it. Ideally, there would be another video
course based on PlusCal, but I'm unlikely to have time to do that.
I've though of producing some kind of instructional material on
PlusCal for people who have viewed some initial segment of the Video
Course. But I don't have any good idea of how that should be done.
Meanwhile, Hillel Wayne has a very nice course based on PlusCal at
https://learntla.com. I will have a pointer to it. I also intend to
have pointers to other good material on the web, such as Ron
Pressler's four-part post.

Thanks for your offer of help. One thing I will eventually need is an
html expert to explain to me how to do some things.

Leslie

On Tuesday, July 10, 2018 at 2:53:03 PM UTC-7, Xabier Burgos wrote:

Hi Leslie,

One of the things I would personally welcome is examples on how to use TLA+ to model distributed services architectures, which today is basically what most companies with online presence build. It would also be nice to see a bit more focus on PlusCal, which in my very brief experience with TLA+ has been a huge time saver.

Additionally, I'd be happy to help with the site.

@Gregory Maybe you could share that blueprint? or at least a general idea?.

Thanks,
Xabier

--
Xabier Burgos
http://www.linkedin.com/in/xburgos

Reply all

Reply to author

Forward