欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐量子实验室
来自开放百科 - 灰狐
(版本间的差异)
小 (→NVIDIA) |
小 (→NVIDIA) |
||
第13行: | 第13行: | ||
[[Super Compute Project|超级计算项目]]为灰狐人工智能实验室提供算力。 | [[Super Compute Project|超级计算项目]]为灰狐人工智能实验室提供算力。 | ||
− | == | + | ==GPU== |
*[https://nvidia.qwiklab.com NVIDIA Qwiklabs 实验室] | *[https://nvidia.qwiklab.com NVIDIA Qwiklabs 实验室] | ||
*[https://mli.github.io/gpu/2016/01/17/build-gpu-clusters/ GPU集群折腾手记] 构建自己的[[GPU]]集群 | *[https://mli.github.io/gpu/2016/01/17/build-gpu-clusters/ GPU集群折腾手记] 构建自己的[[GPU]]集群 |
2017年2月6日 (一) 03:32的版本
灰狐人工智能实验室
公司名拟定为:深度大脑 Deepbrain
目录 |
愿景
历史
16年前,灰狐通过JFox、Orbas等项目发起了开源中间件和灰狐社区。
超级计算
超级计算项目为灰狐人工智能实验室提供算力。
GPU
- NVIDIA Qwiklabs 实验室
- GPU集群折腾手记 构建自己的GPU集群
FPGA
- FPGA AI and OpenCL
- 英特尔FPGA机器学习
- 腾讯FPGA云服务
看听说想
机器人
Robot operating system(ROS)是机器人核心操作系统。
编译器
编译器技术是计算工业的基石,系统、软件要运行起来都离不开它。
编程语言有:
数学
高斯说:“数学是科学的女王”。
数学是灰狐人工智能的基石。
多元微积分、统计与推理、线性代数是学习机器学习的先决条件。
GNU Octave、Julia(Julia Mathematical)、Python和R是核心的数值计算、统计分析语言和软件包。
灰狐D3
D3是一个大数据、机器学习的开源解决方案。
AWS
将大数据和人工智能的算力进行云化,将HPCC和MXNet在云端进行深度集成。
届时启用 https://aws.huihoo.com 服务。
灰狐教育
为灰狐教育提供人工智能服务。
灰狗游戏
为灰狗游戏提供人工智能服务。
- Torch由Lua开发,在Facebook有大量应用。
- Facebook TorchCraft A bridge between Torch and StarCraft.
- DeepMind Lab A customisable 3D platform for agent-based AI research
- OpenAI Universe
区块链
用人工智能来驱动区块链技术
金融资本
组织
文档
图集
链接
分享您的观点