Ideas & society2017 · shared on Hacker News
Souper: A Synthesizing Superoptimizer
Explore Souper: A Synthesizing Superoptimizer, its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Yharambae ·
FFmpeg devs boast of another 100x leap thanks to handwritten assembly code
407 points130 comments
Ydavikr ·
Tilde, My LLVM Alternative
361 points159 comments
Ytom_mellior ·
Formal Verification: The Gap Between Perfect Code and Reality
222 points102 comments
Yescriss ·
Software Verification and Analysis Using Z3
143 points40 comments
Yeatonphil ·
A Superoptimizer for LLVM IR
135 points40 comments
Ymatt_d ·
Souper: A Synthesizing Superoptimizer
73 points7 comments
Yingve ·
Souper: A Synthesizing Superoptimizer
3 points0 comments
Ychrisaycock ·
Syntax-Guided Synthesis
2 points1 comments