灰狐咨询

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(生态系统)
(咨询范围)
 
(未显示1个用户的32个中间版本)
第6行: 第6行:
 
灰狐服务:顾问、咨询、[[灰狐公开课|培训]]、支持
 
灰狐服务:顾问、咨询、[[灰狐公开课|培训]]、支持
  
[[灰狐安全]][[灰狐数据]]、[[灰狐教育]] 是灰狐的核心业务。
+
Formal semantics +  [[Formal mathematics]] + [[Formal verification]]
  
软硬件形式化验证教育培训和服务是核心咨询内容,[[OCaml]]([[Coq]]) & [[Haskell]]([[Agda]], [[Idris]]) 是核心语言和形式化能力。
+
[[Open Provable Foundation]], 软硬件形式化验证教育培训和服务是核心咨询内容,[[ML]]/[[OCaml]]([[isabelle]]/HOL, [[Coq]]) & [[Haskell]]([[Agda]]) & [[Lisp]]([[ACL2]]) & [[C++]]([[Z3]])是核心语言和形式化能力。
 +
 
 +
编译器:[[GCC]], [[LLVM]] [[文件:GCC-logo.png]] [[文件:LLVM-logo.png]]
 +
 
 +
与合作伙伴一起策划和组建创新实验室。
  
 
==目标==
 
==目标==
 
致力于成为企业发展的长期合作伙伴。
 
致力于成为企业发展的长期合作伙伴。
 +
 +
帮助合作伙伴公司做好两件事:技术 + 增长(研发自动化、增长黑客)
  
 
==咨询范围==
 
==咨询范围==
提供开源解决方案和咨询服务,做你身边的开源顾问。
+
提供开源技术和管理解决方案和咨询服务,做你身边的技术管理顾问。
  
We Build Open Source ERP, CRM, CMS, eCommerce, Identity & API Management.
+
*1、形式化语义、形式化验证、程序员的数学
* 职业规划、职场建议;
+
*2、编程语言和编译器虚拟机
* 开源软件选型和服务;
+
*3、软件测试、研发管理、DevOps
* 编程语言和编程学习;
+
*4、与合作伙伴一起策划和组建开放的创新实验室
* 软件开发、系统架构;
+
 
* 产品规划、原型设计;
+
1+2 技术,3+4 管理
* 写作、自媒体咨询;
+
* 研发管理、DevOps;
+
* 网站、内容管理系统;
+
* ERP,CRM,eCommerce。
+
  
 
==相关内容==
 
==相关内容==
第46行: 第48行:
  
 
==服务项目==
 
==服务项目==
 +
[[文件:Haskell-logo.png|right|Haskell]]
 +
*函数式编程:[[Haskell]]
 
*编程模型:[[ActorX|Actor model]]
 
*编程模型:[[ActorX|Actor model]]
 
*[[E3_data_model|数据模型]]
 
*[[E3_data_model|数据模型]]
第61行: 第65行:
 
*[[Huihoo Cloud|私有云]]/[[Platform as a Service|PaaS]]:基于[[Rancher]]或[[Apache Mesos]]/DCOS  + [[Kubernetes]]构建企业私有云、容器云。
 
*[[Huihoo Cloud|私有云]]/[[Platform as a Service|PaaS]]:基于[[Rancher]]或[[Apache Mesos]]/DCOS  + [[Kubernetes]]构建企业私有云、容器云。
  
==EKC堆栈==
+
==软件供应链==
[https://blog.csdn.net/wsscy2004/article/details/50166283 使用Elasticsearch,Kafka和Cassandra构建流式数据中心]
+
[[文件:OpenChain-logo.png|right|OpenChain]]
 +
[[文件:spdx-logo.png|right|SPDX]]
 +
开放供应链,确保开放源码的交付具有可信和一致的合规信息。
 +
 
 +
[https://www.openchainproject.org/ OpenChain] Building Trust In The Supply Chain Since 2016
 +
 
 +
实施 Software Bill of Materials (SBOM) 标准,降低软件供应链风险。
 +
*[https://cyclonedx.org/ OWASP CycloneDX]
 +
*[https://spdx.dev/ SPDX]
 +
*[https://dependencytrack.org/ Dependency-Track] [https://docs.dependencytrack.org/integrations/community-integrations/ Community Integrations]
 +
*[https://ossindex.sonatype.org/ Sonatype OSS INDEX] Find Safe Components
 +
*[https://github.com/eclipse-cbi/best-practices/blob/main/software-supply-chain/osssc-best-practices.md Open Source Software Supply Chain Best Practices at the Eclipse Foundation]
 +
 
 +
==TLS/SSL==
 +
[[灰狐安全]] [[文件:gnutls-logo.png|GnuTLS]] [[文件:Openssl.png|OpenSSL]] [[文件:LibreSSL-logo.jpeg|LibreSSL]] [[文件:Letsencrypt-logo.png|Let's Encrypt]]
  
 
==SMACK堆栈==
 
==SMACK堆栈==
第86行: 第104行:
 
*[[Android ecosystem]]
 
*[[Android ecosystem]]
 
*[[Haskell ecosystem]]
 
*[[Haskell ecosystem]]
*[[OCaml ecosysteml]]
+
*[[OCaml ecosystem]]
 
*[[Lisp ecosystem]]
 
*[[Lisp ecosystem]]
 
*[[C++ ecosystem]]
 
*[[C++ ecosystem]]
第102行: 第120行:
  
 
==文档==
 
==文档==
*[https://docs.huihoo.com/open-source/opensource-and-freedom-201810.pdf 开源已成为企业核⼼竞争⼒]
+
*[https://docs.huihoo.com/open-source/opensource-and-freedom-201810.pdf 开源已成为企业核心竞争力]
 
*[http://docs.huihoo.com/apache/mesos/mesos-the-heart-of-the-data-center-operating-system.pdf Mesos,数据中心操作系统的核心]
 
*[http://docs.huihoo.com/apache/mesos/mesos-the-heart-of-the-data-center-operating-system.pdf Mesos,数据中心操作系统的核心]
 
*[http://docs.huihoo.com/big-data/data-processing-platforms-architectures-with-spark-mesos-akka-cassandra-and-kafka.pdf SMACK Architectures: Building data processing platforms with Spark, Mesos, Akka, Cassandra and Kafka]
 
*[http://docs.huihoo.com/big-data/data-processing-platforms-architectures-with-spark-mesos-akka-cassandra-and-kafka.pdf SMACK Architectures: Building data processing platforms with Spark, Mesos, Akka, Cassandra and Kafka]
第119行: 第137行:
 
image:project-open-modules.png|项目管理Modules
 
image:project-open-modules.png|项目管理Modules
 
image:enterprise-project-management.png|项目管理
 
image:enterprise-project-management.png|项目管理
 +
image:huihoo-consulting-01.jpeg|书籍
 +
image:dependencytrack-integrations.png|供应链集成
 +
image:Establishing-Innovation-Lab.jpg|建立创新实验室
 
</gallery>
 
</gallery>
  
第155行: 第176行:
  
 
[[category:huihoo]]
 
[[category:huihoo]]
 +
[[category:formal]]
 +
[[category:proof assistant]]
 +
[[category:security]]
 +
[[category:programming language]]

2023年5月12日 (五) 05:25的最后版本

灰狐咨询

目录

[编辑] 简介

灰狐,一个开放式组织,提供开源解决方案和咨询服务,你身边的开源顾问。

灰狐服务:顾问、咨询、培训、支持

Formal semantics + Formal mathematics + Formal verification

Open Provable Foundation, 软硬件形式化验证教育培训和服务是核心咨询内容,ML/OCamlisabelle/HOL, Coq) & HaskellAgda) & LispACL2) & C++Z3)是核心语言和形式化能力。

编译器:GCC, LLVM GCC-logo.png LLVM-logo.png

与合作伙伴一起策划和组建创新实验室。

[编辑] 目标

致力于成为企业发展的长期合作伙伴。

帮助合作伙伴公司做好两件事:技术 + 增长(研发自动化、增长黑客)

[编辑] 咨询范围

提供开源技术和管理解决方案和咨询服务,做你身边的技术管理顾问。

  • 1、形式化语义、形式化验证、程序员的数学
  • 2、编程语言和编译器虚拟机
  • 3、软件测试、研发管理、DevOps
  • 4、与合作伙伴一起策划和组建开放的创新实验室

1+2 技术,3+4 管理

[编辑] 相关内容

[编辑] 服务项目

Haskell

[编辑] 软件供应链

OpenChain
SPDX

开放供应链,确保开放源码的交付具有可信和一致的合规信息。

OpenChain Building Trust In The Supply Chain Since 2016

实施 Software Bill of Materials (SBOM) 标准,降低软件供应链风险。

[编辑] TLS/SSL

灰狐安全 GnuTLS OpenSSL LibreSSL Let's Encrypt

[编辑] SMACK堆栈

SMACK堆栈:基于 Spark, Mesos, Akka, Cassandra 和 Kafka 构建,The SMACK Stack is the New LAMP Stack

Spark-mesos-akka-cassandra-kafka.jpg

堆栈扩展

[编辑] 生态系统

[编辑] 文档

[编辑] 图集

[编辑] 客户

[编辑] 方式

现场服务、在线支持、知识星球

我们通过知识星球的社区方式和客户持续、深度交流,社区里有很多的行业和技术专家,大家可就一些具体问题一起展开交流和深入探讨。

知识星球:灰狐的朋友们

Zsxq.jpg

[编辑] 咨询师

咨询师/布道师,布道之道,引领团队拥抱技术创新

[编辑] 链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱