欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐咨询
来自开放百科 - 灰狐
灰狐咨询
目录 |
简介
灰狐服务:培训、咨询、支持
咨询范围
- 开放的企业文化、打造开放式组织,企业开源、开放战略咨询;
- ActorX并发、异步、实时架构和基础设施咨询;
- IT基础设施架构、基础设施自动化、PaaS、DevOps、CI/CD;
- PostgreSQL开源数据库替代Oracle、SQL Server商业数据库;
- 数据科学、大数据、人工智能;
- 项目管理、研发管理;
- 开源软件企业内训,值得关注的开源软件推荐;
- 开源电商ERP/CRM/SCM/HR企业应用;
- 编译器、虚拟机、编程语言设计、Racket;
- 我们通过M3、E3、D3三个项目(简称MED)提供增长营销、企业应用、数据科学开源软件解决方案;
- 企业技术顾问。
核心架构
- 语言:Java、Kotlin、Scala、Clojure
- 框架:Vert.x,异步、可伸缩、并发应用框架,旨在为JVM提供一个Node.js的替代方案。
- 计算:Apache Spark,分布式内存计算系统、大数据处理、机器学习
- 并发:ActorX、Akka,并发、容错、事件基础设施
- 消息:Apache Kafka,分布式消息系统、实时流式处理平台
- 存储:Apache Cassandra,分布式数据库、运营型数据管理平台
咨询师
案例
文档
图集
链接
分享您的观点