NoiseLang: Where N = 5 is a Dirac delta
6 days ago
- #monte-carlo-simulation
- #probabilistic-programming
- #language-design
- NoiseLang 是一种概率编程语言，其中每个值都是概率分布，包括作为狄拉克分布的常量。
- 它支持直接对随机变量进行操作，具备独立抽样和蒙特卡罗模拟等特性，用于计算概率、期望或方差等查询。
- 该语言包含一个高效运行时，支持多种后端：列式解释器、用于原生内核的Cranelift JIT编译器，以及用于浏览器执行的WASM，确保跨平台结果确定性。
- 关键性能优化包括内核融合、函数内联多项式逼近和并行随机数生成流，在现代硬件上实现每秒数十亿次采样。
- NoiseLang专为快速概率探索而设计，与NumPy（手动模拟）或Stan/PyMC（复杂贝叶斯建模）等工具形成对比，并可在浏览器中零配置运行。
- 该项目在AI辅助下复兴，突显了AI在实现方面的优势，但在语言设计创新方面存在局限性。