rowanG077

6 ms·

61.
by rowanG077 3mo ago
I program mostly in Rust, Haskell and Python nowadays. I indeed would love to go gc-less dependently typed. But I work in a team where the code I build is expected to be maintained by other devs. And going that route is unfortunately not te
62.
by rowanG077 3mo ago
I agree. Rust does not go far enough imo. Still catching most memory problems at compile time is still much superior.
63.
by rowanG077 3mo ago
Something that is important to me is that it's caught at compile time. A memory issue is a logic bug. Fil-c simply moves that from undefined behavior/security issue/incorrectness to a crash. That's better than what it wa
64.
by rowanG077 3mo ago
Get real, you think LLMs got to where they are by training on 80 year old works? Your point is technically true, just basically irrelevant for LLM training.
65.
by rowanG077 3mo ago
I really don't think that's true. Of course after the fact a counter example looks easy. Because look at it, it's obviously that it doesn't work. But that disregards the process of finding it. That requires great creativ
66.
by rowanG077 3mo ago
These models are not copies, distillation is simply a part in the pipeline. suggesting that the Chinese models are full copies through distillation is simply wrong. Just because they are distilling does not mean they are not innovating. In
67.
by rowanG077 3mo ago
Does anything truly better exist? I'm not a mathematician but I did use Rocq and Lean during university. And I found lean to be better.
68.
by rowanG077 3mo ago
Ah yes, because if a person agrees with anything a chinese company does it must be because they love Xi. Get real. Munching of the top student in a class is clearly prohibited. Distillation is not cheating, it's learning from your comp
69.
by rowanG077 3mo ago
Given that model distillation has existed since the early days of the current AI boom, and no robust defense has been demonstrated, the available evidence does not support your theory.
70.
by rowanG077 3mo ago
Distillation is not an attack. It simply a way to train a model. Not doing it when you are behind is akin to snatching defeat from the jaws of victory.
71.
by rowanG077 3mo ago
This is just not true. Not even electricity or hell water is globally available.
72.
by rowanG077 3mo ago
That someone needs to vent is not proof of anything. People get their panties twisted for the tiniest things. I would expect that if Andrew had a real valid reason than it would appear in this post. But it's really nothing but personal
73.
by rowanG077 3mo ago
There is no C/C++ static analyzer that can guarantee what rust does: full memory safety.
74.
by rowanG077 3mo ago
Nothing superficial about 120K USD donations. I have personally seen nothing but good vibes coming from Bun to Zig and Andrew. Re-writing is not "throwing under the bus" you make it out to be.
75.
by rowanG077 3mo ago
I'm sorry that I don't agree with you that a out of touch board of directors or shareholders are better from the get go than Musk.
76.
by rowanG077 3mo ago
Doesn't that hold for all internet providers? I'm not familiar with SpaceX cutting people of, but that doesn't sound out of line compared to industry.
77.
by rowanG077 3mo ago
I agree with this. But imo its pretty clear that cheap and easy access to the internet on the entire globe is a clear win.
78.
by rowanG077 3mo ago
This is quite insane to me. If I compare the output of LLMs for python vs statically typed languages it's really not a good choice to go the python route. It consistently produce relatively garbage code along actually good code. My exp
79.
by rowanG077 3mo ago
Do you those 48 days are the total number of working hours these MEPs have? Of course not. Something always needs to give when going on vacation. And usually missing a a plenary session is not weird or the end of the world. The problem here
80.
by rowanG077 3mo ago
sleeping helps learning, but people can learn without sleep. You can teach something to a person and they can usually do it immediately in some capacity. If you prevent a person from sleeping they will have reduced capacity to remember thin
81.
by rowanG077 3mo ago
They did not know this, this was an emergency vote literally injected two days ago.
82.
by rowanG077 3mo ago
Politicians can take vacations. Many things went wrong here but this ain't it.
83.
by rowanG077 3mo ago
That's precisely what a regression test suite is for. There is a bug, you fix the bug, you add a regression test. So if the test suite is well maintained these real world production scars are reflected in the tests.
84.
by rowanG077 3mo ago
I absolutely believe that if the NSA wants something from you badly enough and has the dirt to blackmail you than they will do it.
85.
by rowanG077 3mo ago
I don't think it's generally thought of an advantage that LLMs are stateless. In deployment it's nice, it would be much better if the model could continually learn. I'm not claiming LLMs are not useful, they most certain
86.
by rowanG077 3mo ago
They're different mechanisms. Teaching modifies the learner. Prompting doesn't modify the model. It provides additional context that influences a single inference. A person who has learned something can apply it years later withou
87.
by rowanG077 3mo ago
I'm not against the prompt being changed, the point I was making is that an LLM is prone to the exact same mistakes even if you change the prompt. A trivial example is the very basic character counting mistake, I just asked chatgpt: &g
88.
by rowanG077 3mo ago
Are you really making the case that teaching a person how to work is equivalent to prompting an AI?
89.
by rowanG077 3mo ago
> If the Model makes repeated mistakes on the same subject matter, you can update your agent.md file ... That's all just prompting. > How do you think models are created? They are trained on feedback and learn. No one is post tra
90.
by rowanG077 3mo ago
Literally the entirety of the worlds infrastructure relies on that. In the past we had (literally) had nuclear war hinging on a single person just deciding that some data point is an artifact.

More ›