Spring框架最后一个里程碑版本6.1 M5发布

105 1
现已从 repo.spring.

本周github有趣的项目、工具和库:Rivet等

136
本周github有趣的项目、工具和库 .

fmodel-rust:使用Rust实现函数式领域建模的开源示例

48 1 4K
当您开发信息系统来自动化业务活动时,您就是在对业务进行建模。您设计的抽象、实现的行为以及构建的 UI 交互都反映了业务 - 它们共同构成了域的模型。 .

超越代码:通过TLA+ 实现形式抽象表达

112 3K
抽象是避免分心的有力工具。抽象一词的词源来自拉丁语,意思是“剪切”和“绘制”。通过抽象,您可以从复杂的系统中分离出协议,省略不必要的细节,并将复杂的系统简化.

幽默图两则

34 1
1、C、Python、Java和JavaScript四种语言比赛: .

使用Rust还是Go语言?

79 2K
本文作者曾经写了一本关于 Rust 的书,但他建议不要在大多数项目中使用 Rust,原因有多种,包括其快节奏的开发、缺乏健壮的标准库以及 .

Instagram 如何仅靠 3 名工程师就将用户数量扩大到 1400 万

67 3K
从 2010 年 10 月到 2011 年 12 月,Instagram 在短短一年多的时间里,用户数量从 0 增长到 1400 万。做到这一点的只有 3 名工程师.

ChatGPT大语言模型只是句子补全?

66 2K
如果你知道什么是马尔可夫链,就很容易把大语言模型想象成一个非常大的马尔可夫链,如果你知道,就把它等同于”句子补全“。 想象.

使用数据库实现状态机

52 10K
大多数人都熟悉状态机,也知道状态机的价值。一般的状态机库可以帮助你建立状态模型,防止无效转换,并生成图表,帮助非技术人员也能理解代码是如何运行的。 <.

为什么在Rust中实现异步代码是特别困难?

41 3K
使用 异步 Rust 比 Go(go.

2023 年热门芯片:AMD的Phoenix SoC

25
AMD 的 Phoenix SoC:结合 Zen 4 核心和 RDNA 3 显卡以提高性能和功效。 AMD的Pho.

Horcrux:将文件分割成加密片段的开源工具

22
Horcrux 是一款允许用户将文件分割成加密片段的工具,从而无需记住密码。 它使用 Shamir 秘密共享方案将.

迁移:唯一可扩展的技术债务解决方案

21 2K
我参与过的最有趣的迁移是 Uber 从 Puppet 管理的服务迁移到完全自助式的供应模式,在这种模式下,公司的任何工程师都可以通过两次点击启动一项新服务。.

综合信息理论是伪科学吗?

14 2K
意识的综合信息理论(IIT)具有前所未有的雄心壮志,它从意识体验的基本特性出发,提出了一个通用数学公式,用于描述任何拥有意识的物理系统的意识质量和数量。 .

SlashSaber:用Three.js和Vue制作的开源无尽砍杀游戏

15
在线演示: slashsaber.com ,源.