sethwm

Have you looked at PlusCal [1][2]? It's more natural for many software developers and compiles down to TLA+.

[1] https://en.wikipedia.org/wiki/PlusCal

[2] https://lamport.azurewebsites.net/tla/p-manual.pdf

I would recommend exploring Emotional Brain Training (EBT) [1]. Wired for Joy [2] and Spiral Up [3] are two related books on the subject. Find a therapist that works in this space to coach you through it.

[1] https://www.ebtconnect.net/what_is_ebt

[2] https://www.amazon.com/Wired-Joy-Revolutionary-Creating-Happ...

[3] Sorry I can't find it anywhere

A Nickel's Worth's guide on variable naming seems like a relevant read here:

https://a-nickels-worth.blogspot.ie/2016/04/a-guide-to-namin...

I think that's right. Anecdotally as a user of Peach, the four biggest complaints I've had/heard are: 1) late delivery 2) food at wrong temperature when delivered 3) food doesn't taste good 4) people tired of the same menu options repeated too often

Sounds like Peach: https://www.peachd.com/

Except peach serves lunch instead of dinner. They appear to have the restaurants deliver the food themselves. Your office needs to have 50 people who have signed up for the service before they'll start offering menu items in that location.

This applies to human DNA only? Plant seeds don't get protection?

What are the hidden fees in the S3 use case?