[wizerno]

As someone who's fascinated by formal verification and who's early in their career, what advice do senior folks who have been using TLA+ have?

TLA+ isn't taught in most universities and while I've read about so many interesting applications, I'm yet to convince myself that someone would hire me for knowing it rather than just teaching it to me on the job. Any tips to get started would also be appreciated!

[kadoban]

There's very little tech that somebody is going to hire you for knowing. It's a tool like many others.

If nothing else, spending a few days playing with it will give you an idea of what it's good for and if you want to continue, or it'll make it stick in your mind so you can come back to it if you ever need it.

[mnk47]

>There's very little tech that somebody is going to hire you for knowing. It's a tool like many others.

I guess this must be true on places like SF since I see this so often on HN, but almost every single job listing I've seen strictly requires knowledge of a specific tech stack, with the exception of a few internship programs.

[SonOfLilit]

Someone might hire you for the things you did with it, or for the passion you showed by learning it.