Комната чата - Пользователей: 22 - 112 минут назад - актуальная тема: Linaro Systems Team :: Maintenance Team: bcc/spoonix/suihkulokki :: Hosts that we manage https://git.linaro.org/infrastructure/ansible-playbooks.git/tree/hosts Категоия: Linaro Systems Комнаты чатов
Комната чата - Пользователей: 15 - 112 минут назад - актуальная тема: https://malleable.systems | Contribute to the catalog and blog: https://github.com/malleable-systems/malleable.systems Категоия: Systems Комнаты чатов
Комната чата - Пользователей: 178 - 112 минут назад - актуальная тема: 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 ask and WAIT for an answer. | Paste: http://paste.debian.net/
Комната чата - Пользователей: 6 - 112 минут назад - актуальная тема: 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
Комната чата - Пользователей: 21 - 112 минут назад - актуальная тема: seL4 verified microkernel | Please EXPLICITLY ASK PERMISSION to cite or quote answers given in here | 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)
Комната чата - Пользователей: 35 - 112 минут назад - актуальная тема: 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 Категоия: Computer Science Комнаты чатов
