2020第25周

20202-06-16

1. 注册中心和配置中心

   1. https://nacos.io/zh-cn/index.html
   2. 一个更易于构建云原生应用的动态服务发现、配置管理和服务管理平台。

2. 快速高级图像处理的Go软件包

   1. https://github.com/h2non/bimg
   2. 用于通过C绑定使用libvips进行快速的高级图像处理，提供了简单的编程API

3. 体验夏天的热，冬天的冷，秋天的天高云淡风轻和春天的花香鸟鸣莺歌燕舞

4. 形式化方法原则上就是用数学与逻辑的方法描述和验证软件

   1. 从描述上讲，一方面是系统或程序的描述，另一方面是性质的描述。这些可以用一种或多种语言来描述。这些语言包括命题逻辑，一阶逻辑，高阶逻辑，代数，状态机，并发状态机，自动机，计算树逻辑，线性时序逻辑，进程代数， π-演算， μ-演算，特殊的程序语言，以及程序语言的子集等。从验证来讲，主要有两类方法，一类是以逻辑推理为基础，另一类则以穷尽搜索为基础。逻辑推理有 natural deduction, sequent calculus, resolution 以及Hoare-logic 等方法，穷尽搜索方法统称为模型检测。这类方法与系统或程序以及系统性质的表示有很大的关系，比如说符号模型检测，其基本原理是用命题逻辑公式表示状态转换关系，用不动点算法计算状态的可达性以及这些状态是否满足某些性质。

20202-06-17

1. 

2. golang基于websocket单台机器支持百万连接分布式聊天(IM)系统

   1. https://github.com/link1st/gowebsocket
   2. 使用golang实现websocket通讯，单机可以支持百万连接，使用gin框架、nginx负载、可以水平部署、程序内部相互通讯、使用grpc通讯协议。

3. Golang软件包，用于基于八卦的成员资格和故障检测

   1. https://github.com/hashicorp/memberlist
   2. memberlist是一个Go库，它使用基于八卦的协议管理集群成员资格和成员故障检测。
   3. 这种库的用例范围很广：所有分布式系统都需要成员资格，而成员列表是管理集群成员资格和节点故障检测的可重用解决方案。
   4. 成员列表最终是一致的，但平均收敛速度很快。它收敛的速度可以通过协议上的各种旋钮进行重大调整。通过尝试通过多条路由与潜在死节点通信，可以检测到节点故障并部分容忍网络分区。

4. 社交和实时游戏和应用程序的分布式服务器

   1. https://github.com/heroiclabs/nakama
   2. 用户 -通过社交网络，电子邮件或设备ID注册/登录新用户。
   3. 存储 -将用户记录，设置和其他对象存储在集合中。
   4. 社交 -用户可以与朋友联系并加入群组。内置社交图查看用户如何连接。
   5. 聊天 -用户之间的一对一聊天，群组聊天和全局聊天。保留消息以获取聊天记录。
   6. 多人游戏 -实时或基于回合的主动和被动多人游戏。
   7. 排行榜 -动态的，季节性的，吸引最多的成员或用户周围的成员。随您所需。
   8. 比赛 -邀请玩家一起争夺奖品。将许多人链接在一起以创建联盟。
   9. 运行时代码 -使用以Lua或本机Go代码编写的自定义逻辑扩展服务器。
   10. 红娘，仪表盘，度量，和更多。

5. 使用Go（Golang）编写的推送通知服务器

   1. https://github.com/appleboy/gorush
   2. 使用Go（Golang）编写的使用Gin框架的推送通知微服务器

6. 一个简单，快速且有趣的软件包，用于在Go中构建命令行应用

   1. https://github.com/urfave/cli

20202-06-20

1. 成功才是成功之母！
2. 人生很多时候真的是需要点运气的！
   1. 因为你在探索的时候根本不知道能不能得到正的奖励Reward！
3. https://pipi.cn