关于严格单调时间的思考
2.0单调时间是常用且重要的抽象概念,通常通过特定代码来确保其单调性。本文探讨了严格单调时间的概念及其在系统设计中的实际应用。
10 条来自 matklad-github-io 的内容
单调时间是常用且重要的抽象概念,通常通过特定代码来确保其单调性。本文探讨了严格单调时间的概念及其在系统设计中的实际应用。
本文介绍了make.ts工具,这是一个用于TypeScript项目的构建系统,类似于Unix的make工具,但专为TypeScript生态系统设计,提供声明式任务定义和增量构建功能。
作者开发了box工具,这是一个围绕ssh的轻量级包装器,用于在远程机器上运行命令。他希望能为持续集成(CI)创建一个类似box的接口。
这是一篇关于编程的元思考文章,作者审视自己的编码思维过程,试图厘清什么是编程知识。他发现其中很大一部分是将新问题简化为已知技巧的词汇表。这是一篇个人描述性文章,而非给读者的规范性建议。
2025年,Safari浏览器推出了text-wrap: pretty的合理实现,让我们更接近15世纪的尖端排版技术,实现了优美的段落排版。
本文介绍了作者在Zig语言中处理错误报告问题的个人默认方法,即如何向用户展示有用的错误信息,弥补了强类型错误码在错误处理方面留下的报告空白。
作者分享了一个关于代码注释格式的发现:当注释内容过长时,应该让编辑器自动换行,而不是手动插入换行符。这样可以保持注释的可读性和可维护性。
本文探讨了当前流行的基于查询的编译器方法,指出了其潜在的风险和挑战,提醒开发者在采用这种技术时需要注意的问题。
本文介绍了在即将发布的LSP 3.18版本中,通过"Text Document Content Request"功能可以大幅简化JJ版本控制工具的Magit风格用户界面实现,使其不再需要复杂的变通方案。
本文通过一系列图解帮助理解分布式共识算法,可作为《Paxos笔记》的补充插图,或将该笔记视为本文更正式的理论对应物。