实体
Idris
Idris
PulseAugur coverage of Idris — every cluster mentioning Idris across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 2 条
-
Z记号的冗长语法与函数式编程语言形成对比
Z记号是一种用于软件规范的形式化方法，在20世纪80年代初备受推崇，当时C和Pascal等命令式语言占据主导地位。然而，作者发现其语法与ML等函数式编程语言相比过于冗长，而ML提供了更简洁的表达方式。这种对函数式编程语法的偏好一直延续到ML的现代后代，包括Standard ML、OCaml、Haskell、Agda和Idris。
-
Lucie 7B LLM训练环境影响评估
一项新的生命周期评估（LCA）详细介绍了在Jean Zay超级计算机上训练Lucie 7B开源大语言模型的环境影响。该研究涵盖了制造排放、运行能源、水消耗和硬件基础设施，报告称Lucie 7B的总训练足迹为21 tCO2eq。Jean Zay H100分区的年足迹为417.5 tCO2eq，有效强度为每GPU小时36.7 gCO2eq。该研究还强调了水消耗和余热回收工作，有助于理解节约型AI系统。