QB64 搜索技巧 核手提箱 文字记录 海洋云增白 开源地图 Bliss AI 搜索答案 深海沉船 自由职业 policy 小团队 颈挂空调 Chumby 个人电脑 极端主义 团队 世界 PostgreSQL AI工具 证券 DirectX 防溢 DrawingPics Zulip 儿童读物 化学 连续滚动 代码审查 三菱电机 更多

使用S3作为容器镜像仓库 (ochagavia.nl)

本文介绍了使用S3作为容器镜像仓库的可行性。作者通过实验发现，相比传统的ECR，S3在上传镜像层时速度更快，最高可达8倍。这是因为S3支持并行分块上传，而ECR受限于OCI规范只能进行顺序上传。文章还解释了docker pull的原理，即通过HTTP请求下载镜像文件，因此任何静态文件服务器只要能够提供正确的文件和头部信息，都可以作为镜像仓库。最后作者也提到了这种方法的局限性，例如缺少镜像校验和安全扫描等功能。

追蹤 SAT 求解器中的错误 (ochagavia.nl)

本文讲述了作者参与 Prefix.dev 开发 resolvo（一种基于 SAT 的依赖解析器）并修复 bug 的经历。作者首先介绍了 bug 的背景，即求解器在遇到预期无法到达的代码时意外崩溃。之后，作者详细描述了他是如何利用 GitHub 用户 sumanth-manchala 提供的最小可复现示例和单元测试来调试和修复 bug 的。最后，作者反思了更好的调试工具的必要性，并表示 resolvo 的内部逻辑已经比较完善，未来出现 bug 的可能性较小。