filmov
tv
GopherCon Europe 2024: Raghav Roy - Using Formal Reasoning to Build Concurrent Go Systems
Показать описание
About the talk: Using Formal Reasoning to Build Concurrent Go Systems
Go is popular for making concurrency easy through great language support for Goroutines and Channels, but getting it right is still up to you. In order to verify your design is truly correct, you need to look above the code and at the intent, but how does one do that? That’s where TLA+ comes in.
About the speaker: Raghav Roy
Raghav loves systems! But that's not all he thinks the niche he relates to, or he's most vocal about, is balancing closed source and open source work, and it's still something he's learning and getting better at every day.
He's a nerd for all kinds of white-papers that are all kinds of esoteric, even when it's not low-level systems, it could be astronomy, new coffee science, biology, and most recently psychology. He always has something to talk about (probably why he likes to give talks) and he always wants someone to talk to him about something they're weirdly nerdy about.
#gopherconEU #golang
Go is popular for making concurrency easy through great language support for Goroutines and Channels, but getting it right is still up to you. In order to verify your design is truly correct, you need to look above the code and at the intent, but how does one do that? That’s where TLA+ comes in.
About the speaker: Raghav Roy
Raghav loves systems! But that's not all he thinks the niche he relates to, or he's most vocal about, is balancing closed source and open source work, and it's still something he's learning and getting better at every day.
He's a nerd for all kinds of white-papers that are all kinds of esoteric, even when it's not low-level systems, it could be astronomy, new coffee science, biology, and most recently psychology. He always has something to talk about (probably why he likes to give talks) and he always wants someone to talk to him about something they're weirdly nerdy about.
#gopherconEU #golang
Комментарии