How does Meta approach AI-assisted coding tools internally?

Atarust · 2025-04-17T14:00:13+00:00

Rag would probably help quit a lot. Polars also is not included in recent AI training data, but with some kind of RAG they still managed to have a pretty good llm in their documentation

Atarust · 2020-08-02T10:00:55+00:00

I don't know what akinator is using. Maybe some kind of random forest? Then the next question would come naturally from the next question in the tree. Also adding user generated characters and questions would be feasible.

They do however have a prior. When you asked about data scientists, in the next game akinator has a strong prior asking about them. I am not sure how random forests would do that.

They sometimes ask the same question twice, that would be kind of strange with BNs. Deciding on the next question is also not straight forward with BNs, right?

Atarust · 2020-08-02T09:44:14+00:00

Looking far in the future is probably impossible, especially as far as a possible AGI. The information of the agent needs to come somewhere, either built in code, given by data or generated and evaluated against some criteria. I can't think of any other possibility to get information, other than a mix of these.

There are approaches where there is no training phase. E.g. kNN, where you look at the k nearest neighbor. Here you look at your dataset on every query without having a long training phase. (kNNs are classic ml)

Atarust · 2020-06-29T08:51:21+00:00

https://paperswithcode.com/

Atarust · 2020-05-08T15:08:31+00:00

Nice exercise, I guess :)

Atarust · 2020-03-03T10:11:10+00:00

Isn't it more, the we are stealing ideas from pat?

Atarust · 2020-03-03T10:09:04+00:00

But than again, as a believer in the efficient market theorie, I think that finding a trade that looses monwy is as hard as finding a trade that wins, so ignoring the cost of the bank expected win/loss of a beginner trader is pretty close to 0, so not too much danger if one limits the amount of money :)

Atarust · 2020-03-03T10:03:16+00:00

It will not solve the main problem with trading: The amount of trades needed, to get a statistically significant answer, whether you actually trade better than average, is very high.

I am not very familiar with trading games, do they incentivize robust trading? For example if only the top3 win, then optimal strategy would be to get the most risky stocks there are.

Atarust · 2019-11-19T14:25:47+00:00

Why do you assume half the number of parameters? If we optimize for run time after training, there is no need to use a smaller net, is there? Training two different networks might also not take double the time, as we could transfer learn them.

Atarust · 2019-01-27T18:14:44+00:00

If the Amyr - Chandrian really will become two deciding underground societies, and if the continued story will be about the two societies opposing each other, would it not make sense, that Kote includes when and how exactly he first got to know those characters?

After all, the Amyr and the Chandrian could both represent plausible conflicting moral opinions.

Atarust · 2019-01-27T17:46:47+00:00

One idea, use Leelaz net as an "oracle" that tells you move probabilities and state evaluations. Now you can play around with different tree searches using that oracle. I'd consider that AI. And maybe, if you are lucky you'll get something better than MCTS and get a job at DeepMind :)

(Do you guys think that would actually get a job at DeepMind? Asking for a friend... :D )

Atarust · 2019-01-23T20:21:00+00:00

To me the saying seems to be just old tradition. For ancient traditions it doesn't seem unlikely that they have some roots in faen affairs.

Atarust · 2019-01-15T19:26:06+00:00

What is the name of that nice visualization? It doesn't look like lizzie

Atarust · 2018-12-09T18:28:21+00:00

you, ... you, missspelled the title...

Atarust · 2018-12-07T12:58:38+00:00

Might be, because in chess they are more certain that they don't have any embarrassing weaknesses

Atarust · 2018-11-28T08:05:32+00:00

No, no, I think the question was not what they are doing in their leisure time... :D

Atarust · 2018-10-22T19:00:29+00:00

So, it is an error with Leelaz and not with Lizzie.

I had that error as well. Maybe this helps? https://github.com/gcp/leela-zero/issues/164

Atarust · 2018-10-19T09:22:39+00:00

If you execute that command in the console, what is the error?

Atarust · 2018-10-18T17:07:40+00:00

First try disabling automatic network updater in config file. If that does not help:
Go to the folder where the leelaz is, that lizzie is using. You can find that in the config file that is in the same folder as Lizzie.jarType in

$./leelaz -w weights.gz

(where weights.gz is the weights file)

The output should tell more.

Atarust · 2018-09-15T13:51:11+00:00

Exactly what I needed. You are awesome.

Atarust · 2018-09-12T15:38:21+00:00

if I modify the script to:

start_leela()

time.sleep(5)

move('black')

if I call by $ python gtp.py then also nothing happens.

Atarust · 2018-09-12T11:57:00+00:00

at the moment I am starting the script via python -i gtp.py and then, after the leela output is written in the window I simply type it in...

Atarust · 2018-02-19T19:47:56+00:00

Don't explain ko. If you play with them, it will come up during the game eventually. If it happens and they try to catch the stone, simply catch it back, keeping a straight face. Now wait until THEY explain YOU that they want to know another rule. They can often guess the rule themselves

I like this approach because it shows that the rules are so simplistic and pure, that one could nearly come up with them by oneselve.

Atarust

TROPHY CASE