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笔记》的补充插图，或将该笔记视为本文更正式的理论对应物。