golol

6 ms·

31.
by golol 1y ago
Hey Mr. Buzzard I want to say I find your work and enthusiasm with Lean and formalization very cool.
32.
by golol 1y ago
More middlemen = more revenue/GDP, right?
33.
by golol 1y ago
IMO many misrepresentations. - pretraining to predict the next token imposes no bias against surprise, except that low probabilities are more likely to have a large relative error. - using a temperature lower than 1 does impose a direct bia
34.
by golol 1y ago
I heard the OSSmodels are terrible at anything other than math, code etc.
35.
by golol 1y ago
People have played with (multi-) agentic frameworks for LLMs from the very beginning but it seems like only now with powerful reasoning models it is really making a difference.
36.
by golol 1y ago
so... you are into games
37.
by golol 1y ago
How does one determine they have aphantasia? How do you know that you are not doing exactly this thing people call visualizing when you perform spatial reasoning?
38.
by golol 1y ago
What field of mathematics is this? Can you point me to some keywords/articles?
39.
by golol 1y ago
I would say every genre of media has this problem. A form of media might exist for thousands of years, but genre and fashion always evolve in new directions, because what's the point of creating more of what exists already.
40.
by golol 1y ago
The thing is it doesn't help. Yes of course the horrible situation of the palestinians promotes extremism, but you still have to face that there is a lot of extremism. What was Israel to do before October 7 (besides making sure Oct 7 c
41.
by golol 1y ago
The west bank seems to not be doing so bad compared to Gaza.
42.
by golol 1y ago
If you fight in an active civil war you are not a terrorist (1948 Arab-Israeli war) If you strike military targets of an occupation force in a time of guerilla warfare you are not a terrorist. (Many palestinian fighters when there is an act
43.
by golol 1y ago
You can oppose something or you can create terorrist militias to attack Israel and destabilize its neighboring countries.
44.
by golol 1y ago
Iran has been attacking Israelthrough its proxies. Israel struck the Iranian consulate in a country they're at war with meeting proxies they're at war with. This is indeed an escalation. As a response Iran launched a huge number o
45.
by golol 1y ago
Yea I try them both but I honestly can not tell much of a difference. Subtle things.
46.
by golol 1y ago
I use o3 for my PhD math research. When I am facing a specific problem and I am out of ideas I oass it to o3. It will usually say something with a fair number if errors and eventually claim to have solved my problem in a standard manner, wh
47.
by golol 1y ago
No breakthrough, it's just better in some quantitatively measurable way.
48.
by golol 1y ago
I would claim that o1 -> o3 is evidence of exactly that, and supposedly in half a year we will have even better reasoning models (further complexity horizon), so what could that be besides what I am describing.
49.
by golol 1y ago
The first figure in the paper with Accuracy vs Complexity makes the whole point moot. The authors find that the performance of Claude 3.7 collapses around complexity 3 while Claude 3.7 thinking collapsed around complexity 7. A massive impro
50.
by golol 1y ago
So if Amazon sues Google, claiming that it is being disadvantaged in search rankings, a court should be able to force Google to log all search activity, even when users delete it?
51.
by golol 1y ago
> To be clear, Amodei didn’t cite any research or evidence for that 50% estimate. I truly belive these types of paper don't deserve to be valued so much.
52.
by golol 1y ago
No, not at all. This is flight 9. Flights 3-6 had a complete Starship suborbital trajectory with 5-6 landing softly in the ocean. On 7-8 Starship exploded before SECO. On 9 it kind of got as far as 3.
53.
by golol 1y ago
Post it let's go.
54.
by golol 1y ago
Multimodal LLMs are currently the natural research step towards AGI robots that can do mundane non-creative work. I believe this is just the reality of the situation. If you can generate a video of a robot doing the dishes then your model u
55.
by golol 1y ago
Reminds me of another frequently poasted/discussed story arc classification attempt where the author basically draws some graphs that look like "down-up", "up-down", "down-up-down", "up-down-up"
56.
by golol 1y ago
I would like to point out that there is an interesting reason why people will go for the screenshot. They know it works. They do not have to worry about residual metadata still somehow being attached to a file. If you do not have complete c
57.
by golol 1y ago
All these art producing AIs are a byproduct of the research progress towards AGI and AI that can do your chores. It is inevitable that somebody has made image or music generating AI in a world where household robots exist. So I don't s
58.
by golol 1y ago
>“We are here now, in a world filled with more than we could ever reasonably ask for,” Becker writes. “We can take joy in that, and find satisfaction and meaning in making this world just a little bit better for everyone and everything o
59.
by golol 1y ago
Exactly this. If what is written on the blockchain is not the law in the context of anything involving blockchains and DeFi, then the whole idea of blockchains and decentralized finance is pointless.
60.
by golol 2y ago
This exact quote could have been said during every other economic revolution, so to me it just sounds like a mix of complaining about living in times of uncertainty and a conservative mindset.

More ›