Viewing profile — 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.azurewebs…

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 …

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 t…

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 5…

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

What are the hidden fees in the S3 use case?