欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
灰狐会员
小 (→公众号) |
小 (→知识星球) |
||
| （未显示1个用户的28个中间版本） | |||
| 第1行： | 第1行： | ||
| − | + | 灰狐会员，灰狐的数学物理学星球，灰狐的订阅服务。 | |
==简介== | ==简介== | ||
| − | + | 灰狐的数学物理学星球，灰狐订阅服务（灰狐会员） | |
| − | + | 数学物理学是这个世界上最美丽的语言和最强劲的工具，计算、理论和实验是科学活动的三种主要形式，它影响到几乎一切科技领域。 | |
| − | + | 着是一个干货满满、互动、有趣的数学物理学、计算机科学知识付费社群。 | |
| − | + | ||
| − | + | ||
==服务== | ==服务== | ||
| − | + | 以知识星球付费的方式提供数学物理学、计算机科学知识分享、技术交流和支持服务。 | |
年费：99元RMB，续费5折。 | 年费：99元RMB，续费5折。 | ||
| 第20行： | 第18行： | ||
==知识星球== | ==知识星球== | ||
| − | + | 灰狐的数学物理学星球，跟踪[[mathematics|数学]]、[[physics|物理学]]、[[science|科学]]的研究前沿，关注以下主题： | |
| − | + | *1、开源自由软件选型和技术支持服务； | |
| − | [[ | + | *2、[[programming language|编程语言]]、[[compiler|编译器]][[Virtualization|虚拟机]]、[[computer science|计算机科学]]； |
| − | + | *3、[[software testing|软件测试]]、研发管理、[[DevOps]]； | |
| − | + | *4、[[data science|数据科学]]、[[machine learning|机器学习]]、[[data visualization|数据可视化]] | |
| − | * | + | *5、[[认知科学]]、数理逻辑、能力提升； |
| − | * | + | *6、定理证明、[[formal verification|形式化验证]]、[[Coq]]； |
| − | * | + | *7、[[Fortran]]、[[C++]]、科学计算、[[Numerical analysis|数值计算]]； |
| − | * | + | *8、[[science|科学]]、技术、工程、[[mathematics|数学]]（STEM） |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
免费星球：GitHub精选，我们交流分享开源的一切！ | 免费星球：GitHub精选，我们交流分享开源的一切！ | ||
==会员权益== | ==会员权益== | ||
| + | 2022-2025 | ||
| + | |||
| + | 专注 [[mathematics|数学]]、[[physics|物理学]]、[[computer science|计算机科学]]的学习、交流与分享。 | ||
| + | |||
| + | [[文件:ACL2-logo-small.png]] [[文件:Coq-logo.png]] [[文件:STEM-software.png]] | ||
| + | |||
| + | 以 [[ACL2]]、[[Coq]]、[[Scilab]]、[[GNU Octave]]、[[Maxima]]、[[SageMath]] 等开源数学科学工程软件为使用和教学重点。 | ||
| + | |||
| + | [[文件:Fortran-logo.png|Fortran]] [[文件:Made-with-lisp.jpg|LISP]] [[文件:Erlang-logo.png]] [[文件:cpp-logo.png|C++]] | ||
| + | |||
| + | 以 [[Fortran]], [[Lisp]], [[Erlang]], [[C++]] 为编程教育的核心语言。 | ||
| + | |||
灰狐会员权益2019-2022版： | 灰狐会员权益2019-2022版： | ||
* 1、向众嘉宾提问，进行深度互动 | * 1、向众嘉宾提问，进行深度互动 | ||
| 第58行： | 第52行： | ||
* 6、数字营销：[[计算广告]]、[[Growth hacking|增长黑客]]、[[订阅经济]]。 | * 6、数字营销：[[计算广告]]、[[Growth hacking|增长黑客]]、[[订阅经济]]。 | ||
开源软件和编程语言的技术支持服务： | 开源软件和编程语言的技术支持服务： | ||
| − | * | + | * 7、内容项目管理：[[WordPress]]、[[OpenProject]] ... |
| − | * 8、数据库：[[MariaDB]]、[[PostgreSQL | + | * 8、数据库：[[MariaDB]]、[[PostgreSQL]] ... |
* 10、服务器：[[Apache HTTP Server|Apache2]]、[[Nginx]]、[[Debian]] ... | * 10、服务器：[[Apache HTTP Server|Apache2]]、[[Nginx]]、[[Debian]] ... | ||
注：覆盖并包含2018版所有权益。 | 注：覆盖并包含2018版所有权益。 | ||
| 第97行： | 第91行： | ||
==编程语言== | ==编程语言== | ||
| − | + | [[文件:Haskell-logo.png|right|Haskell]] | |
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | ||
| − | + | 我们关注、使用、实践 [[Lisp]]、[[C++]]、[[Haskell]] 等编程语言，邀请和大家一起交流学习、共同成长。 | |
| − | + | [https://github.com/wimvanderbauwhede/HaskellMOOC Functional Programming] in [[Haskell]] | |
| − | + | ||
| − | [[ | + | ===编译器=== |
| + | Glasgow Haskell Compiler (GHC), [[GCC]], [[LLVM]] | ||
| − | === | + | ===虚拟机=== |
| − | [[ | + | [[Erlang ecosystem|Erlang]] 和 [[.NET ecosystem|.NET]] 有着巨大的生态系统，[[Erlang VM]]、.NET 和 [[Android]] Runtime (ART) 是我们核心关注的虚拟机项目。 |
| − | + | .NET 平台，核心就是 [[C Sharp|C#]], [[Stride]] 和 [[Unity]]，桌面应用和游戏引擎是 .NET 的主要应用场景。 | |
| − | + | ||
| − | === | + | ===函数式Web=== |
| − | [[ | + | [[Elm]]: Functional Frontend + [[Haskell]]: Functional Backend |
==灰狐社团== | ==灰狐社团== | ||
2024年8月31日 (六) 00:05的最后版本
灰狐会员，灰狐的数学物理学星球，灰狐的订阅服务。
目录 |
[编辑] 简介
灰狐的数学物理学星球，灰狐订阅服务（灰狐会员）
数学物理学是这个世界上最美丽的语言和最强劲的工具，计算、理论和实验是科学活动的三种主要形式，它影响到几乎一切科技领域。
着是一个干货满满、互动、有趣的数学物理学、计算机科学知识付费社群。
[编辑] 服务
以知识星球付费的方式提供数学物理学、计算机科学知识分享、技术交流和支持服务。
年费：99元RMB，续费5折。
我们全年不停歇的交流编程和开源的一切，包括技术支持、总结、培训、公开课的分享。365天的陪伴，一起交流、学习，一起成长、进步。
扫描知识星球二维码即可加入灰狐的订阅服务，期待你的参与。
[编辑] 知识星球
灰狐的数学物理学星球，跟踪数学、物理学、科学的研究前沿，关注以下主题：
- 1、开源自由软件选型和技术支持服务；
- 2、编程语言、编译器虚拟机、计算机科学；
- 3、软件测试、研发管理、DevOps；
- 4、数据科学、机器学习、数据可视化
- 5、认知科学、数理逻辑、能力提升；
- 6、定理证明、形式化验证、Coq；
- 7、Fortran、C++、科学计算、数值计算；
- 8、科学、技术、工程、数学（STEM）
免费星球：GitHub精选，我们交流分享开源的一切！
[编辑] 会员权益
2022-2025
以 ACL2、Coq、Scilab、GNU Octave、Maxima、SageMath 等开源数学科学工程软件为使用和教学重点。
以 Fortran, Lisp, Erlang, C++ 为编程教育的核心语言。
灰狐会员权益2019-2022版：
- 1、向众嘉宾提问，进行深度互动
- 2、一起交流编程、天天读书
- 3、开源软件推荐与介绍，软件吞噬世界！
我们关注技术、数据、营销和一切有价值的领域。
开源软件和编程语言的技术支持服务：
- 7、内容项目管理：WordPress、OpenProject ...
- 8、数据库：MariaDB、PostgreSQL ...
- 10、服务器：Apache2、Nginx、Debian ...
注：覆盖并包含2018版所有权益。
灰狐会员权益2018版：
- 编程语言系统化学习/实践/进阶；
- 开源软件的系统化整理和推荐；
- 灰狐私房菜：商业计划、内部资料，小范围分享；
- 课程推荐：各类优质的免费课程推荐；
- 云计算、人工智能、增长营销、企业应用的深度学习和项目历练；
- 读书笔记、交流分享、图书推荐、图书共享；
- 营销案例分析；
- 有问必答，365天的技术支持服务；
- 参加灰狐俱乐部；
- 免费享用所有灰狐培训、教育公开课。
- 灰狐每日精选：一条消息、一个幻灯片或一本电子书、一个开源软件、一张图片；(信息存档，方便你下载保存)
只微博添加灰狐每日精选的标签，其它社交平台和博客就不添加了。(2018.06.11) 同时以灰狐博客的方式发布每日精选。(2018.06.07) 为保证更高质量的每日精选，现调整为每天只推荐它们中的一个，并做深度分析。(2018.05.29)
[编辑] 推荐分成
推荐灰狐和他的朋友们知识星球，新用户加入即可共享赏金分成，在帮助灰狐的同时自己也有些小小的收获。
步骤： 1、进入灰狐和他的朋友们； 2、分享赚赏金 ； 3、微信好友、朋友圈、生成长图、复制链接。
[编辑] 教育培训
灰狐会员享用所有灰狐教育培训的课程和资源：
[编辑] 编程语言
我们关注、使用、实践 Lisp、C++、Haskell 等编程语言，邀请和大家一起交流学习、共同成长。
Functional Programming in Haskell
[编辑] 编译器
Glasgow Haskell Compiler (GHC), GCC, LLVM
[编辑] 虚拟机
Erlang 和 .NET 有着巨大的生态系统，Erlang VM、.NET 和 Android Runtime (ART) 是我们核心关注的虚拟机项目。
.NET 平台，核心就是 C#, Stride 和 Unity，桌面应用和游戏引擎是 .NET 的主要应用场景。
[编辑] 函数式Web
Elm: Functional Frontend + Haskell: Functional Backend
[编辑] 灰狐社团
灰狐会员可以免费加入灰狐各种社团：
[编辑] 赞助我们
你可以通过购买会员服务的方式赞助灰狐，我们正在以灰狐基金会的方式运作和推进着开源项目开发和我们所追寻的梦想，非常需要你的支持与帮助。
[编辑] 知识星球
[编辑] 公众号
欢迎大家同时关注灰狐公众号：HuihooChina
[编辑] 图集
内容导航
自我介绍,彼此信任
有问必答
话题讨论
每日精选
培训课程
培训资料
观点分享
读书计划
作业榜
增长黑客
DevOpsGirls程序媛培养计划
灰狐18岁生日
