灰狐量子实验室

简介

灰狐量子实验室专注灰狐大脑、量子计算、数学物理、编程语言、人工智能、机器人。

通过类似 Warped Perception 致力于利用科学、工程和技术构建疯狂的项目，揭示和探索各种各样的有趣事物。

AI + Blockchain，这是未来十年的趋势

OpenAI/OpenCog + OpenDAO

编程语言、科学工程、数学物理、数理逻辑研究是重点。

打造 Huihoo Brain

成立更多分布式灰狐量子实验室，并协同工作在一起。

并推动开放大学。

愿景

普适人工智能

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. // 帮助人和机器更好的学习

深度学习模型太大？这家公司直接跑在了树莓派上

服务

数学科学软件是非常有前景和市场的产品领域，有清晰的商业模式。

以 ACL2、Coq、Scilab、GNU Octave、Maxima、SageMath 等开源数学科学软件入手，逐步积累和形成优势。

数学/物理学教学辅导，数学科学软件研发与服务，Fortran/Lisp/C++编程语言教育培训咨询，计算机图形学/计算机视觉/计算语言学相关服务，定理机器证明和形式化验证服务，知识图谱知识管理等。

新闻

个人学习计划 (2022.08.15)
灰狐人工智能实验室更名为灰狐量子实验室。 (2017.12.26)
深度大脑更名为灰狐大脑，一只聪明的狐狸。(2017.9.14)

历史

16年前，灰狐通过JFox、Orbas等项目发起了开源中间件和灰狐社区。

当前，人工智能、大数据和区块链正在重塑世界，接下来10年(2017-2027)靠它们了。

它们是现在和未来商业社会的三大生产要素：

AI（生产力）
大数据（生产资料）
区块链（生产关系）

编程语言

编译器技术是计算工业的基石，系统、软件要运行起来都离不开它。

Fortran、Lisp、C/C++ 是我们的基础和标配语言。

虚拟机也是我们研究的核心方向，如：Erlang VM、JVM

我们也在设计和实现一个新语言：E language

感兴趣语言有：

Erlang 并发语言
Haskell: 区块链函数式编程语言
OCaml
PHP 最好的编程语言 :)
Ruby 对程序员最友好的编程语言
Smalltalk、Racket 研究教育 STEM 类设计编程语言

...

IDE和Editor

IDEX项目
Eclipse

通过灰狐量子实验室汇聚更多编程语言爱好者和程序员。

基础设施

Huihoo Cloud 提供基础设施。

Cloud

将大数据和人工智能的算力进行云化，将HPCC和MXNet在云端进行深度集成。

大数据

大数据作业通常分为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）的数据分析业务。

项目

计算机视觉是实验室的核心研究方向：

TensorFlow和Caffe2是核心项目
DeepVC
D3

HPC并行计算

Community building blocks for HPC systems

Open MPI Open Source High Performance Computing
并行计算, OpenMP, OpenCL, OpenACC
OpenHPC, Beowulf
超级计算项目为灰狐人工智能实验室提供算力。
Open Compute Project
AI accelerator
PMIx Process Management for Exascale Environments
Hot Chips A Symposium on High Performance Chips

GPU

NVIDIA Qwiklabs 实验室
GPU集群折腾手记构建自己的GPU集群

FPGA

ARM

ARM是普适人工智能的核心计算平台
Hypriot Blog Docker Pirates ARMed with explosive stuff
ARM Mali GPUs
Embedded Vision Academy

看听说想

机器人&Bot

一切人工的，都可以智能。

开源机器人项目

Robot operating system(ROS)是机器人核心操作系统。

OpenBot：开放机器人，实践AI和VA车载语言助手、聊天Bot、告警Bot、虚拟助手等等，每一个设备都住着一位Bot。

操作系统

数学物理

高斯说：“数学是科学的女王”。

数学和物理是灰狐人工智能的基石。

多元微积分、统计与推理、线性代数是学习机器学习的先决条件。

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
OpenAI and Dota 2
阿里巴巴为什么要选择星际争霸作为AI算法研究环境？

打败专业围棋棋手的AI软件：

区块链

金融资本

组织

文档

图集

创新实验室
BitScope Clusters
FPGA系统KV-Direct
ARM生态系统

链接