Featured
Business
Design
Education
How-to & DIY
Marketing & SEO
Programming
Research
Science
Storyboards
Technology

Mike BRIGHT (@mjbright)

2 Follows
View profile
Avatar for Hyojun Jeon

Hyojun Jeon

devinjeon

8 followers 8 decks
Kubernetes 네트워크 이해하기 (1) : 컨테이너 네트워크부터 CNI까지
9
12k
Kubernetes 네트워크 이해하기 (2) : 서비스 개념과 동작 원리
6
5.2k
Avatar for Lucas Käldström

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
39
Verifying Cedar Policy’s correctness with property-based and differential response testing
0
38