思想与社会2017 · 分享于 Hacker News
Souper: A Synthesizing Superoptimizer
探索《Souper: A Synthesizing Superoptimizer》的原文与 Hacker News 社区讨论，查看来源并加入阅读清单。
从论文，走向讨论
看看社区如何讨论这个想法。
来自 Hacker News 的原始讨论。不同的视角、疑问，以及值得继续思考的线索。
最多展示 100 条相关讨论。论文可能出现在评论中，并非原帖投稿内容。
在讨论中发现的引用
按 HN 条目顺序展示最近的 50 条引用来源。
Yharambae ·
FFmpeg devs boast of another 100x leap thanks to handwritten assembly code
407 赞同130 评论
Ydavikr ·
Tilde, My LLVM Alternative
361 赞同159 评论
Ytom_mellior ·
Formal Verification: The Gap Between Perfect Code and Reality
222 赞同102 评论
Yescriss ·
Software Verification and Analysis Using Z3
143 赞同40 评论
Yeatonphil ·
A Superoptimizer for LLVM IR
135 赞同40 评论
Ymatt_d ·
Souper: A Synthesizing Superoptimizer
73 赞同7 评论
Yingve ·
Souper: A Synthesizing Superoptimizer
3 赞同0 评论
Ychrisaycock ·
Syntax-Guided Synthesis
2 赞同1 评论