Featured

Business

Design

Education

How-to & DIY

Marketing & SEO

Programming

Research

Science

Storyboards

Technology

Pabloin (@pabloin)

1 Follow

View profile

Lucas Käldström

luxas

Lucas is a cloud native enthusiast who has been serving the Kubernetes & CNCF communities in lead positions for more ...

7 followers 61 decks

The Proof is in the Pudding: Can we formally prove correctness of (AI-generated) code?

0

40

Verifying Cedar Policy’s correctness with property-based and differential response testing

0

38