Team – The Golden Gate Ruby Conference

Very excited about this year's program! (even the talks we don't have descriptions for yet, haha)

Breaking concepts down into logical chunks, tackling them in isolation. Sound familiar? This is how we write tests, but it's also how a mathematician writes proofs. Exploring the similarities and differences between the two can bring us back to our profession's mathematical roots. In this talk, we will look at mathematical proofs and ruby code side-by-side in an effort to uncover why these sorts of puzzles are appealing. I'll explain a few mathematical methods through Ruby code, but don't worry, no math background is required. We'll examine summation notation—the mathematical loop, as well as the multiple ways of defining the Binomial Coefficient. (Refresher: remember n choose k ?) After that, I'll translate a basic proof by induction into pseudo-RSpec in order to highlight the similarities between writing a test and writing a proof, such as the existence of stubs. When yo...

Full article: http://gogaruco.com/schedule.html