Top all-time · #11217
Stefan Heule
Personal blog · stefanheule.com/blogprogrammingsystems
Stefan Heule's personal blog at stefanheule.com covers programming and systems. Since 2015, 6 different Hacker News readers have linked it 11 times, most often “Stratified Synthesis: Automatically Learning the X86-64 Instruction Set [pdf]”. No feed was found, so read it on the site itself.
Too few sampled comments (2) to say how often HN recommends it.?
Why HN links it
HN readers link Stefan Heule's posts on whether compilers use all x86 instructions and on how AI-based programming could work. The comments discuss those topics and do not judge the writing itself.
Summarised by Claude from a sample of 2 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Personal website of Stefan Heule
Most-linked posts?
- Stratified Synthesis: Automatically Learning the X86-64 Instruction Set [pdf]3 people · 3 mentions · first linked 2016-05-03
- The Most Dangerous Code in the Web Browser2 people · 2 mentions · first linked 2015-07-07
- Stratified Synthesis: Automatically Learning the X86-64 Instruction Set2 people · 2 mentions · first linked 2016-04-19
- How Many X86-64 Instructions Are There Anyway?2 people · 2 mentions · first linked 2016-04-20
What Hacker News says?
In general: * x87 floating point is generally unused (if you have SSE2, which is guaranteed for x86-64) * BCD/ASCII instructions * BTC/BTS/related instructions. These are basically a & (1 << b) operations, but because of redundant uses, it's generally faster to do the regular operations * MMX instructions are obsoleted by SSE * There's some legacy cruft (e.g., segment management) that's generally unused by anyone no…
Comment linking /papers/pldi16-strata.pdf
on “Does a compiler use all x86 instructions? (2010)”Submitted How Many X86-64 Instructions Are There Anyway? as a story · 207 points
HN discussionThe keyword you want to search for is "program synthesis." It already exists, and no neural nets need apply (neural nets tend to be useful only if you can't get anything else to work). As a bonus, it's not probabilistic like AI techniques tend to be but exact, based on SMT solvers and verified proof correctness. An example of work showcased at this year's PLDI that's capable of doing this sort of stuff: Fast synthes…
Comment linking /publications/pldi16-strata/
on “How AI based programming could work”Submitted The Most Dangerous Code in the Web Browser as a story · 138 points
HN discussionSubmitted How Many X86-64 Instructions Are There Anyway? as a story · 5 points
HN discussionSubmitted Stratified Synthesis: Automatically Learning the X86-64 Instruction Set [pdf] as a story · 3 points
HN discussionSubmitted Stratified Synthesis: Automatically Learning the X86-64 Instruction Set [pdf] as a story · 3 points
HN discussionSubmitted The Most Dangerous Code in the Web Browser as a story · 3 points
HN discussionSubmitted Smartless: a better pager for small and large inputs as a story · 2 points
HN discussionSubmitted On the Importance of Safe Interfaces as a story · 1 points
HN discussionSubmitted Stratified Synthesis: Automatically Learning the X86-64 Instruction Set as a story · 1 points
HN discussion