Re: [tlaplus] Request for review?

[Shane Miller <gshanemiller6@xxxxxxxxx>]

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

On Wednesday, March 11, 2026 at 5:24:50 PM UTC-4 Ambareesh Jayakumari wrote:

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)

On Wed, Mar 11, 2026 at 1:42 PM Shane Miller <gshane...@xxxxxxxxx> wrote:

100.0% my own work

On Wednesday, March 11, 2026 at 10:58:34 AM UTC-4 Andrew Helwer wrote:

Hi Shane,

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

Thanks,

Andrew

On Wed, Mar 11, 2026 at 12:26 AM Shane Miller <gshane...@xxxxxxxxx> wrote:

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!

 

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

--
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...@xxxxxxxxxxxxxxxx.

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

-- 
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+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion visit https://groups.google.com/d/msgid/tlaplus/e1f05bfa-2e69-46cf-ae55-60d76680f141n%40googlegroups.com.