gr_norm

5 ms·

1.
by gr_norm 3d ago
No. That kills competition. I want everyone to be competing on the open playing field they are right now, with losses socialized as minimally as possible. There's nothing fundamentally special about LLM companies that would warrant nat
2.
by gr_norm 3d ago
Society as a whole has paid into this technology: through the theft of its intellectual property, through having to deal with the pillaging of so many commons (digital or otherwise) by it, through skyrocketing energy and computing device pr
3.
by gr_norm 8d ago
Not as many as you'd expect. The perceived difficulty of the problem leads people to more reliable pastures.
4.
by gr_norm 9d ago
Yeah, the interesting thing to me with formal methods is where you write some (partial) specs to tell the LLM what you want. It'll do the usual stuff, plus extra proof work to make sure your intent was actually realized. Throwing too
5.
by gr_norm 13d ago
Link to this study?
6.
by gr_norm 15d ago
> They will not revolutionize human knowledge, but they can definitely widen it a lot. I am generally quite enthusiastic about all this, but my biggest fear is that we will not recognize the extreme need for more scientists at a time w
7.
80% Prompt Injection Success Rate Against Claude Auto Mode(embracethered.com)
3 points by gr_norm 18d ago|1 comments
8.
by gr_norm 24d ago
Agree, Sol and Fable consistently trade blows on Rust dev. I prefer Sol since it's faster, as far as proprietary models go.
9.
by gr_norm 25d ago
Even if you don't want to use open models, you should cheer for them anyway because it puts the American frontier labs' feet to the flames. This competition is awesome for us consumers.
10.
by gr_norm 26d ago
Agree with the rest of the comments here: keep making TUIs. Fully keyboard-driven, compact interfaces that live in my terminal with the rest of my CLI devtools are the best!
11.
by gr_norm 26d ago
This needs to be qualified with "to the degree that you have a specification of what that software should do." The better the spec, the more leeway you can give the optimizer. A very thorough spec lets you give the LLM total free
12.
by gr_norm 1mo ago
To a first approximation, formal verification can guarantee some property holds for every possible run of the program , rather than just the tested ones. It's a lot more powerful than it sounds, because this unlocks the ability to tal
13.
by gr_norm 1mo ago
Part of it may be that you need experience writing formal specifications just as you need experience writing programs; everyone has a lot of the second, but little of the first. They're related skills, but not the same. The first is a
14.
by gr_norm 1mo ago
Agree in part, but remember that formal verification need not be done in full. By analogy, we don't avoid testing simply because everything under the sun can't be tested. Even simple things like verifying that certain API endpoint
15.
by gr_norm 1mo ago
The title may be slightly misleading if you haven't bothered to read the article. It's responding to a famous paper from 1979 critiquing formal verification. The article ends up disagreeing with most of its strongest claims in hin
16.
by gr_norm 1mo ago
Yep, I don't trust Brave. A web browser holds so much power over your digital life that it cannot be entrusted to a company that consistently and egregiously compromises its ethics for profit. Most of these examples border on scam beha
17.
by gr_norm 1mo ago
Then be ignored. Your subjective feelings bear nothing on the question of science funding.
18.
by gr_norm 1mo ago
> The Great Cause diverts all the money to itself. Be very specific about exactly what you mean here, with links to reputable sources. You're making extraordinarily strong accusations; vagueness does not suffice to convince.
19.
by gr_norm 1mo ago
LLMs are very helpful as a debugging aid, yes, but in large part because the fixes tend to be small and verifiable. That this does not carry over to many other use cases is the crux of the problem. I myself use them to accelerate programmin
20.
by gr_norm 1mo ago
There's a definite feeling that things are coming to a head on this one; it feels unsustainable in a way it hasn't before. People tire of the society-wide rot brought on by boundless greed whose benefits ordinary people will never
21.
by gr_norm 1mo ago
I've noticed this sort of ideology taking over social media, probably because it selects for firing off vapid dunks over sincere engagement with the complexities of the world. I fear it's destroying our ability to think for oursel
22.
by gr_norm 1mo ago
> OpenAI models tend to dominate our internal benchmarks. That's odd, since Fable seems to be the leader for the industry. Not cost-effective, but if Anthropic models get dominated by OpenAI in your internal benchmarks, this calls t
23.
DeepSeek Paper: A Programming Paradigm for Spatiotemporal Composability [pdf](github.com)
1 points by gr_norm 1mo ago|0 comments
24.
by gr_norm 1mo ago
Yeah, the comparison here between GLM 5.3 and Sol + Fable is impressive on its own, but incredibly more so when you consider it's a fraction of the (rumored) size. The miniaturization trend is as strong as ever.
25.
by gr_norm 1mo ago
The post seemingly tries to get at this with its discussion of 'oracles', but the quality of its writing and argumentation does it no favors. I actually hope it was written by AI, because if not, the authors could stand to benefit
26.
by gr_norm 1mo ago
From https://github.com/ggml-org/llama.cpp : > Visit https://llama.app and follow the instructions It's linked at the start of the README.
27.
by gr_norm 1mo ago
Indeed. Now, given that CUDA is apparently not being usurped, update your priors.
28.
by gr_norm 1mo ago
As someone experimenting with this, it's definitely very difficult to articulate your ideas using advanced type systems. At the same time, the process of doing it often forces me to seriously think through what I want the code to do, w
29.
by gr_norm 1mo ago
A maximally efficient compressor for the existing data distribution is not in general (and often will not be) maximally efficient for future data. The former may only be enabled by convenient local optima of the input distribution that a co
30.
by gr_norm 1mo ago
This is a rather poorly-written post that more or less boils down to "GHC isn't fast enough to let us make deep-reaching changes to our codebase all the time" (fair, but this shouldn't be necessary if your abstractions a

More ›