3.5. Sorry for the spam but I have to know, are you in the "Go" or the "Golang" bandwagon? #golang #go #gopherconEU (gopher credits for all these posts: github.com/tenntenn/gophe…)

4. Here's an example for the previous post (#3). Say you have multiple processes in your system that communicate with each other via channels. How do you make sure your messages are never delivered out-of-order? 🤔 (artwork: github.com/tenntenn/gophe…, original design: Renee French)

5. So far, we have just looked at Model Checkers, which I think is a tool every Go Dev should have in their pocket, it forces you to think about your code in terms of "behaviors" and "invalid reachable states", in my talk, I'll give some more verbose examples for just this.

6. All of this is great, but there's never free lunch in tech unfortunately. It's hard writing these Formal Specs, and often difficult to reason about what you're using to reason about! (artwork: github.com/tenntenn/gophe…, original design: Renee French)

7. This was fun, and I hope some of it got you Gophers interested in using Formal Methods for your next project! Thanks a lot #gopherconEU for this takeover! Buy your tickets now! gophercon.eu (artwork: tenntenn | newmo ; original design: Renee French)

I’ll be in Berlin for #gopherconEU from 17th to the 21st this month, if someone wants to meet-up, drop a DM! (I’ll bore you with coffee facts)

There’s a good reason for this GopherCon Europe

Our speakers were hard at work before the speakers dinner, creating this cool #gopherconEU entrance banner! Over the next days it will be welcoming you to the conference. Take a selfie with it, tag us and we’ll be retweeting 🩵

Join track 2, Raghav is sharing its insights about concurrency and how to think your projects GopherCon Europe #gopherconEU #golang

Raghav gives a wonderful talk on Using Formal Reasoning to Build Concurrent Go Systems at GopherCon Europe . The room is packed.

Using Formal Reasoning to Build Concurrent #golang Systems by Raghav #gopherconEU

Look at my friend talking about the coolest stuff in a packed room 🥳 If you’re into things like memory models, formal methods and automated reasoning, you should hit .Raghav up, he’s endlessly interesting to talk to about this stuff (and more) ♥️

Finally found myself some Currywurst! Berlin wins all awards

Proof that I met the coolest gopher (and guy) at #gopherconEU

Thanks for the memories GopherCon Europe, until next time!

.Raghav’s talk on Formal reasoning to build concurrent systems in Go is out now! youtu.be/yiVOJqXTWfc?fe…

I had such a wonderful time talking about formal reasoning as a philosophy and its role in the industry at GopherCon Europe ! The talk is up: youtu.be/yiVOJqXTWfc?fe… You can find the slides here speakerdeck.com/royra/formal-r…

Beautiful. Such a nice thread from philosophy to relativity to systems. A truly “Madhav Jivrajani” talk :) youtu.be/rdO_nXb3i3c

Spotlight on Using Formal Reasoning to Build Concurrent #golang Systems by Raghav youtu.be/yiVOJqXTWfc?si… #gopherconEU