Re: [tlaplus] Request for review?

[Ambareesh Jayakumari <ambareeshsrja16@xxxxxxxxx>]

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 <gshanemiller6@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+unsubscribe@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/CAOX%2Bs8W19QMqUE6cgbxUOTsVujMtubJRS7T%2BJ45BtK8M%2BLGMrA%40mail.gmail.com.