ENTITY
Idris
Idris
PulseAugur coverage of Idris — every cluster mentioning Idris across labs, papers, and developer communities, ranked by signal.
Total · 30d
0
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
1 over 90d
TIER MIX · 90D
TOPICS
RECENT · PAGE 1/1 · 2 TOTAL
-
Z notation's verbose syntax contrasted with functional programming languages
The Z notation, a formal method for software specification, was highly regarded in the early 1980s when imperative languages like C and Pascal dominated. However, the author found its syntax overly verbose compared to f…
-
Lucie 7B LLM training environmental impact assessed
A new life cycle assessment (LCA) details the environmental impact of training the Lucie 7B open-source large language model on the Jean Zay supercomputer. The study, which includes manufacturing emissions, operational …