Ricochet is the best place on the internet to discuss the issues of the day, either through commenting on posts or writing your own for our active and dynamic community in a fully moderated environment. In addition, the Ricochet Audio Network offers over 50 original podcasts with new episodes released every day.
On September 21st of this year, I led a workshop on formal logic at the Scala World conference in the beautiful Lake District of England. Although everyone was very kind about it, I completely failed to manage my time adequately, and essentially the last third of the workshop was therefore rushed and probably rendered nearly incomprehensible. So I decided to recreate the workshop as a screencast. It might appeal to those of you who are interested in logic, especially interactive development of proofs with automated tools, as well as to a philosopher or two, and to computer programmers who are curious about the relationship between programming and logic.