HackerLangs
TopNewTrendsCommentsPastAskShowJobs

vatsachak

399 karmajoined 8 เดือนที่ผ่านมา

Submissions

Accidentally rm rfd a production server

old.reddit.com
1 points·by vatsachak·6 เดือนที่ผ่านมา·0 comments

Questioning Representational Optimism in Deep Learning

arxiv.org
1 points·by vatsachak·8 เดือนที่ผ่านมา·1 comments

comments

vatsachak
·7 ชั่วโมงที่ผ่านมา·discuss
Computation is in the eye of the beholder
vatsachak
·10 ชั่วโมงที่ผ่านมา·discuss
It's mentioned in the article
vatsachak
·11 ชั่วโมงที่ผ่านมา·discuss
Open source is the future. If everyone can work on it, we get better results for cheaper.

Open source doesn't mean the end of competition, since we are a competitive species.

I think the future economy is going to be some sort of UBI + large open source projects
vatsachak
·14 ชั่วโมงที่ผ่านมา·discuss
DINO was created independent of JEPA but uses a similar principle of self supervised learning through minimizing the prediction error of a latent.

The difficulty in predicting a latent is so called "collapse"; the embedding neutral network can always output the zero vector and this would predict the output correctly.

There are different ways to solve this, DINO uses two different models - a teacher and a student and LeCunn uses an explicit term against collapsing to a single output.

Yann mentions DINO in his talks
vatsachak
·เมื่อวาน·discuss
LLM pre-training is definitely unsupervised.
vatsachak
·เมื่อวาน·discuss
Thanks for the correction on the order of magnitude for the whole training process.

The 9M GPU hours includes the DINO v2 inference used in order to curate the data set.

The final training run used like 300000 dollars of compute.

Unfortunately we don't know how much RLVR + Agent training costs these companies. I'm just gonna say it's in the hundreds of millions, because they are supposedly making billions of profit on inference yet making billion dollar losses
vatsachak
·เมื่อวาน·discuss
All of us were shocked with RL on LLMs.

To me LLMs have gotten better since 2024, but their fundamental flaws still seem there.

They hallucinate when it comes to really challenging tasks such as math proofs. They still do not reuse code well and will rewrite functions instead of perusing the standard library.

But this is good news. LLMs are awesome and they are only the first step towards AI being applied everywhere. They are a Model T
vatsachak
·เมื่อวาน·discuss
JEPA can use a transformer, and DINO does so yes
vatsachak
·เมื่อวาน·discuss
That's true, but he's still correct, it's just that the context is now so large that only people using agent loops see "context rot"

His other criticism of LLMs that I like better is that they try to predict tokens instead of learned embeddings. Tokens are arbitrary and in order to decode LLMs you need technical analysis (see mechanistic interpretability).

With JEPA models so far, it seems that PCA on latent vectors suffices.

tldr: embeddings have a lot more room for improvement
vatsachak
·เมื่อวาน·discuss
I wonder what increment of progress will be achieved by the next billion dollars
vatsachak
·เมื่อวาน·discuss
Are you joking? They spend billions of dollars training LLMs to get a 7.8% on arc agi 3 whereas DINO models are near sota in image classification, provide meaningful embeddings to the point where image segmentation is just PCA. The spend on DINO cannot be more than five million (correct me if I'm wrong)

JEPA is just getting started
vatsachak
·เมื่อวาน·discuss
I mean, theoretically you can solve every finitary problem with a brute force solution...

Richard Sutton specifically states that the search has to be smart. We know that the brain uses recurrent connections and is shallow. I think a lot more money has to go into architecture. Feed Forward transformers can only scale so far
vatsachak
·4 วันที่ผ่านมา·discuss
Yeah, the end paragraph about recurrent neurons in humans being replaced with layers in an LLM is a good one.

The mammalian brain uses recurrence extensively, which backpropagation isn't good at. Recurrence is essential because it lets us have a "dynamic architecture", swapping layers for "clock cycles".

We currently do recurrence extremely inefficiently through "thinking" whereby the model feeds it's end output into it's beginning input. But recurrence is abound in the brain.

My guess is that in 10 years we will have the inklings of an analog computer which can perform Neural Predictive Coding.
vatsachak
·5 วันที่ผ่านมา·discuss
Great! Hopefully we can get 10 year behind technology from small fabs. There's so much you can do with a laptop from 2016
vatsachak
·7 วันที่ผ่านมา·discuss
Gotta love TLA+

I wonder if anyone has worked on porting it to Lean and making tactics for it
vatsachak
·8 วันที่ผ่านมา·discuss
Type checking is the same as proof verification. It is called the Curry-Howard correspondence
vatsachak
·8 วันที่ผ่านมา·discuss
That's fair. Two things that are heavily underrated are architecture and encoders
vatsachak
·8 วันที่ผ่านมา·discuss
You get a fields medalist to email the reviewer to say "wait that paper is really good actually"
vatsachak
·8 วันที่ผ่านมา·discuss
Yes, my comment was kind of a non sequitur
vatsachak
·8 วันที่ผ่านมา·discuss
Everyone, including blind people use their visual cortex to play chess