Chat Room - 35 users - 59 minutes ago - current topic: Linaro Systems Team :: Maintenance Team: doanac/bcc/pfalcon, tickets to: https://servicedesk.linaro.org/servicedesk/customer/portal/4 Category: Linaro Systems Chat Rooms
Chat Room - 11 users - 59 minutes ago - current topic: You are in a maze of twisty little version control systems, all different: aegis bazaar codeville cvs darcs git mercurial monotone rcs revc svk svn tla vesta || wiki: http://revctrl.org/ || mailing list: http://lists.zooko.com/mailman/listinfo/revctrl || logs: http://colabti.org/irclogger/irclogger_logs/revctrl or http://www.scooter.cx/~mozbot/ || see channels of specific systems for hel
Chat Room - 43 users - 59 minutes ago - current topic: We're elite privateers who like to talk about GNU/Linux, BSD, mini-itx systems, wardriving, lanparty, programming, the universe and anything else in a civilized way! | Have you made IRC a better place for you and for me and the entire chatters today? | https://twitter.com/CorsairIRC and https://diasp.org/u/corsairirc | Merry Christmas and Happy New Year to all privateers!
Chat Room - 16 users - 59 minutes ago - current topic: seL4 verified microkernel | TIMEZONE MATTERS: Can only guarantee answers from 9am-5pm Sydney time | Quick-start guide https://wiki.sel4.systems/Getting%20started | FAQ https://wiki.sel4.systems/FrequentlyAskedQuestions | What is verification? https://sel4.systems/Info/FAQ/proof.pml | Mailing list (very active) http://sel4.systems/pipermail/devel/ | Github https://github.com/seL4/seL4
Chat Room - 134 users - 59 minutes ago - current topic: Tool chain support and discussion for Posix(tm)-like operating systems | We cover the range of development tools (compilers, assemblers, linkers, makefiles, debuggers, developer applications & utilities, etc.) | http://freenode.net/changuide | http://freenode.net/catalysts | If you need help then WAIT for an answer. | Paste: http://paste.debian.net/
Chat Room - 37 users - 59 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 - 68 users - 59 minutes ago - current topic: Programming Language Design - discussing programming languages designs, especially new/radical ideas and new/lesser known languages. Old topics: type systems, memory management, parallel programming, concurrency, and implementation issues. Discussed: Python, Scala, Clojure, F#, Haskell/Clean/CAL, Go, Rust, or Category: Design Chat Rooms