🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Proud Moment 📣: DeekSeek uses P to validate correctness of their distributed file system (3FS). DeepSeek open sourced 3FS designed to address the challenges of AI training and inference workloads. The coolest part is that the team also provided formal specifications of the

Very cool to see more folks using P, especially in such a high-profile system. If you're building distributed systems, it's worth taking a look at p-org.github.io/P/whatisP/

I get asked this question millions of times, why should I check the design if my implementation is what gets deployed. Hopefully, with data points like this, that question will be self answered.

P-lang is indeed a developer friendly specification language ❤️ x.com/ankushpd/statu…

Founders who were PhD or post-doc in my lab at Berkeley, **largely funded by NSF / DoD grants**, start-up, market cap (collected by OpenAI Deep Research)

Ankush Desai on the effect of formal specifications on how Amazon Web Services engineering works and thinks. Follow us here to find out when we post the videos of all these talks after #bugbash!

BugBash was a lot of fun. Being around super cool people who all agree that “testing is hard” and need to lower the barrier to entry for developers. Antithesis

Cline is mind blowing … highly recommend it. cline.bot.

I would highly recommend reading this article. It talks about two types of 10x engineers. For managers it’s important to identify these engineers and appreciate them for who they are and also as engineers its important to know what you want to be and enjoy doing. Ferrari or a

I am honored and excited to be giving a Keynote at the Runtime Verification (RV) conference. I will be talking about how runtime verification is used at AWS and how simple ideas from formal methods can make a big difference when building complex distributed systems.

New-ish Galois blog: “What Works (and Doesn't) Selling Formal Methods”. The boring truth: engineers are rational and adoption is all about cost/benefit tradeoffs

This is one of the best articles on formal methods I have read for a while. I am so glad you wrote this insightful article. Congratulations Mike Dodds.

"Systems Correctness Practices at Amazon Web Services," by Marc Brooker and Ankush Desai, surveys the portfolio of formal methods used across Amazon Web Services to deliver complex #services with high #confidence in assuring systems correctness. bit.ly/43gT88q

Interested in how we test our systems at Amazon? In Communications of the ACM, Ankush Desai and I write about the evolution of systems correctness and testing practices at AWS. We cover a mix of classic approaches, formal approaches, and new techniques like deterministic simulation.

Ankush Desai's amazing talk on system correctness at #BugBash 2025 was super dense and super detailed -- so here it is with a handy pause button! antithesis.com/blog/2025/bugb…

It all started with P being mentioned in reinvent keynote for its usage in the launch of S3 strong consistency. In the next 4 years, P is used by several other teams across Amazon. More details in the CACM article: cacm.acm.org/practice/syste…