Ask HN: Are there any languages/compilers that optimize at this level?
My hunch is that due to the halting problem, incompleteness, and Entscheidungsproblem, it would be extremely difficult, if not impossible, to do such high level optimization. But I would like to hear what HN has to say. Thanks!
[1] https://en.wikipedia.org/wiki/Selection_algorithm
[2] https://en.wikipedia.org/wiki/Entscheidungsproblem
相關推薦
Ask HN: Are there any languages/compilers that optimize at this level?
As you might know, if you wanted to grab the lowest entry from a list, lst.sort().first() is extremely inefficient compared to lst.select(1). Grabbing the
Ask HN: Are there any resources that monitor bad companies?
I am currently trying to see if there are any sites apart from news sites that collect information on how a company has been performing in terms of:- Staff
Ask HN: Are there any alternatives to Google AutoML?
I’m specifically referring to a system that will do neural architecture search to pick the optimal neural architecture for you.
Ask HN: Are there any open source MBA curricula?
There are plenty of open source Computer Science curricula out there. Are there any similar open source curricula for business / management folks - someth
Ask HN: Are there any products for embedding group chats on websites?
Looking for a chat product to make a site feel like a meet-up spot for regular users. I'm surprised Facebook or Slack haven't done this yet. A good example
Ask HN: Are there any good solutions for public audit logging?
I'm looking for a service, blockchain-based or not, that would allow me to publicly (and ideally irrevocably) log audit-related information, i.e. put a blo
Ask HN: Are there any open-source alternatives for Tumblr?
HelloI'm looking for an open-source project that would match the feature set provided by Tumblr (custom user profiles, posting media, sharing posts from ot
Ask HN: Is there any automatic cutoff to apply YC?
Like,- Some founders have an obligation during YC, so they cannot go to SF- Some founders doesn't own 10% stocks
Ask HN: Is there any evidence in favor of or against ketogenic diet?
On the contrary, I think you're being precisely the right amount of skeptical.I'm no expert, either. I've read some of the relevant literature when able, a
Ask HN: Are there good alternatives to ElasticSearch for storing logs?
> I find them lacking when I just want to browse and see my logs in context.Does this mean that you don't need charts - only usual datagrid for your Ela
Ask HN: Is there any real value to a company in SSL beyond Let's Encrypt?
I think few users know or care what certification authorities (CAs) signed the certificates of the websites they visit. Using a public CA other than Let’s
Ask HN: Are there board games like Go, Hex etc but a bit simpler?
Looking to make board game playing computer programs. Go, Hex etc are way too complex for my skill level, are there others that are simpler than Go but not
Ask HN: Is there any way an app can listen conversations secretly and show ads?
I am a person who is pretty aware of what i search what i type.I had few instances that i heard an ad on radio and chat with my wife or my friends and some
Ask HN: Are there people still running their own mail server?
From a service point of view, there are almost no advantages. Large (and even small) companies can do a very good job of providing a secure, redundant, ea
Ask HN: Are daily standups any useful?
>It's so obviously a micromanagement toolHere's devil's advocate against that statement (although appreciate that in practice / 'on the ground' where yo
Ask HN: Are any teams working on ML based code generation?
I've been hearing a lot about supervised learning being used to generate simple UI's and the like, but one thing that seems particularly interesting is usi
Ask HN: Could there be lifeforms made of dark matter living right here with us?
Could there be living things made of dark matter?Could they be living with us right here on earth?could earth be combination of dark matter and ordinary ma
Ask HN: Is there a Google for searching website source code?
If a website was referencing a JS file at https://evil.com/keylog.js, how could I see how many other sites this is embedded in?
Ask HN: Are we all OK with short DNS TTLs now?
Conventional wisdom has long had it that short DNS TTLs are bad because they increase query loads and any faults in DNS will cause availability problems mo
Ask HN: Are CIO/CTO roles more vulnerable than other C
Specifically, I want to ask the following:1. Are CIO/CTOs more easily replacable than other C-Suite execs? - maybe because there's more talent competing he