灰狐咨询

来自开放百科 - 灰狐
（版本间的差异）
跳转到： 导航, 搜索
小 (→‎服务项目)
小 (→‎咨询范围)
 
（未显示1个用户的89个中间版本）
第2行： 第2行：
  
 
==简介==
 
==简介==
−
灰狐服务：咨询、[[灰狐公开课|培训]]、支持
+
灰狐，一个开放式组织，提供开源解决方案和咨询服务，你身边的开源顾问。
 +
 
 +
灰狐服务：顾问、咨询、[[灰狐公开课|培训]]、支持
 +
 
 +
Formal semantics +  [[Formal mathematics]] + [[Formal verification]]
 +
 
 +
[[Open Provable Foundation]]， 软硬件形式化验证教育培训和服务是核心咨询内容，[[ML]]/[[OCaml]]（[[isabelle]]/HOL, [[Coq]]） & [[Haskell]]（[[Agda]]） & [[Lisp]]（[[ACL2]]） & [[C++]]（[[Z3]]）是核心语言和形式化能力。
 +
 
 +
编译器：[[GCC]], [[LLVM]] [[文件:GCC-logo.png]] [[文件:LLVM-logo.png]]
 +
 
 +
与合作伙伴一起策划和组建创新实验室。
 +
 
 +
==目标==
 +
致力于成为企业发展的长期合作伙伴。
 +
 
 +
帮助合作伙伴公司做好两件事：技术 + 增长（研发自动化、增长黑客）
  
 
==咨询范围==
 
==咨询范围==
 +
提供开源技术和管理解决方案和咨询服务，做你身边的技术管理顾问。
 +
 +
*1、形式化语义、形式化验证、程序员的数学
 +
*2、编程语言和编译器虚拟机
 +
*3、软件测试、研发管理、DevOps
 +
*4、与合作伙伴一起策划和组建开放的创新实验室
 +
 +
1+2 技术，3+4 管理
 +
 +
==相关内容==
 +
*[[DDD]] + [[Microservices]] 构建更成功的团队和软件
 
*[https://www.amazon.cn/dp/B008MIFWJG 《精益创业》]和[https://www.amazon.cn/dp/B077RG245G 《增长黑客》]是启动和增长的基本框架，给出了新创企业的成长思维和最佳实践；
 
*[https://www.amazon.cn/dp/B008MIFWJG 《精益创业》]和[https://www.amazon.cn/dp/B077RG245G 《增长黑客》]是启动和增长的基本框架，给出了新创企业的成长思维和最佳实践；
−
*开放的企业文化、打造[[开放式组织]]，企业开源、开放战略咨询；
+
*开放的企业文化、打造[[开放式组织]]，开源软件管理、企业开源、[https://linuxfoundation.cn/resources/open-source-guides/ 开源指南] [https://linuxfoundation.cn/projects/services/ 开源项目服务] 开放战略咨询；
 
*[[ActorX]]并发、异步、实时架构和基础设施咨询；
 
*[[ActorX]]并发、异步、实时架构和基础设施咨询；
 
*[[IT management|IT管理]]/[[ITSM]]、IT基础设施架构、基础设施自动化、[[Platform as a Service|PaaS]]、[[continuous integration|CI]]/[[Continuous delivery|CD]]、[[DevOps]]、[[Google SRE]]运维实践；
 
*[[IT management|IT管理]]/[[ITSM]]、IT基础设施架构、基础设施自动化、[[Platform as a Service|PaaS]]、[[continuous integration|CI]]/[[Continuous delivery|CD]]、[[DevOps]]、[[Google SRE]]运维实践；
−
*[[Debian]]/[[Ubuntu]]和[[Red Hat]]/[[CentOS]] Linux发行版、[[CoreOS]]/[[Project Atomic|Atomic]]容器OS、[[Microsoft Windows|Windows]]克隆[[ReactOS]]、机器人操作系统[[Robot operating system|ROS]]、[[FreeRTOS]]/[[Zephyr Project|Zephyr]]微控制器实时操作系统、[[Raspberry Pi|树莓派]]和[[Arduino]]、数据中心操作系统[[Apache Mesos|DC/OS]]、[https://github.com/redox-os/redox Redox] A [[Rust]] [[operating system]]；
+
*[[Debian]]/[[Ubuntu]]和[[Red Hat]]/[[CentOS]] Linux发行版、[[CoreOS]]/[[Project Atomic|Atomic]]容器OS、机器人操作系统[[Robot operating system|ROS]]、[[FreeRTOS]]/[[Zephyr Project|Zephyr]]微控制器实时操作系统、[[Raspberry Pi|树莓派]]和[[Arduino]]、数据中心操作系统[[Apache Mesos|DC/OS]]、[https://github.com/redox-os/redox Redox] A [[Rust]] [[operating system]]；
 
*[[Amazon Web Services]]、[[Microsoft Azure]]、[[Google Cloud Platform]]公有云咨询；
 
*[[Amazon Web Services]]、[[Microsoft Azure]]、[[Google Cloud Platform]]公有云咨询；
 
*[[Security|安全]]、[[Firewall|防火墙]]、[https://amazonaws-china.com/cn/products/security/ AWS 云安全性、身份与合规性] [https://cloud.google.com/security/ Google 安全模型]
 
*[[Security|安全]]、[[Firewall|防火墙]]、[https://amazonaws-china.com/cn/products/security/ AWS 云安全性、身份与合规性] [https://cloud.google.com/security/ Google 安全模型]
 
*[[Apache Cassandra|Cassandra]]、[[PostgreSQL]]开源数据库替代[[Oracle Database|Oracle]]、[[Microsoft SQL Server|SQL Server]]商业数据库；
 
*[[Apache Cassandra|Cassandra]]、[[PostgreSQL]]开源数据库替代[[Oracle Database|Oracle]]、[[Microsoft SQL Server|SQL Server]]商业数据库；
−
*[[Data_science|数据科学]]、[[big data|大数据]]、[[Artificial intelligence|人工智能]]；
+
*[[Data_science|数据科学]]、[[big data|大数据]]、[[Artificial intelligence|人工智能]]、[[Business intelligence|商业智能]]；
 
*[[odoo PM|项目管理]]、[[灰狐协作|研发管理]]；
 
*[[odoo PM|项目管理]]、[[灰狐协作|研发管理]]；
 
*开源软件企业内训，[http://gitbook.cn/gitchat/activity/59f5338eb1e2ca682628410d 值得关注的开源软件推荐]；
 
*开源软件企业内训，[http://gitbook.cn/gitchat/activity/59f5338eb1e2ca682628410d 值得关注的开源软件推荐]；
第22行： 第48行：
  
 
==服务项目==
 
==服务项目==
 +
[[文件:Haskell-logo.png|right|Haskell]]
 +
*函数式编程：[[Haskell]]
 
*编程模型：[[ActorX|Actor model]]
 
*编程模型：[[ActorX|Actor model]]
 +
*[[E3_data_model|数据模型]]
 +
*模块化：[[OSGi]]、[[Symfony]]
 
*软件堆栈：[[SMACK堆栈|SMACK stack]]
 
*软件堆栈：[[SMACK堆栈|SMACK stack]]
−
*监控系统：[[Prometheus]]
+
*监控系统：[[Prometheus]]、[https://github.com/netdata/netdata Netdata]
 
*[[灰狐数据]]：[[D3]]、[[Anaconda python|Anaconda]]、[[M3|增长黑客]]
 
*[[灰狐数据]]：[[D3]]、[[Anaconda python|Anaconda]]、[[M3|增长黑客]]
−
*编程语言：[[C++]]/[[Python]]/[[Erlang]]程序设计，以[[Racket]]为设计实现平台讲解程序语言设计和编程语言原理。
+
*编程语言：[[C programming language|C]]/[[C++]]/[[Rust]]/[[C Sharp|C#]]/[[PHP]]/[[Erlang]]程序设计，以[[Racket]]为设计实现平台讲解程序语言设计和编程语言原理。
 
*[[android ecosystem|Android生态系统]]：Hack [[LineageOS|Android]]，围绕Android构建开放生态系统。
 
*[[android ecosystem|Android生态系统]]：Hack [[LineageOS|Android]]，围绕Android构建开放生态系统。
−
*[[E3 odoo|电子商务]]：电商ERP和企业运营支撑系统。
+
*[[E3|企业应用和电子商务]]：电商ERP和企业运营支撑系统。
 
*[[blockchain|区块链]]：全球金融的基础架构。
 
*[[blockchain|区块链]]：全球金融的基础架构。
 
*[[Artificial intelligence|人工智能]]：[[data mining|数据挖掘]]、[[Machine learning|机器学习]]/[[deep learning|深度学习]]
 
*[[Artificial intelligence|人工智能]]：[[data mining|数据挖掘]]、[[Machine learning|机器学习]]/[[deep learning|深度学习]]
−
*[[database|数据库]]：[[PostgreSQL]]
+
*[[database|数据库]]：[[PostgreSQL]]、[[Apache HBase]]、[[Apache Cassandra]]
 
*[[Cloud storage|云存储]]：基于[[Ceph]]构建经济的PB/EB级的存储基础设施，是[[OpenStack]]等云平台的首选软件定义存储解决方案
 
*[[Cloud storage|云存储]]：基于[[Ceph]]构建经济的PB/EB级的存储基础设施，是[[OpenStack]]等云平台的首选软件定义存储解决方案
−
*[[Huihoo Cloud|私有云]]/[[Platform as a Service|PaaS]]：基于[[Apache Mesos]]/DCOS  + [[Docker]] + [[Kubernetes]]构建企业私有云、容器云。
+
*[[Huihoo Cloud|私有云]]/[[Platform as a Service|PaaS]]：基于[[Rancher]]或[[Apache Mesos]]/DCOS  + [[Kubernetes]]构建企业私有云、容器云。
 +
 
 +
==软件供应链==
 +
[[文件: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堆栈==
第56行： 第103行：
 
==生态系统==
 
==生态系统==
 
*[[Android ecosystem]]
 
*[[Android ecosystem]]
 +
*[[Haskell ecosystem]]
 +
*[[OCaml ecosystem]]
 +
*[[Lisp ecosystem]]
 
*[[C++ ecosystem]]
 
*[[C++ ecosystem]]
 
*[[Rust ecosystem]]
 
*[[Rust ecosystem]]
第70行： 第120行：
  
 
==文档==
 
==文档==
 +
*[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]
第77行： 第128行：
 
==图集==
 
==图集==
 
<gallery>
 
<gallery>
 +
image:pim-mdm-dam-cdp-dxp-dcp.png|企业级应用
 +
image:open-source-office.png|开源办公室
 +
image:Functions-as-a-Service.png|FaaS
 
image:smack-stack-is-the-new-lamp-stack-comparison.png|SMACK堆栈
 
image:smack-stack-is-the-new-lamp-stack-comparison.png|SMACK堆栈
 
image:SMACK-pipeline-architecture.png|SMACK流水线架构
 
image:SMACK-pipeline-architecture.png|SMACK流水线架构
第83行： 第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>
  
 
==客户==
 
==客户==
−
*琥珀亲子：编程语言、基础架构、[[DevOps]]、私有云、[[Mesos ecosystem|Apache Mesos]]
+
*琥珀亲子：基础架构、[[DevOps]]、私有云、[[Mesos ecosystem|Apache Mesos]]，已经迁移至 [[Kubernetes]]。
 +
*魔租：研发管理、软件架构、分布式协作、技术支持、增长黑客
 +
*苏打出行：[https://github.com/openweb/sodalab 苏打实验室创新项目] [https://github.com/Microsoft/AirSim/blob/master/docs/who_is_using.md 微软AirSim用户组成员] [https://docs.microsoft.com/zh-cn/azure/bot-service 微软VA&NLU&Bot预研]
 +
*艾体验AIUX：筹备技术部、技术部发展规划、[https://github.com/aiux GitHub项目开发运维] 人员招募、前沿技术研究、设备和技术规范等。
 +
*创道夫产业通：[[blockchain|区块链]]项目
 +
*点点科技：[[开放服务联盟]]
 
*[http://huihoo.com/services/ 更多案例]
 
*[http://huihoo.com/services/ 更多案例]
 +
 +
==方式==
 +
现场服务、在线支持、知识星球
 +
 +
我们通过知识星球的社区方式和客户持续、深度交流，社区里有很多的行业和技术专家，大家可就一些具体问题一起展开交流和深入探讨。
 +
 +
知识星球：灰狐的朋友们
 +
 +
[[文件:zsxq.jpg]]
  
 
==咨询师==
 
==咨询师==
第101行： 第172行：
 
*[https://mesosphere.com/blog/design-enterprise-software/ How we design enterprise software]
 
*[https://mesosphere.com/blog/design-enterprise-software/ How we design enterprise software]
 
*[http://dataart.com/ DataArt: Technology Consulting & Solution Design]
 
*[http://dataart.com/ DataArt: Technology Consulting & Solution Design]
 +
*[https://container-solutions.com/ Container Solutions]
 +
*[https://github.com/asc-lab Altkom Software & Consulting]
  
 
[[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/OCaml（isabelle/HOL, Coq） & Haskell（Agda） & Lisp（ACL2） & 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

堆栈扩展

[编辑] 生态系统

[编辑] 文档

[编辑] 图集

  • 企业级应用

  • 开源办公室

  • FaaS

  • SMACK堆栈

  • SMACK流水线架构

  • Spark/Akka/Kafka/Cassandra参考架构

  • DevOps参考堆栈

  • 项目管理Modules

  • 项目管理

  • 书籍

  • 供应链集成

  • 建立创新实验室

[编辑] 客户

[编辑] 方式

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

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

知识星球：灰狐的朋友们

Zsxq.jpg

[编辑] 咨询师

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

[编辑] 链接

来自“http://wiki.huihoo.com/wiki/?title=%E7%81%B0%E7%8B%90%E5%92%A8%E8%AF%A2&oldid=166710”
分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱