ESP Biography

Learn how to debate in a friendly atmosphere. Learn the difference between an informal argument and a structured debate. Learn debate strategy, and have some fun debating whatever topics come to your mind. Instructor is an experienced high school and Stanford debater, and loves talking about whatever comes to your mind.

There exists a fundamental connection between computer programs and mathematical proofs. In fact, the types and values of a computer program may be seen as another side of the same coin of the logical statements of a formal proof. We will give a simple introduction to the connection between these two ideas, and arrive at conclusions about how we can use this connection.

I will debate you about anything, as long as it doesn't make anyone uncomfortable. Bring case topics to argue and I will support or oppose them. The weird is welcome here.

Ever wanted to learn how to program computers? In this course we'll teach an introduction to computer programming in <a href="http://poignant.guide/book/chapter-1.html" target="_blank">Ruby.</a> Ruby is one of the world's <a href="https://octoverse.github.com" target="_blank">most popular programming languages</a> and is widely in demand in startups and industry. More importantly, if you're curious about programming, or just looking to have fun with code, Ruby is the language for you! This is beginner-friendly and we encourage anyone and everyone to sign up. Please come with questions and enthusiasm! <a href="https://i.imgur.com/uDyRr7x.jpg" target="_blank"> <img src="https://upload.wikimedia.org/wikipedia/commons/thumb/7/73/Ruby_logo.svg/1024px-Ruby_logo.svg.png" width="100" height="100" alt="Ruby logo" /> </a>

Ever wanted to learn how to program computers? In this course we'll teach an introduction to computer programming in Scheme. This class will be mathier and a little more theoretical can the Ruby class. It's also gonna be a ton of fun.