theLiminator

5 ms·

1.
by theLiminator 7d ago
I wish someone ran some sort of representative benchmark suite every X days to see if this occurs.
2.
by theLiminator 20d ago
Perhaps coq/agda/idris/etc.
3.
by theLiminator 20d ago
Imo, formal methods like more expressive/stricter type systems are key to making LLM generated code successful. Of course models will get better, but trusting the output will become much easier with a type system that proves more prope
4.
by theLiminator 1mo ago
Yeah, local LLMs are probably an order of magnitude less efficient at a fixed level of "intelligence" if not more.
5.
by theLiminator 1mo ago
That's probably going to lead us to trusted attestation age verification.
6.
by theLiminator 1mo ago
Looks pretty cool, what steps are you taking to ensure that the backend is secure?
7.
by theLiminator 2mo ago
DataFusion is really cool, it's kind of like the LLVM of the OLAP world.
8.
by theLiminator 2mo ago
It depends on your quality bar. At a fixed level of quality, given a high reasoning sonnet vs a low reasoning opus, the low reasoning opus tends to be pareto optimal. It's only when you need even lower levels of cost than opus at zero
9.
by theLiminator 2mo ago
This is useful research, but this particular model itself is likely absolutely useless.
10.
by theLiminator 2mo ago
What makes something `True AI`? What's your test for it?
11.
by theLiminator 2mo ago
Please define AGI first.
12.
by theLiminator 2mo ago
Maybe something like Hylo? But personally I don't see anything displacing rust for the next few years, as I think there's enough rust in the training data for it to be the best "serious" language for agentic systems-leve
13.
by theLiminator 2mo ago
That's the power of a strong test suite. LLMs excel when you have verifiable rewards. I imagine we'll get a lot more rewritten in rust projects in the future. Rust is also an ideal target for such rewrites as it offers a lot of ve
14.
by theLiminator 2mo ago
> Much more than any other country on Earth. What about Canada?
15.
by theLiminator 3mo ago
If anything I think discipline and rigor will go up. I think it will force us to adopt stronger type systems, formal methods, and more automated verification.
16.
by theLiminator 3mo ago
Seems like the way to go for any smaller models is to only use the low reasoning levels, and for anything where you'd want it to reason harder, to just use a larger model. In effect, high reasoning only makes sense when you're usi
17.
by theLiminator 3mo ago
This is the type of problem for which LLM generation is great for. If you have an oracle, and your problem is largely just a pure function, it's pretty good at generating something that both works and is fast.
18.
by theLiminator 3mo ago
How does this compare with vega/vega-lite?
19.
by theLiminator 3mo ago
I personally skip breakfast and just eat lunch and dinner. I'm not very active, and I've found that doing that as well as not eating snacks, sugar, or having calories in drinks makes it pretty easy to roughly be calorically neutra
20.
by theLiminator 3mo ago
This take is ridiculous, the PRC is not going to care at all about US regulations.
21.
by theLiminator 3mo ago
I don't disbelieve a 5000x speedup is possible, I disbelieve that a modern day supercomputer will fit in your pocket in even the next 10 years.
22.
by theLiminator 3mo ago
Yes, I'm talking about a supercomputer from today in your pocket. That probably requires at least 5000x perf/watt if not even more.
23.
by theLiminator 3mo ago
> But, history says the supercomputer of today will fit in your pocket in a few years. I don't think this will be true in the same time span anymore. Each miniaturization is costing more and more money. Perhaps they'll come up
24.
by theLiminator 3mo ago
> it's a cat and mouse game that favors the defenders IMO How so? I'm actually against most of the "safety-tuning" that anthropic does, but this seems fundamentally untrue, a close analogue being video game cheat deve
25.
by theLiminator 3mo ago
This is pretty bullshit, now you have no idea if your output is getting silently nerfed.
26.
by theLiminator 3mo ago
> We have also added safeguards related to frontier LLM development. As discussed in Section 6.1 of our February 2026 Risk Report, we are concerned about the risks of accelerating the overall pace of AI development, though we remain unce
27.
by theLiminator 4mo ago
This would have a massive chilling effect on the private sector as a whole. IMO it would completely destroy investment in America. American companies and markets get extraordinary investor interest due to strong property rights. Once those
28.
by theLiminator 4mo ago
I'm curious why IPFS never took off (I haven't dug into it much), but it seems more decentralized than BT.
29.
by theLiminator 4mo ago
Then what do you mean by pure software? I think there's essentially zero domain-free software.
30.
by theLiminator 4mo ago
> Writing software has never been difficult. That's not true at all, sure CRUD might not have been that difficult, but absolutely there is extremely complicated software out there that is really difficult to write in a performant an

More ›