lemmaly - 在编码前执行算法优先的复杂度分析算法大 O性能代码审查★ 18 · 更新于 2026-10-01要求在编写非平凡代码前说明复杂度、数据结构和算法族，并检测 O(n²) 与 N+1 等低效模式。⚙ 说明时间与空间复杂度⚙ 选择合适的数据结构⚙ 识别算法族
pl-theorist - 为设计、编码和审查提供编程语言理论指导编程语言函数式编程领域建模代码审查★ 3 · 更新于 2026-10-01将编程语言理论应用于领域建模、代码设计、重构、审查、审计、测试、讲解以及 CI 或 Shell 加固。⚙ 使用代数类型建模领域⚙ 设计不可变数据流⚙ 编写和重构代码
