Request for review?

[Shane Miller]

Good day,

I've prepared a lengthy paper on TLA with a focus on practical issues. I'm wondering if there's subscribers here who are willing to give me feedback? Find attached: first three pages which includes table of contents. Chapters 12, 13 coming. There's undoubtedly errors that need fixing.

If you're interested we can exchange information through Github:

https://github.com/gshanemiller/tla-examples

The full paper and examples are there.

Thank you!
 

[Andrew Helwer]

Hi Shane,

Looks interesting; before reading, is this an AI-assisted effort or did you write it all yourself?

Thanks,

Andrew

--
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 view this discussion visit https://groups.google.com/d/msgid/tlaplus/f69e71e8-e803-45f9-9211-3c1d080feb64n%40googlegroups.com.

[Shane Miller]

100.0% my own work

[Ambareesh Jayakumari]

Hi Shane,

Looks amazing, and would love to read. Few questions:

1. How would you prefer the feedback / clarifications? Would creating a GitHub suffice, or is it better done over email? 

2. What kind/level of feedback are you looking  for at this stage?  - higher level correctness or does lower level nits be useful as well? 

Best,

Ambareesh

“I’ll live the focused life, because it’s the best kind there is" (Winifred Gallagher)

To view this discussion visit https://groups.google.com/d/msgid/tlaplus/f92bef72-669c-4691-b2f1-b557503959ccn%40googlegroups.com.

[Shane Miller]

Ambareesh,

Thank you for taking time and reaching out!

>How would you prefer the feedback 

Let's use Github.
1. Make new issues for errors in the pdf text

2. Make pull requests for errors in the examples

>higher level correctness or does lower level nits be useful as well?

Both are fine, and appreciated. 

- errors in the linked examples must be fixed

- errors in the language reference sections are bad, and should be fixed

- I'm pretty sure there's a few errors on executability (which drags in fairness) in the TLA reference. Because this issue is so different from C/C++ it's got to be corrected. Getting users fluent and comfortable with flow control is important

Regards

[Murat Demirbas]

This looks great Shane! Very exciting to see these papers!
Murat

[Shane Miller]

Andrew, Murat:

Gents, thank you again for offering to review paper. Just to remind:
https://github.com/gshanemiller/tla-examples

is open for (anyone) to provide feedback, corrections, and stuff I just got wrong.

I am working on chapter 13 (RPC example) now. My guess is the the first draft will be done 3 April +/- a couple of days,

No further work (beyond corrections) is planned for this paper thereafter.