What is the state of the art for fuzzing service level APIs. One work that I know of is Restler: microsoft.com/en-us/research…. What are the others and more recent/scalable approaches? cc. Rohan Padhye Manuel Rigger FuzzingLabs

Anthropic’s most intelligent model—Claude 3 Opus—is available on Amazon Bedrock: aws.amazon.com/blogs/aws/anth…

Here’s quick list of what customers can expect from Opus:

🟠 The model outperforms its peers (including GPT4) on most of the common evaluation benchmarks for AI systems,

Preparing to preach to the choir at my TLA+ conf keynote next week: conf.tlapl.us/home/

Revisiting github.com/p-org/P (👋Ankush Desai) and finding out about Peasy made my day. Really nice work on this IDE experience.

DBOS is a super thought-provoking project from a database and systems perspective, and I love to see the innovation on serverless programming models too.

The way Mike Stonebraker keeps pushing big ideas, decade after decade, is super inspiring.

Our work on extracting information from police records is helping with important news articles — here's one such article featuring our collaborator Lisa Pickoff-White at the California Reporting Project.

My first blog post for Resonate HQ just dropped!

In 'P-lang for OSS Cloud Infrastructure', we'll take a closer look at the programming language P, discuss why formal modeling is beneficial for OSS, and share insights into how we leveraged these concepts in our work.

Link

Going through my dissertation talk (~5 years ago) to borrow slides for a talk next week. Found this slide ... so grateful I get to continue to work on the same problem @ AWS.

𝗙𝗼𝗿𝗺𝗮𝗹 𝗠𝗲𝘁𝗵𝗼𝗱𝘀 @ 𝗪𝗼𝗿𝗸 • 𝗦𝘁𝗮𝗿𝘁𝘂𝗽 𝗘𝗱𝗶𝘁𝗶𝗼𝗻

At Resonate HQ, we are building 𝗗𝗶𝘀𝘁𝗿𝗶𝗯𝘂𝘁𝗲𝗱 𝗔𝘀𝘆𝗻𝗰 𝗔𝘄𝗮𝗶𝘁, an extension of the traditional Async Await programming model that makes distributed programming a first class citizen.

This week, Gabriel Guerra and I met with Ankush Desai to discuss our formal model of Resonate HQ's task framework in P Lang

Thank you, Ankush, for taking the time, sharing your experience, and your efforts in championing P Lang

❤️

twitter.com/DominikTornow/…

𝗙𝗼𝗿𝗺𝗮𝗹 𝗠𝗼𝗱𝗲𝗹𝘀 @ 𝗥𝗲𝘀𝗼𝗻𝗮𝘁𝗲

We decided to model Resonate HQ's task framework in P Lang, a formal modeling framework based on state machines

Sneak Peek of our Liveness Guarantees 👀

twitter.com/resonatehqio/s…

Super cool! Looking forward to the full specification :)

i dove into P (👋 Ankush Desai) this week and built a model of resonate's upcoming worker protocol.

P provided a great way for me to conceptualize the protocol and validate our software design decisions before implementing it.

Please share! We will hold the 'Fuzzing Summer School 2024' at NUS Computing in Singapore! We are excited to feature speakers such as Abhishek Arya, Marcel Böhme👨‍🔬, Mathias Payer, Thuan Pham, and Andreas Zeller. Apply by 16 Feb 2024. fuzzing.comp.nus.edu.sg CC Umang Mathur Abhik Roychoudhury

Tisan Das Vipul Vaibhaw At AWS re:Invent Ankush Desai gave an enlightening and inspiring presentation that will have you at the edge of your seat 🎓

dtornow225.substack.com/p/issue-47-sys…

Ankush doesn't even touch on one of my favorite outcomes of formal methods: implementations of protocols in languages like P, PlusCal, and TLA+ serve as fantastic, crisp, protocol documentation.

We use formal methods extensively at AWS, including all the tools Ankush talks about here. Every team I've seen adopt formal methods has become faster, bolder, and more efficient.

Formal methods help us move faster, by exploring the design space more boldly, finding optimizations and improvements that are hard to reason about.

Interested in adopting formal methods, or exploring how they can help you and your team move faster? Check out this talk from Ankush Desai and Bikash Behera from #reinvent2023 : youtube.com/watch?v=FdXZXn…