https://awalterschulze.github.io/blog/tags/coq/ Recent content in coq on Adenoid Adventures Hugo -- gohugo.io en-us awalterschulze@gmail.com (Walter Schulze) awalterschulze@gmail.com (Walter Schulze) Tue, 12 May 2020 09:22:08 +0100 https://awalterschulze.github.io/blog/post/streaming-pair-programming-from-aws/ Tue, 12 May 2020 09:22:08 +0100 awalterschulze@gmail.com (Walter Schulze) https://awalterschulze.github.io/blog/post/streaming-pair-programming-from-aws/ Why? Why Streaming? One of the advantages of living in a big city, like London, is not just that you don’t have to own a car. It also makes it easier to find like minded people. People who are interested in learning the same thing you are and who are at a similar level in their learning experience on that topic, people you can form a study group with.