使用 Dijkstra 的程序构造对 Advent of Code 进行形式化验证

文章链接: https://haripm.com/blog/aoc-day-3-without-thinking/
评论链接: https://news.ycombinator.com/item?id=46138226
积分: 7

发布: 1天前 (2025年12月4日 GMT+8 02:39)

1 min read

Source: Hacker News

Article Details

我曾在一家公司的工作，该公司背负着巨大的技术债务——数百万行代码，没有单元测试，基于已经远远超出其生命周期的框架……

当我第一次开始准备 system design 面试时，Linux 是房间里的那头大象。当然，大家都在谈论 distributed systems 和 scalability，…

我的从 Legacy PHP 的旅程当我开始软件工程之路时，我在传统网页开发的前线花了大量时间。我维护了 SPA…

请提供您希望翻译的文章摘录或摘要文本，我将为您翻译成简体中文。