AI 时代数值代码的正确性来源
基于 idea/ 中的项目选择判据与手工艺讨论，延伸讨论广义代码正确性在 AI 时代的变化——以数值计算为具体抓手，但不限于此。
6 篇文档带有标签「Research」
基于 Web 搜索总结的特定方向调研报告
查看所有标签AI 驱动 Agent 开发中 UI 迭代与调试问题的解决方案 — 综合报告
调研时间范围：2025–2026 年 | 涵盖 Web / Mobile / Desktop GUI / 游戏四大方向
Rust 科学计算生态调研（2026年6月）
关联文档：[[项目诊断.md|项目诊断]] 中的语言选择部分推荐了 Rust 作为"最值得新学的语言"——但 Rust 的科学计算生态到底多成熟？ChemE/PSE 相关的库够不够用？
When Software Dropped 32-bit x86 (i386) Support
A comprehensive timeline across operating systems, programming languages, and numerical computing software.
数值函数形式化验证：中间语言与验证平台选型
基于 [[数值函数形式化验证-想法与约束.md]] 中 PureLibm-rs 五级验证体系，探索 Rust 之外的验证平台选择，评估中间语言作为"一次证明、多语言分发"中枢的可行性。
数值函数的形式化验证与参考实现：想法、评估与约束
综合自 idea/ 中的多份讨论：[[PureLibm-rs.md]] 的项目设计、[[项目诊断.md]] 的项目 B 评估与手工艺候选分析、[[Rust科学计算生态调研.md]] 的 LLVM/浮点约束章节、[[项目选择判据-双视角.md]] 的判据框架、[[个人项目选择规则.md]] 的数学库规则。