欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐咨询
来自开放百科 - 灰狐
灰狐咨询
目录 |
简介
灰狐服务:培训、咨询、支持
咨询范围
- 开放的企业文化、打造开放式组织,企业开源、开放战略咨询;
- ActorX并发、异步、实时架构和基础设施咨询;
- IT基础设施架构、基础设施自动化、PaaS、DevOps、CI/CD;
- Cassandra、PostgreSQL开源数据库替代Oracle、SQL Server商业数据库;
- 数据科学、大数据、人工智能;
- 项目管理、研发管理;
- 开源软件企业内训,值得关注的开源软件推荐;
- 开源电商ERP/CRM/SCM/HR企业应用;
- 编译器、虚拟机、编程语言设计、Racket;
- 我们通过M3、E3、D3三个项目(简称MED)提供增长营销、企业应用、数据科学开源软件解决方案;
- 企业技术顾问、布道师。
核心服务
- 编程模型:Actor model
- 软件堆栈:SMACK stack
- 监控系统:Prometheus
- 编程语言:Erlang程序设计,以Racket为设计实现平台讲解程序语言设计和编程语言原理。
- Android生态系统:Hack Android,围绕Android构建开放生态系统。
- 区块链:全球金融的基础架构。
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
- 框架:Vert.x,异步、可伸缩、并发应用框架,旨在为JVM提供一个Node.js的替代方案
- 引擎:Apache Spark,分布式内存计算系统、大数据处理、机器学习
- 模型:ActorX、Akka,并发、容错、事件基础设施
- 消息:Apache Kafka,分布式消息系统、实时流式处理平台
- 存储:Apache Cassandra,分布式数据库、运营型数据管理平台
- 容器云:Docker、Kubernetes、Apache Mesos,容器、集群管理、数据中心操作系统
生态系统
- Android ecosystem
- C++ ecosystem
- Scala ecosystem
- Kotlin ecosystem
- Clojure ecosystem
- Java ecosystem
- Erlang ecosystem
- Node.js ecosystem
- .NET ecosystem
- Akka ecosystem
- Kafka ecosystem
- Spark ecosystem
布道师
布道之道,引领团队拥抱技术创新
案例
文档
- SMACK Architectures: Building data processing platforms with Spark, Mesos, Akka, Cassandra and Kafka
- 红帽 OpenShift 的业务价值
- 平台即服务、DevOps和应用集成:加速交付应用新途径
图集
链接
分享您的观点