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.”
CoreWeave now claims to be the largest private operator of Nvidia GPUs in North America, with more than 45,000 chips. It has raised more than $10bn in debt in the past 12 months from lenders including Blackstone, Carlyle and Illinois-based hedge fund Magnetar Capital.
The debts are secured against CoreWeave’s stock of Nvidia GPUs and the capital is used to buy thousands more.