Chat Room - 6 users - 78 minutes ago - current topic: The 'classical' music channel. Idle or Chat about composers, performers & recordings. | No !list, @find, @locator etc. | You will not find any files in here, but feel free to share classical torrent links. Category: Classical Chat Rooms
Chat Room - 3 users - 90 minutes ago - current topic: Rules: 1. Please behave nicely. 2. James-T-Kirk is the storyteller, unless stated otherwise. 3. Metrical system knowledge is preferred. 4. Please use at least decent grammar (understandable by an average Joe). That is a game about planet exploration set in year 2500. Sci-fi fans, reunite! Some classical music for you: www.youtube.com/playlist?list=PLW3zDeW7cOWI8VPNB6zcE3VZalK_U-ccy Category: Games Chat Rooms
Chat Room - 3 users - 90 minutes ago - current topic: In computer science, the Satisfiability Modulo Theories (SMT) problem is a decision problem for logical formulas with respect to combinations of background theories expressed in classical first-order logic with equality. | http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories | All talk about SMT or any other automated reasoning procedures on interesting theories is welcome!