🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

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!

Phil Eaton And now, Bengaluru too :) x.com/BengaluruSys/s…

.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

There’s so much talk comparing AI coding to compilers and saying that code will become like assembly language is today - generated automatically and not looked at often. Begs the question - if Python will become assembly language, what will become Python? Idk if there’s an answer

I'll be speaking GopherCon this August in New York City! Talking about the Go runtime, concurrency and the latest changes to race-detection. I'll also look at how vector-clocks in the race detector mirror concepts from Special Relativity ;) gophercon.com/agenda/speaker…

I’ll be in Bangalore this week, let me know if you’d like to catch up!

Concurrency in Go is powerful—but it’s not without pitfalls. Join Raghav as he explores how race conditions can sneak into even well-written code, and how Go (with a little help from TSAN) helps you catch them before they catch you. Expect insights on compilers,