Zebras Hate You for No Reason: Why Amdahl's Law Is Misleading in a World of Cats

Re:Zebras Hate You for No Reason: Why Amdahl's Law Is Mislea... by fulafel on Sunday December 04, 2022 @04:26AM (#33852003)

And hope you have (or can reformulate into) a programming language that is designed to facilitate ambitious optimizations.

I wonder if there's some better term around than "compiler optimization" for doing really ambitious program transformations, in the vein of program specialization/partial evaluation treating the program and its inputs as a single symbolic system to optimize for evaluation or kolmogorov complexity. I have a feeling that by missing this terminology we're already handicapping work in the area...

[ Parent | on HN ]

Re:Zebras Hate You for No Reason: Why Amdahl's Law Is Mislea... by JonChesterfield on Sunday December 04, 2022 @04:38AM (#33852057)

We're also largely missing application specific optimisations. Occasionally I hear of people writing their own llvm pass to target their application domain but the potential scope vs exploitation of that strategy seems tragically underexplored.

[ Parent | on HN ]

Re:Zebras Hate You for No Reason: Why Amdahl's Law Is Mislea... by fulafel on Sunday December 04, 2022 @04:41AM (#33852075)

Yes. I wonder if there's a way to plug the recent GPT-3 ish program synthesis advancements into this so humans could do it with relatively low effort. The problem is merciful in that you can handle a fair chunk of the correctness validation by comparing against the unoptimized version...

[ Parent | on HN ]