Chat Search    Chat Directory    About irc2go
Category:  Computers  >  Software  >  Development
irc2go
Online Chat

Webchat: sel4 freenode

Chat Room - 29 users - 98 minutes ago - known since 2016-10-27 - current topic:  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)
Webchat
(Browser + Java)
Appchat
(irc:// + App)
Please choose a nickname and press "Continue" to establish a webchat connection to network freenode and to enter the chat room!
Chat Room:
Nickname:

Chat Directory:    Internet Chat    Games Chat    Apple Chat    Skype Chat    Computer Chat    Windows Chat    Linux Chat    iPhone Chat    . . .