欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐咨询
来自开放百科 - 灰狐
（版本间的差异）
小 (→服务项目) |
小 (→咨询范围) |
||
| （未显示1个用户的131个中间版本） | |||
| 第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://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]] | + | *[[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]]公有云咨询； | ||
| + | *[[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 值得关注的开源软件推荐]； | ||
| 第19行： | 第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|增长黑客]] |
| − | *编程语言：[[ | + | *编程语言：[[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 | + | *[[E3|企业应用和电子商务]]：电商ERP和企业运营支撑系统。 |
*[[blockchain|区块链]]：全球金融的基础架构。 | *[[blockchain|区块链]]：全球金融的基础架构。 | ||
| − | *[[database|数据库]]：[[PostgreSQL]]、[[Apache Cassandra]] | + | *[[Artificial intelligence|人工智能]]：[[data mining|数据挖掘]]、[[Machine learning|机器学习]]/[[deep learning|深度学习]] |
| − | *[[Huihoo | + | *[[database|数据库]]：[[PostgreSQL]]、[[Apache HBase]]、[[Apache Cassandra]] |
| + | *[[Cloud storage|云存储]]：基于[[Ceph]]构建经济的PB/EB级的存储基础设施，是[[OpenStack]]等云平台的首选软件定义存储解决方案 | ||
| + | *[[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堆栈== | ||
[[SMACK堆栈]]：基于 Spark, Mesos, Akka, Cassandra 和 Kafka 构建，[https://mesosphere.com/blog/smack-stack-new-lamp-stack/ The SMACK Stack is the New LAMP Stack] | [[SMACK堆栈]]：基于 Spark, Mesos, Akka, Cassandra 和 Kafka 构建，[https://mesosphere.com/blog/smack-stack-new-lamp-stack/ The SMACK Stack is the New LAMP Stack] | ||
| + | |||
| + | [[文件:spark-mesos-akka-cassandra-kafka.jpg]] | ||
| + | |||
*Model: [[Scala]] and [[Akka]] | *Model: [[Scala]] and [[Akka]] | ||
*Engine: [[Apache Spark]] | *Engine: [[Apache Spark]] | ||
| 第48行： | 第103行： | ||
==生态系统== | ==生态系统== | ||
*[[Android ecosystem]] | *[[Android ecosystem]] | ||
| + | *[[Haskell ecosystem]] | ||
| + | *[[OCaml ecosystem]] | ||
| + | *[[Lisp ecosystem]] | ||
*[[C++ ecosystem]] | *[[C++ ecosystem]] | ||
| + | *[[Rust ecosystem]] | ||
*[[Scala ecosystem]] | *[[Scala ecosystem]] | ||
*[[Kotlin ecosystem]] | *[[Kotlin ecosystem]] | ||
| 第61行： | 第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/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] | ||
*[http://docs.huihoo.com/openshift/idc-business-value-of-red-hat-openshift-zh-cn.pdf 红帽 OpenShift 的业务价值] | *[http://docs.huihoo.com/openshift/idc-business-value-of-red-hat-openshift-zh-cn.pdf 红帽 OpenShift 的业务价值] | ||
| 第67行： | 第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流水线架构 | ||
| 第72行： | 第136行： | ||
image:DevOps.png|DevOps参考堆栈 | image:DevOps.png|DevOps参考堆栈 | ||
image:project-open-modules.png|项目管理Modules | image:project-open-modules.png|项目管理Modules | ||
| − | image:enterprise-project-management. | + | 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]]，已经迁移至 [[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]] | ||
==咨询师== | ==咨询师== | ||
| 第89行： | 第170行： | ||
*[https://www.lightbend.com/blog/build-streaming-fast-data-applications-spark-mesos-akka-cassandra-kafka Building Streaming And Fast Data Applications With Spark, Mesos, Akka, Cassandra And Kafka] | *[https://www.lightbend.com/blog/build-streaming-fast-data-applications-spark-mesos-akka-cassandra-kafka Building Streaming And Fast Data Applications With Spark, Mesos, Akka, Cassandra And Kafka] | ||
*[https://www.lightbend.com/blog/using-spark-kafka-cassandra-and-akka-on-mesos-for-real-time-personalization Using Spark, Kafka, Cassandra and Akka on Mesos for Real-Time Personalization] | *[https://www.lightbend.com/blog/using-spark-kafka-cassandra-and-akka-on-mesos-for-real-time-personalization Using Spark, Kafka, Cassandra and Akka on Mesos for Real-Time Personalization] | ||
| + | *[https://mesosphere.com/blog/design-enterprise-software/ How we design enterprise software] | ||
| + | *[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）是核心语言和形式化能力。
与合作伙伴一起策划和组建创新实验室。
[编辑] 目标
致力于成为企业发展的长期合作伙伴。
帮助合作伙伴公司做好两件事：技术 + 增长（研发自动化、增长黑客）
[编辑] 咨询范围
提供开源技术和管理解决方案和咨询服务，做你身边的技术管理顾问。
- 1、形式化语义、形式化验证、程序员的数学
- 2、编程语言和编译器虚拟机
- 3、软件测试、研发管理、DevOps
- 4、与合作伙伴一起策划和组建开放的创新实验室
1+2 技术，3+4 管理
[编辑] 相关内容
- DDD + Microservices 构建更成功的团队和软件
- 《精益创业》和《增长黑客》是启动和增长的基本框架，给出了新创企业的成长思维和最佳实践；
- 开放的企业文化、打造开放式组织，开源软件管理、企业开源、开源指南 开源项目服务 开放战略咨询；
- ActorX并发、异步、实时架构和基础设施咨询；
- IT管理/ITSM、IT基础设施架构、基础设施自动化、PaaS、CI/CD、DevOps、Google SRE运维实践；
- Debian/Ubuntu和Red Hat/CentOS Linux发行版、CoreOS/Atomic容器OS、机器人操作系统ROS、FreeRTOS/Zephyr微控制器实时操作系统、树莓派和Arduino、数据中心操作系统DC/OS、Redox A Rust operating system；
- Amazon Web Services、Microsoft Azure、Google Cloud Platform公有云咨询；
- 安全、防火墙、AWS 云安全性、身份与合规性 Google 安全模型
- Cassandra、PostgreSQL开源数据库替代Oracle、SQL Server商业数据库；
- 数据科学、大数据、人工智能、商业智能；
- 项目管理、研发管理；
- 开源软件企业内训，值得关注的开源软件推荐；
- 开源电商ERP/CRM/SCM/HR企业应用；
- 编译器、虚拟机、编程语言设计、Racket；
- 我们通过M3、E3、D3三个项目(简称MED)提供增长营销、企业应用、数据科学开源软件解决方案；
- 企业技术顾问、布道师。
[编辑] 服务项目
- 函数式编程：Haskell
- 编程模型：Actor model
- 数据模型
- 模块化：OSGi、Symfony
- 软件堆栈：SMACK stack
- 监控系统：Prometheus、Netdata
- 灰狐数据：D3、Anaconda、增长黑客
- 编程语言：C/C++/Rust/C#/PHP/Erlang程序设计，以Racket为设计实现平台讲解程序语言设计和编程语言原理。
- Android生态系统：Hack Android，围绕Android构建开放生态系统。
- 企业应用和电子商务：电商ERP和企业运营支撑系统。
- 区块链：全球金融的基础架构。
- 人工智能：数据挖掘、机器学习/深度学习
- 数据库：PostgreSQL、Apache HBase、Apache Cassandra
- 云存储：基于Ceph构建经济的PB/EB级的存储基础设施，是OpenStack等云平台的首选软件定义存储解决方案
- 私有云/PaaS：基于Rancher或Apache Mesos/DCOS + Kubernetes构建企业私有云、容器云。
[编辑] 软件供应链
开放供应链，确保开放源码的交付具有可信和一致的合规信息。
OpenChain Building Trust In The Supply Chain Since 2016
实施 Software Bill of Materials (SBOM) 标准，降低软件供应链风险。
- OWASP CycloneDX
- SPDX
- Dependency-Track Community Integrations
- Sonatype OSS INDEX Find Safe Components
- Open Source Software Supply Chain Best Practices at the Eclipse Foundation
[编辑] TLS/SSL
[编辑] SMACK堆栈
SMACK堆栈：基于 Spark, Mesos, Akka, Cassandra 和 Kafka 构建，The SMACK Stack is the New LAMP Stack
- Model: Scala and Akka
- Engine: Apache Spark
- Storage: Apache Cassandra
- Broker: Apache Kafka
- Manager: Apache Mesos
堆栈扩展
- 语言：Java、Kotlin、Scala、Clojure
- 框架：Apache OpenWhisk、Vert.x、Spring Boot、Scalatra、Play framework、Lagom
- 计算：Apache Spark、Deeplearning4j，分布式内存计算系统、大数据处理、机器学习
- 模型：ActorX、Akka，并发、容错、事件基础设施
- 消息：Apache Kafka、RabbitMQ，分布式消息系统、实时流式处理平台
- 存储：Apache Cassandra，分布式数据库、运营型数据管理平台
- 容器云：Docker、Kubernetes、Apache Mesos，容器、集群管理、数据中心操作系统
[编辑] 生态系统
- Android ecosystem
- Haskell ecosystem
- OCaml ecosystem
- Lisp ecosystem
- C++ ecosystem
- Rust ecosystem
- Scala ecosystem
- Kotlin ecosystem
- Clojure ecosystem
- Java ecosystem
- Erlang ecosystem
- Node.js ecosystem
- .NET ecosystem
- Akka ecosystem
- Kafka ecosystem
- Spark ecosystem
[编辑] 文档
- 开源已成为企业核心竞争力
- Mesos，数据中心操作系统的核心
- SMACK Architectures: Building data processing platforms with Spark, Mesos, Akka, Cassandra and Kafka
- 红帽 OpenShift 的业务价值
- 平台即服务、DevOps和应用集成：加速交付应用新途径
[编辑] 图集
企业级应用
开源办公室
FaaS
SMACK堆栈
SMACK流水线架构
Spark/Akka/Kafka/Cassandra参考架构
DevOps参考堆栈
项目管理Modules
项目管理
书籍
供应链集成
建立创新实验室
[编辑] 客户
- 琥珀亲子：基础架构、DevOps、私有云、Apache Mesos，已经迁移至 Kubernetes。
- 魔租：研发管理、软件架构、分布式协作、技术支持、增长黑客
- 苏打出行：苏打实验室创新项目 微软AirSim用户组成员 微软VA&NLU&Bot预研
- 艾体验AIUX：筹备技术部、技术部发展规划、GitHub项目开发运维 人员招募、前沿技术研究、设备和技术规范等。
- 创道夫产业通：区块链项目
- 点点科技：开放服务联盟
- 更多案例
[编辑] 方式
现场服务、在线支持、知识星球
我们通过知识星球的社区方式和客户持续、深度交流，社区里有很多的行业和技术专家，大家可就一些具体问题一起展开交流和深入探讨。
知识星球：灰狐的朋友们
[编辑] 咨询师
咨询师/布道师，布道之道，引领团队拥抱技术创新
[编辑] 链接
- 红帽咨询
- Udemy培训课程 Fast Data Processing Systems with SMACK stack
- 书籍 Fast Data Processing Systems with SMACK Stack
- Building Streaming And Fast Data Applications With Spark, Mesos, Akka, Cassandra And Kafka
- Using Spark, Kafka, Cassandra and Akka on Mesos for Real-Time Personalization
- How we design enterprise software
- DataArt: Technology Consulting & Solution Design
- Container Solutions
- Altkom Software & Consulting
分享您的观点
