codingforprod

That makes sense. I was hoping I could find an online course or workshop that’s worth the money. Unfortunately, it seems like the conferences are really not worth the money.

Thank you! I’ll check it out!

No it doesn’t need to be online! I meant in person conferences and/or online trainings. I have almost unlimited compute at work so that’s really not a problem. AWS reinvent’s ticket alone was $1800 and it was a sales conference. So I wanna know if there is anything that’s worth attending.

How should I get started with TLA+? I don’t have any experience.

Apologies if it was vague. Essentially, I want to 'teach' the team how to code properly so the products in production don't keep breaking. A standard way of coding such that later, we can audit/review the codebase based on.

I am looking for a 'software quality assurance checklist' but whatever I have found on the web, is too general/not related to actual coding best practices.

Example: some people use OOP without returning anything in a method, some people use OOP but treat a method as a function that takes inputs and outputs.

I know this is general, but how do you enforce a single style of coding to people? how do you audit a piece of code? based on what?