欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
SocialID
来自开放百科 - 灰狐
SocialID：社交网络ID
Social ID as a Web Services
用户可使用不同的社区账号登录系统，如：Facebook、Twitter、Google、QQ、新浪微博等。
用户维护自己的社区账号信息，可选择并切换不同的账号登录，且展现不同账号的更新信息。如使用新浪微博账号登录，用户页面显示最新微博信息，若切换到QQ账号，则显示QQ信息。
采用各社区网站的OAuth验证来自socialid.ws的社交ID服务。
参考
链接
分享您的观点
