Chat Room - 43 users - 62 minutes ago - current topic: Welcome to ##ComputerScience, the channel where you can discuss semantics, type systems, parallelism, complexity theory, quantum computing, cryptography, data structures, algorithmics, logic, AI, machine learning, operations research, data compression and even hardware design. | Ask your questions clearly, please. | Math questions? Try #math | Linux question? Try ##linux Category: Computer Science Chat Rooms
Chat Room - 3 users - 62 minutes ago - current topic: In computerscience, 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!
Chat Room - 5 users - 62 minutes ago - current topic: ---Welcome, this channel is supposed to gather ideas, projects and people interested in science, engineering, ask and maybe someone will help or debate---- Feel Free to invite new guests that could find this interesting %%%% NEWS: Siliccon Quantum Chip READY! https://www.sciencealert.com/new-design-complete-silicon-processor-quantum-computer
Chat Room - 67 users - 62 minutes ago - current topic: A working group focused on the application of advanced computerscience (artificial intelligence) to Wikimedia's projects | https://phabricator.wikimedia.org/tag/artificial-intelligence & https://github.com/wiki-ai | Logged at https://wm-bot.wmflabs.org/browser/index.php?display=%23wikimedia-ai Category: Wikimedia Chat Rooms
Chat Room - 666 users - 62 minutes ago - current topic: Community Chat & Programming/ComputerScience Discussion | If you have a question, don't ask to ask, just ask! | Paste > 3 lines to a pastebin such as https://ideone.com | Channel rules: https://tinyurl.com/2lb-programming | Colour codes filtered again because idiets. Category: Programming Chat Rooms
Chat Room - 3 users - 61 minutes ago - current topic: "Women in ComputerScience, University of Waterloo | Code of Conduct in effect, see http://wics.uwaterloo.ca/code-of-conduct/ | wics-sys volunteers, please go to the syscom channel by typing `/join #wics-sys`"
Chat Room - 127 users - 44 minutes ago - current topic: Welcome to #programming! | Check out #python for snakes, #math for math talk and #cs for computerscience talk HONOR THE WORD OF THE PEOPLE Category: Programming Chat Rooms
Chat Room - 7 users - 62 minutes ago - current topic: Cognitive Science is at the intersection of sociology, psychology, philosophy, linguistics, computerscience, and neuroscience: https://friendfeed.com/cogsci for interesting recent articles.