一款名为“What the Fork”的跨平台工具可以可视化任何构建系统的构建过程，帮助开发者识别并解决构建瓶颈。它通过监控系统调用来追踪进程的启动和终止，生成包含进程时间线、命令和参数等信息的交互式可视化界面。文章作者通过多个项目的构建过程示例展示了该工具的强大功能，例如识别缺乏并行性、冗余操作等问题，从而帮助开发者优化构建效率，特别是在CI构建中效果显著。
阅读更多
本文介绍了一种名为Segment Array的高效数据结构，它结合了动态数组的灵活性、稳定指针的优势以及与arena allocator的良好兼容性。不同于动态数组在扩容时移动元素，Segment Array通过预分配多个固定大小的段来存储数据，避免了内存碎片和指针失效的问题。每个段的大小是前一个段的两倍，仅在需要时分配新的段，实现了O(1)的平均时间复杂度。作者提供了C语言实现，并详细解释了其内部机制，包括高效的索引计算方法和与泛型的结合。Segment Array特别适用于需要在arena allocator环境下进行高效动态内存管理的场景，例如构建性能分析器。
阅读更多
本文介绍了一种在C语言中实现类型安全泛型数据结构的技巧，它巧妙地利用联合体将类型信息与泛型数据结构关联起来。作者以链表为例，展示了如何通过宏定义和联合体实现类型检查，避免了传统泛型方法带来的类型不安全和代码膨胀问题。文章还比较了使用`void*`和灵活数组成员的两种方法，并最终实现了编译时类型安全检查，使得在添加错误类型时编译器就能报错。
阅读更多
厌倦了传统数独？Cracked Sudoku 横空出世！这款新式数独游戏以不规则的Voronoi图作为游戏界面，规则沿袭数独经典，但“行”与“列”的概念被“跑道”取代。“跑道”是不重复数字的连续单元格，其形状由Voronoi图决定，带来全新的解谜体验。作者不仅分享了游戏设计理念和算法，更呼吁数独高手共同创作更精妙的关卡，为这款充满创造力的游戏注入更多活力。
阅读更多
本文作者耗时八个月，仅用240行GLSL代码，无需任何库或图像，在文章中嵌入实时代码编辑器，创作了一个令人惊艳的瑞克动画。文章详细介绍了创作过程，从简单的颜色填充到运用贝塞尔曲线、星形、圆角矩形等SDF函数绘制瑞克的五官和头发，再到利用噪声函数和时间域扭曲实现头发的动态效果和眼睛的随机运动，最终呈现出一个栩栩如生的瑞克动画。作者还分享了多种动画技巧，包括循环值、切换绘制内容以及噪声运动等，并提供了完整的代码和详细的解释，让读者可以轻松上手创作自己的GLSL动画。
阅读更多
这篇文章分析了Swift编译器类型检查速度慢的原因，主要是因为其双向Hindley-Milner类型检查器在处理复杂表达式时效率低下，尤其是在使用ExpressibleBy协议和运算符重载的情况下，会导致组合爆炸。作者建议Swift团队添加一个新的类型检查器，该检查器在复杂情况下需要类型注释，并提供了一个逐步过渡的方案。
阅读更多
本文批评了 Swift 编译器速度慢的问题，并指出了其根源在于双向类型推断机制。作者通过具体的代码示例展示了编译器在处理复杂表达式时效率低下，并将其与其他语言进行了比较。文章还提出了一些改进建议，包括添加新的编译器标志、更新现有代码以及逐步弃用旧的类型推断方法。
阅读更多
此网站是计算机科学教授 Daniel Hooper 的博客，重点介绍计算机科学领域中的新思想和创意。文章涵盖各种主题，包括算法、数据结构、编程语言和理论计算机科学。语言清晰简洁，适合各级计算机科学家阅读。
阅读更多
该网站提出了Shape Up开发方法，旨在帮助团队以更精益、无浪费的方式快速构建产品。Shape Up方法包含以下关键原则：
- 以持续的周期（称为回合）工作，在每个回合中明确定义目标和验收标准。
- 跨职能团队为每个回合制定详细计划并承诺在时间范围内交付（又称“承诺”）。
- 团队在每个回合结束时回顾其进展并确定改进领域。
- 该方法强调持续的学习和改进，将理论与实践相结合，帮助团队高效地构建复杂产品。