Paywall copy from reddit

https://old.reddit.com/r/MachineLearning/comments/khin4c/n_m...

Also: https://archive.vn/evQgH

archive.vn has never loaded for me; a lot of the time it doesn't even resolve

That's probably Cloudflare (or some stub resolver using Cloudflare DNS answers). https://community.cloudflare.com/t/archive-today-does-not-re...

You're the salt of the Earth

Many had the same thought after AlphaZero i.e. some sort of expert-iteration for any (formal/combinatorial) domain what can be tree-searched

But it turns out, that interesting problems have existing refined algorithms that are difficult to beat

I agree that (DL + something) is the next step

Do you lean more towards symbolic search + neural heuristic or neural representation of symbolic domain ?

I lean towards symbolic AI + neural models. There is an architecture diagram in the article showing one good example.

Should this be modifiable for higher-level byte-code?

My thinking is to provide hand-crafted primitives to transform byte code, and maybe use an existing optimizer to do the search.

Souper does something like that with IR optimization.

https://github.com/google/souper

Love to chat. Sent u an email (former HFT and kernel guy).

One topic which is feel is neglected is a good GCN (or any GNN) to operate on existing code trees. Most approaches seem to prefer seq or at most tree inputs.

Is this simply not finding yet a good network architecture, or is it a performance issue ?

I dont see any email listed on your profile. Would like to have a chat to work/learn on this stuff

What do you think is a more productive path leading to "AutoCode" ?!

A. Add external definitions or reward formalism to make the code-space easier to search?

OR

B. Keep adding code trees, execution traces, comments, memory dumps and learn from those?

My own instinct is that AlphaZero was a lot more convincing than AlphaStar, so lots of (A) is definitely needed

As a non-US person, is there anyway to bill using Stripe without incorporating? I dont mind withholding tax, etc, i just want to be able to bill and track the initial revenues.

AFAIK, Stripe is not available in all-EU countries. Paypal just works in this case.

My only nitpick is that AG (ML + search really) improved logarithmic-ally with exponential compute.

In addition, real world domains may not be some parallizable.

So yes, current AI is like a brilliant intern. It will eventually be your manager, but its gonna take a few more years ?

Is there some sort of group-defense, where several sue-ees group together to contest a ridiculous patent ?

I guess the main difficulty is not the legal framework, but the business framing

Yup, you can seek a declaratory judgment of non-infringement, or institute an IPR at the PTAB to get a patent knocked-out. As a patent litigator, I believe most people don't understand patents, the patent system, nor what it tries to achieve.

What else do you think people don't know? I'd love to hear from someone knowledgeable.

I think people misunderstand the patent system. It's not perfect, but to expect it to be so is entirely absurd. People do not realize it is a set of laws that is supposed to categorize and provide structure... to the unknown. If people realized this is the starting point from which all patent laws must be developed, it would create the context to understand why everything else happens. It's kind of absurd, even amongst the quite intelligent folks here, that this goes without notice. To say software patents shouldn't exist outright is to say that no one could invent anything in software that is novel and beneficial to society. I'm not sure how people come to that conclusion!

I think people also fundamentally misunderstand that the "patent troll" is kinda like the "jaywalker" a term made up by an industry attacking the very concept. The car companies made up jaywalking once they got cities to switch off streetcars and to free the roads up for individual's motor vehicles. Similarly, patent troll is something used by large corporations owning vast troves of IP that get attacked by a smaller company that owns less IP. Is every patent litigation great? No! But our legal system already prefers to let a guilty man free rather than put an innocent man in jail... yet there is some absurd belief that the patent system should be more perfect than this. And lets be fair, it's a lot easier to say "killing people is wrong and deserves XYZ punishment" than it is to determine every unknown thing in the world. Patent trolls aren't really trolls, they are the inventors. Most of the time, if you invent a patent, you still can't find the funds to take on a big corporation infringing your patent. At least if "trolls" exist, the founder can sell his patent right to an entity that specializes in enforcing it. This is the market working.

Great news.

I wonder if already there will be a selection bias to recession-friendly and revenue-producing startups

IANAVC (not a vc), but i think do this is doubling down on risk.

If you take seed from VC, then: 1. if you are mediocre then things become very difficult for you 2. if you are successful, the VC can discount the risk premium, and push u into an even higher valuation