https://www.hillelwayne.com/tags/go/ Recent content in Go on Hillel Wayne Hugo -- gohugo.io en-us Fri, 25 Sep 2020 00:00:00 +0000 https://www.hillelwayne.com/post/tla-golang/ Fri, 25 Sep 2020 00:00:00 +0000 https://www.hillelwayne.com/post/tla-golang/ My job these days is teaching TLA+ and formal methods: specifying designs to find bugs in them. But just knowing the syntax isn’t enough to write specs, and it helps to have examples to draw from. I recently read Chris Siebenmann’s Even in Go, concurrency is still not easy and thought it would make a good case study for writing a spec. In it, he gives an example of Go code which deadlocks: