欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐量子实验室
灰狐人工智能实验室
公司名拟定为：深度大脑 Deepbrain
目录 |
愿景
普适人工智能
AI on every device everywhere, embedded versions of AI.
AI + IoT + Zephyr/ROS + Raspberry Pi + Arduino
At Huihoo, we're building the brain of study. // 帮助人和机器更好的学习
历史
16年前，灰狐通过JFox、Orbas等项目发起了开源中间件和灰狐社区。
基础设施
以Kubernetes容器为代表的应用形态与以虚拟化为代表的系统形态将会完美融合于OpenStack之上，并与软件定义网络和软件定义存储一起统治下一代数据中心。
AWS
将大数据和人工智能的算力进行云化，将HPCC和MXNet在云端进行深度集成。
届时启用 https://aws.huihoo.com 服务。
大数据
大数据作业通常分为IO密集型（离线数据分析）、计算密集型（在线数据分析）和流计算（实时数据分析）三种。IO密集型指以IO处理为核心作业对象的作业，例如日志分析，数据仓库等，通常使用MapReduce、YARN框架；计算密集型指以内存数据的处理为核心作业对象的作业，例如仿真计算、人工智能等，通常使用Spark框架；流计算通常使用Storm框架对实时数据流进行处理。
- Hortonworks是一个面向数据中心的数据平台，可管理动态数据和静态数据，具备安全性、运营和治理的企业级能力。
- OpenStack Sahara 提供简单部署 Hadoop or Spark on top of OpenStack 的能力，定义BDaaS（BigData as a Service）。
- OpenStack云数据中心的大数据云化演进路线
Sahara应用场景：
- 提供在OpenStack上快速配置和部署大数据集群的能力；
- 充分利用OpenStack IaaS层的计算能力；
- 提供分析即服务（Analyticsas a Service，AaaS）的数据分析业务。
项目
计算机视觉是实验室的核心研究方向：
超级计算
超级计算项目为灰狐人工智能实验室提供算力。
GPU
- NVIDIA Qwiklabs 实验室
- GPU集群折腾手记 构建自己的GPU集群
FPGA
- FPGA AI and OpenCL
- 英特尔FPGA机器学习
- 腾讯FPGA云服务
ARM
- ARM是普适人工智能的核心计算平台
- ARM Mali GPUs
- Embedded Vision Academy
看听说想
机器人
Robot operating system(ROS)是机器人核心操作系统。
编译器
编译器技术是计算工业的基石，系统、软件要运行起来都离不开它。
编程语言有：
通过灰狐FCS俱乐部汇聚更多编程语言爱好者。
数学
高斯说：“数学是科学的女王”。
数学是灰狐人工智能的基石。
多元微积分、统计与推理、线性代数是学习机器学习的先决条件。
GNU Octave、MATLAB、Julia(Julia Mathematical)、Python和R是核心的数值计算、统计分析语言和软件包。
灰狐D3
D3是一个大数据、机器学习的开源解决方案。
灰狐教育
为灰狐教育提供人工智能服务。
灰狗游戏
为灰狗游戏提供人工智能服务。
- Torch由Lua开发，在Facebook有大量应用。
- Facebook TorchCraft A bridge between Torch and StarCraft.
- DeepMind Lab A customisable 3D platform for agent-based AI research
- OpenAI Universe
区块链
- 用人工智能来驱动区块链技术
- Hyperledger Project 超级账本项目的持续跟进
