欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐会员
小 (→知识星球) |
小 (→编程语言) |
||
| 第87行： | 第87行： | ||
==编程语言== | ==编程语言== | ||
| − | 我们关注、使用、实践 [[Lisp | + | 我们关注、使用、实践 [[Lisp]]、[[Erlang]]、[[Haskell]] 等编程语言，邀请和大家一起交流学习、共同成长。 |
[https://github.com/wimvanderbauwhede/HaskellMOOC Functional Programming] in [[Haskell]] | [https://github.com/wimvanderbauwhede/HaskellMOOC Functional Programming] in [[Haskell]] | ||
2022年1月26日 (三) 04:10的版本
灰狐会员，灰狐和他的朋友们，灰狐的订阅服务。
目录 |
简介
Huihoo and his Friends，灰狐和他的朋友们，灰狐订阅服务（灰狐会员）
编程语言和开源软件是灰狐社群交流互动的核心和重点。
这也是一个技术、数据、营销圈子，我们相信一个兴趣相投、乐于分享的圈子对一个人的学习、工作、成长是有很大帮助的。
灰狐的订阅服务，是一个干货满满、互动、有趣的编程语言和开源软件知识付费社群。
服务
以知识星球付费的方式提供编程语言、开源软件知识分享、技术交流和支持服务。
年费：99元RMB，续费5折。
我们全年不停歇的交流编程和开源的一切，包括技术支持、总结、培训、公开课的分享。365天的陪伴，一起交流、学习，一起成长、进步。
扫描知识星球二维码即可加入灰狐的订阅服务，期待你的参与。
知识星球
灰狐的订阅服务知识标签：
STEM、OSINT、订阅经济、天天读书、天天编程、开源软件、云原生、云计算、大数据、人工智能、区块链、物联网、编程语言、数学物理、读书会
灰狐和他的朋友们资源列表：
- 1、形式化验证、解决方案、订阅经济；
- 2、职业规划、职场建议、斜杠人生；
- 3、开源软件选型和支持服务；
- 4、编程语言和编译器虚拟机（核心领域）
- 5、金融、区块链、安全；
- 6、写作、自媒体、咨询师；
- 7、软件测试、研发管理、DevOps；
- 8、ERP、企业应用、电子商务运营；
- 9、认知科学、逻辑哲学和能力提升；
- 10、科学、技术、工程、数学（STEM）
免费星球：GitHub精选，我们交流分享开源的一切！
会员权益
灰狐会员权益2019-2022版：
- 1、向众嘉宾提问，进行深度互动
- 2、一起交流编程、天天读书
- 3、开源软件推荐与介绍，软件吞噬世界！
我们关注技术、数据、营销和一切有价值的领域。
开源软件和编程语言的技术支持服务：
- 7、内容管理：WordPress、Drupal、Orchard ...
- 8、数据库：MariaDB、PostgreSQL、Apache Cassandra ...
- 10、服务器：Apache2、Nginx、Debian ...
注：覆盖并包含2018版所有权益。
灰狐会员权益2018版：
- 编程语言系统化学习/实践/进阶；
- 开源软件的系统化整理和推荐；
- 灰狐私房菜：商业计划、内部资料，小范围分享；
- 课程推荐：各类优质的免费课程推荐；
- 云计算、人工智能、增长营销、企业应用的深度学习和项目历练；
- 读书笔记、交流分享、图书推荐、图书共享；
- 营销案例分析；
- 有问必答，365天的技术支持服务；
- 参加灰狐俱乐部；
- 免费享用所有灰狐培训、教育公开课。
- 灰狐每日精选：一条消息、一个幻灯片或一本电子书、一个开源软件、一张图片；(信息存档，方便你下载保存)
只微博添加灰狐每日精选的标签，其它社交平台和博客就不添加了。(2018.06.11) 同时以灰狐博客的方式发布每日精选。(2018.06.07) 为保证更高质量的每日精选，现调整为每天只推荐它们中的一个，并做深度分析。(2018.05.29)
推荐分成
推荐灰狐和他的朋友们知识星球，新用户加入即可共享赏金分成，在帮助灰狐的同时自己也有些小小的收获。
步骤： 1、进入灰狐和他的朋友们； 2、分享赚赏金 ； 3、微信好友、朋友圈、生成长图、复制链接。
教育培训
灰狐会员享用所有灰狐教育培训的课程和资源：
编程语言
我们关注、使用、实践 Lisp、Erlang、Haskell 等编程语言，邀请和大家一起交流学习、共同成长。
Functional Programming in Haskell
编译器
虚拟机
Erlang 和 .NET 有着巨大的生态系统，Erlang VM、.NET 和 Android Runtime (ART) 是我们核心关注的虚拟机项目。
.NET 平台，核心就是 C#, Stride 和 Unity，桌面应用和游戏引擎是 .NET 的主要应用场景。
函数式Web
Elm: Functional Frontend + Haskell: Functional Backend
灰狐社团
灰狐会员可以免费加入灰狐各种社团：
赞助我们
你可以通过购买会员服务的方式赞助灰狐，我们正在以灰狐基金会的方式运作和推进着开源项目开发和我们所追寻的梦想，非常需要你的支持与帮助。
知识星球
公众号
欢迎大家同时关注灰狐公众号：HuihooChina
图集
内容导航
自我介绍,彼此信任
有问必答
话题讨论
每日精选
培训课程
培训资料
观点分享
读书计划
作业榜
增长黑客
DevOpsGirls程序媛培养计划
灰狐18岁生日
