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
330
Verifying Strong Eventual Consistency in Distributed Systems
royra
1
280
Coroutines and Go
royra
0
320
Can We Use eBPF To Debug Performance of The Go Scheduler?
royra
0
87
Hardening Go Concurrency, Using Formal Methods of Verifying Correctness
royra
0
110

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