欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狗视频
来自开放百科 - 灰狐
（版本间的差异）
小 (→简介) |
小 (→链接) |
||
| 第13行： | 第13行： | ||
==链接== | ==链接== | ||
| + | *[https://mp.weixin.qq.com/s?src=3×tamp=1494467094&ver=1&signature=4w3eBJUFzk*Q3BC3t13gzMZyrf6ceI7IepKfsdoyyGB0yVQo1zUzfYLnRljOeji9uk5idW662GKlyjfuQb825IIR9Z-a1lUvgs04NfQ4qyDa-TgIK-hgYMLB9-PPemnxvFsF1rZwLG1rJa6oE9u70A== 腾讯领投4亿，估值达100亿，因色情直播被骂，斗鱼是王思聪都打不败的对手] | ||
[[category:huigou]] | [[category:huigou]] | ||
2017年5月11日 (四) 01:46的版本
灰狗直播
目录 |
简介
架构
PC客户端UDP，Web 端TCP，移动端UDP，P2P超级节点。
功能
项目
图集
链接
分享您的观点
