欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Jabber
来自开放百科 - 灰狐
Jabber 类似一台 XML 路由器.
Jabber: Open Instant Messaging and a Whole Lot More, Powered by XMPP http://www.jabber.org/
Jabber, Inc. Enterprise Instant Messaging http://www.jabber.com/
服务器软件
ejabberd http://ejabberd.jabber.ru/
Wildfire ( Openfire ) http://www.jivesoftware.org/
jabberd http://jabberstudio.org/
Client软件
- Linux平台: Gaim, Gajim, Gossip, Kopete, Psi, Tkabber
- Macintosh平台: Adium, iChat, Psi
- Windows平台: Exodus, Pandion, Psi, Trillian Pro
Blog
CSDN Jabber 圈子 http://blog.csdn.net/group/jabber
XMPP Jabber practice 即时通讯实践 http://hi.baidu.com/jabber
分享您的观点