Tag
LazyAgent introduces a demand-driven execution framework for agentic programs that selectively executes only necessary steps based on the current goal, leading to substantial efficiency gains and cost savings over eager baselines.
The article discusses methods to avoid correctness space leaks in Haskell by classifying leaks into strictness, liveness, and sharing types, and recommends defensive coding patterns and profiling techniques.
This article provides a guide to lazy evaluation in Haskell, explaining its mechanics, benefits for modular code, and methods for analyzing space and time usage.
The article explores Nix's laziness, showing how attribute paths can lazily generate infinite trees, and turns this into a fun hack where each button press in Super Mario Bros. 3 is a separate Nix derivation with the store as savestate history.
Anthony 介绍了一个名为 lazy_static 的 Python 库，它利用惰性导入机制实现模块级惰性赋值，避免 import 阶段的开销。视频展示了如何使用装饰器推迟计算和导入，并解释了其内部工作原理。