wf-optimizer

Languages and libraries

compiler optimization

SHOW HN2016

55points
35comments
#680of 2,264 in 2016
Top 31%of 2016 by points

How HN took it

DebatedReal support and real criticism

2 positive, 4 neutral or asking, 0 mixed, 2 critical, out of 8 comments about the project. Thread score -0.06.

Idea: 2 for, 2 against

The thread, comment by comment

Each row is a top-level comment and its replies, in HN's order. Select a cell to open that comment on HN.

positive neutral or mixed critical about another commenter or something else the maker

What HN said

What people liked

  • Connects to abstract algebra and fold fusion theory

    From 2 comments
    • This approach is strongly reminiscent of abstract algebra; for example, the Map-Reduce Transformation example seems to be(?) justified exactly when f is an isomorphism over r.…
      ericbb on HN
    • Referenced in the paper panic suggested below ( https://news.ycombinator.com/item?id=11595273 ), and suggested to me directly by @mattcmd on twitter (…
      pschanely on HN

Objections

  • Floating point makes sum reordering unsound

    From 2 comments
    • The premise of the optimizations in this article don't always hold, unfortunately. If x is floating point, sum(reverse(x)) is unlikely to be equal to sum(x) for long enough x,…
      sivvy on HN
    • Beat me to it wrt floating point! It's not a field.
      quickie69 on HN
  • Show HN guidelines: nothing for users to try

    From 1 comment
    • Interesting article. Not sure if it meets the of the "Show HN" guidelines -- there is nothing for users to try out or play with. If it is still withing the window, maybe change…
      brudgers on HN

Requests

  • Clickable code link and more explanation of Maude

    From 1 comment
    • Or post a clickable link here in the thread? Explaining the code might be an opportunity to create a rough draft of something more polished. A bit of background on Maude might be…
      brudgers on HN

Questions

  • How does this compare to stream fusion?

    From 1 comment
    • How does this compare to stream fusion? http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.7401
      panic on HN

Alternatives named

  • Stream fusion

    From 1 comment
    • How does this compare to stream fusion? http://citeseer.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.7401
      panic on HN
  • CouchDB persisted reduce results

    From 1 comment
    • Thank you. And, heck yes, more people need to be talking about how to deal with computations that are largely repeated. That problem comes up all over the place. Couchdb had an…
      pschanely on HN

Category, keywords, summaries and labels on this page were made by AI (Thread Reader v2) and not checked by hand. Each point links to the comments it came from.

Add a badge to your READMEShown on HackerShow
[![Shown on HackerShow](https://hackershow.org/badge.svg)](https://hackershow.org/show/11595200)