灰狐咨询

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(咨询范围)
(咨询范围)
 
(未显示1个用户的1个中间版本)
第20行: 第20行:
  
 
==咨询范围==
 
==咨询范围==
提供开源解决方案和咨询服务,做你身边的开源顾问。
+
提供开源技术和管理解决方案和咨询服务,做你身边的技术管理顾问。
  
*1、形式化验证、程序员的数学;
+
*1、形式化语义、形式化验证、程序员的数学
*2、职业规划、职场建议、斜杠人生;
+
*2、编程语言和编译器虚拟机
*3、开源软件选型和支持服务;
+
*3、软件测试、研发管理、DevOps
*4、编程语言和编译器虚拟机(核心领域)
+
*4、与合作伙伴一起策划和组建开放的创新实验室
*5、金融、区块链、密码学安全;
+
*6、写作、自媒体、咨询师;
+
*7、软件测试、研发管理、DevOps;
+
*8、ERP、企业应用、电子商务运营;
+
*9、认知科学、逻辑哲学和能力提升;
+
*10、科学、技术、工程、数学(STEM)
+
  
[https://forge.huihoo.com/news/643 对数据库、存储、数据安全外包业务的一些思考]
+
1+2 技术,3+4 管理
  
 
==相关内容==
 
==相关内容==

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

[编辑] 咨询师

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

[编辑] 链接

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

变换
操作
导航
工具箱