热门标签：
Mac 多显示器 显示器扩展 requests patch 并发 Alpine Linux BSD Linux 电动汽车 全部标签

使用S3作为容器镜像仓库

2024-07-12

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

阅读更多
(ochagavia.nl)
35
未分类 容器镜像 ECR

追蹤 SAT 求解器中的错误

2024-06-21

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

阅读更多
(ochagavia.nl)
62
未分类 SAT 求解器 bug 修复