golol

7 ms·

61.
by golol 2y ago
I would hope with all that mass to orbit you can also work on space debris cleanup. For example using lasers somehow.
62.
by golol 2y ago
Where does the angular momentum go?
63.
by golol 2y ago
that's probably dalle
64.
by golol 2y ago
Consider n real numbers a_0, ..., a_{n-1}. That's not very elegant.
65.
by golol 2y ago
I think another way to think about this is that subtly trying to consider AI in your AI-unrelated research is just respecting the bitter lesson. You need to at least consider how a data-driven approach might work for your problem. It could
66.
by golol 2y ago
Nice article. I didn't read every section in detail but I think it makes a good point that AI researchers maybe focus too much on the thought of creating new mathematics while being able to repdroduce, index or formalize existing mathe
67.
by golol 2y ago
>Each individual function eventually does zero things. Lambda calculus, basically :)
68.
by golol 2y ago
You are considering issues of like 0.25x - 4x efficiency gain or loss while ignoring that the real issue is possible vs impossible. If I have a household tobit that can vacuum the floor taking 4x as time as me I don't care. It's s
69.
by golol 2y ago
Chatbot Arena is not really a great benchmark imo
70.
by golol 2y ago
Deepseek is not on par with o1.
71.
by golol 2y ago
I am a math PhD student and I already draw some value from recent reasoning models. I strongky believe than in 1-2 years LLMs will become established tool for scientists to help with coding and math. I really don't think you can call t
72.
by golol 2y ago
powerful general BCI, FDVR, cyborg intelligence and so on. Elon Musk clearly stated this many times.
73.
by golol 2y ago
b...but stochastic parrot!
74.
by golol 2y ago
Modern operating systems should include by default a very simple private/public key system to sign arbitrary files. I think it should not be very complicated? We badly need this in the age of AI.
75.
by golol 2y ago
oh thanks I think Im blind :)
76.
by golol 2y ago
I found the image at the bottom very surprising and enlightening. I wonder where it is from. It's really a new thought for me.
77.
by golol 2y ago
o3-mini is not really "a version of the o3 model", it is a different model (less parameters). So their language strongly suggests, imo, that Deep Research is powered by a model with the same number of parameters as o3.
78.
by golol 2y ago
This mentality is why teenagers can't use a file system. Why do tech people love to hide as much state as possible. Does it really help anyone?
79.
by golol 2y ago
I don't find OpenAIs naming conventions confusing, except that the o for omni and the o for reasoning have nothing to do with eachother. That's a crime.
80.
by golol 2y ago
The things that are missing are what stops us from having useful agents so far: Agency, judgement, sense of time, long horizon planning, not being gullible. I kinda feel like some amount of ego is necessary to get a model to behave like tha
81.
by golol 2y ago
Doesn't writing out the trailing zeroes mean that you clain 4 significant digits? At least in the physics context.
82.
by golol 2y ago
This is kind if true. I feel like the reasoning power if O1 is really only truly available on the kinds of math/coding tasks it was trained on so much.
83.
by golol 2y ago
If they stick the landing first try I'm really impressed abd SpaceX has real competition.
84.
by golol 2y ago
Hmmm without a human control it is not all that clear to me that the variation problems are not more difficult.
85.
by golol 2y ago
In order to replace actual humans doing their job I think LLMs are lacking in judgement, sense of time and agenticism.
86.
by golol 2y ago
The shape doesn't matter! Non-humanoid shapes give minir advantages on specific tasks but for a general robot you'll have a hard time finding a shape much more optimal than humanoid. And if you go with humanoid you have so much da
87.
by golol 2y ago
If OpenAI training on youtube videos violates copyright then so does Google training on them.
88.
by golol 2y ago
It just doesn't make sense. So it is immoral for engineers to design weapons? That's like saying it's immoral to butcher an animal. Sure go ahead, ban butchering animals in your society so everyone can feel good about themsel
89.
by golol 2y ago
Lambda calculus consists pretty much just of function compositions, which in principle have a tree structure. Is this just lambda calculus in a dress?
90.
by golol 2y ago
All I see is trivialities.

More ›