计算机科学2022 · 分享于 Hacker News
Using Answer Set Programming for HPC Dependency Solving
探索《Using Answer Set Programming for HPC Dependency Solving》的原文与 Hacker News 社区讨论，查看来源并加入阅读清单。
从论文，走向讨论
看看社区如何讨论这个想法。
来自 Hacker News 的原始讨论。不同的视角、疑问，以及值得继续思考的线索。
最多展示 100 条相关讨论。论文可能出现在评论中，并非原帖投稿内容。
在讨论中发现的引用
按 HN 条目顺序展示最近的 50 条引用来源。
YGavinAnderegg ·
Nvidia DGX Spark: great hardware, early days for the ecosystem
189 赞同111 评论
Ysetheron ·
Mapping Out the HPC Dependency Chaos
49 赞同28 评论
Ywofo ·
The Birth of a Package Manager
12 赞同0 评论
Yweird_user ·
Modern SAT solvers: fast, neat and underused (2018)
12 赞同4 评论
Ytgamblin ·
Using Answer Set Programming for HPC Dependency Solving
3 赞同0 评论
Ytgamblin ·
Simplifying HPC dependency solving with logic programming
3 赞同0 评论
Ytgamblin ·
Using Answer Set Programming for Dependency Solving in Spack
1 赞同0 评论
Ytelotortium ·
Spack – scientific software package manager for supercomputers, Linux, and macOS
1 赞同0 评论