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

Raghav Roy

royra
0 Stars

Decks

Formal Reasoning to Build Subtle Systems in Go
royra
0
320
Verifying Strong Eventual Consistency in Distributed Systems
royra
1
270
Coroutines and Go
royra
0
310
Can We Use eBPF To Debug Performance of The Go Scheduler?
royra
0
80
Hardening Go Concurrency, Using Formal Methods of Verifying Correctness
royra
0
100

Speaker Deck Pro: Add privacy options and schedule the publishing of your decks Upgrade