灰狐咨询

来自开放百科 - 灰狐
(版本间的差异)
跳转到: 导航, 搜索
(链接)
(相关内容)
第28行: 第28行:
  
 
==相关内容==
 
==相关内容==
 +
*编译器:[[GCC]], [[LLVM]], [[Roslyn]] [[文件:GCC-logo.png]] [[文件:LLVM-logo.png]] [[文件:roslyn-compiler.png|Roslyn Compiler]]
 
*[[DDD]] + [[Microservices]] 构建更成功的团队和软件
 
*[[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 《增长黑客》]是启动和增长的基本框架,给出了新创企业的成长思维和最佳实践;

2022年3月28日 (一) 11:27的版本

灰狐咨询

目录

简介

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

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

灰狐安全灰狐数据灰狐教育 是灰狐的核心业务。

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

目标

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

咨询范围

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

  • 1、形式化验证、解决方案、订阅经济;
  • 2、职业规划、职场建议、斜杠人生;
  • 3、开源软件选型和支持服务;
  • 4、编程语言和编译器虚拟机(核心领域)
  • 5、金融、区块链、安全;
  • 6、写作、自媒体、咨询师;
  • 7、软件测试、研发管理、DevOps;
  • 8、ERP、企业应用、电子商务运营;
  • 9、认知科学、逻辑哲学和能力提升;
  • 10、科学、技术、工程、数学(STEM)

相关内容

服务项目

Haskell

EKC堆栈

使用Elasticsearch,Kafka和Cassandra构建流式数据中心

SMACK堆栈

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

Spark-mesos-akka-cassandra-kafka.jpg

堆栈扩展

生态系统

文档

图集

客户

方式

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

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

知识星球:灰狐的朋友们

Zsxq.jpg

咨询师

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

链接

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

变换
操作
导航
工具箱