If you are wondering "why do formal methods at all?" or "how is AWS using P to gain confidence in correctness of their services?", the following re:Invent 2023 talk answers this question, provides an overview of P, and its impact inside AWS: (Re:Invent 2023 Talk) Gain confidence in system correctness & resilience with Formal Methods (Finding Critical Bugs Early!!) - https://www.youtube.com/watch?v=FdXZXnkMDxs
"What are your actual priorities? … This question can help you determine the place you want to live, the kind of house or apartment you want to live in, your family’s essential needs (food, electricity, healthcare), and the cost of the activities that add pleasure and meaning to your life – traveling, hobbies, etc. It also allows you to consider what your priorities are from an impact perspective – involvement in your community, being there for your friends, reducing your waste – at the same time as you’re thinking about your material needs. Rather than cordoning off your value-oriented priorities into a less urgent category, to be pursued when you’ve reached financial satisfaction, you are making them of equal importance.”
This recalibration challenges the false dichotomy that keeps us stuck:
“The scarcity mindset keeps you thinking you have to choose between a good life and a life that benefits the collective good. And, it is partly the vacuous, limitless promise of consumerism that keeps you thinking you have to choose between your values and your financial needs.”
Github: https://github.com/p-org/P