Chat Room - 268 users - 68 minutes ago - current topic: Just ask your full question, then wait! | Discuss algorithms, data structures, computer programming contest problems, etc. | Join ##puzzles for puzzles. | Use http://codepad.org/ to share code. | Use http://mathb.in/ to share math. | Don't be sorry for your bad English: https://goo.gl/xZkzh1 | Visit our wiki at http://algorithm.city Category: Programming Chat Rooms
Chat Room - 29 users - 68 minutes ago - current topic: WE ♥ Paul Richard I by the Grace of God of the United Kingdom of Debian and Ubuntu and of his other realms King Head of the Hy Programming Language Defender of the Faith Grand Officer of the OSI | Today 15:00 UTC autograph session with paultag | Tomorrow: GR to rename Debian to Paultagian | HAIRY CANDY for HIS MAJTAGSTY | Home of ð Category: Debian Pau Chat Rooms
Chat Room - 113 users - 68 minutes ago - current topic: Agda: is it a dependently-typed programming language? Is it a proof-assistant based on intuitionistic type theory? ¯\(°_0)/¯ Dunno, lol. | Wiki: http://bit.ly/7pSJE | Logs: http://agda.orangesquash.org.uk/ | http://news.gmane.org/gmane.comp.lang.agda | Please comment your Agda | Lib: http://bit.ly/RivPPG Category: Agda Chat Rooms
Chat Room - 4 users - 68 minutes ago - current topic: Parenthesis | > 4 lines - http://gist.github.com | General programming channel | Be warned: instant bans are given out to people who are nasty to others. | Keep your religious/political views to yourself | This channel is quite dead, don't be surprised if no one talks back. But do ping dom96 if you have something important to say.
Chat Room - 35 users - 68 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 |