Reubend

14 ms·

1.
by Reubend 8d ago
Wow, he did this all himself? Very impressive, and I'd love to see what comes of this. Does he have any plans for how he would fund clinical trials in the event that the preliminary results are promising enough for that?
2.
by Reubend 8d ago
It's great that important discoveries like this can now routinely be accompanies by formalized proofs. The fact that it's being released alongside a Lean proof from Day 1, rather than the Lean proof being released months or years
3.
by Reubend 9d ago
Is there any competitor in the USA? The idea of roof tiles which are themselves solar panels seems sensible to me, and it's more aesthetically pleasing than putting panels on top of normal tiles.
4.
by Reubend 14d ago
You manufacture the drugs yourself? That's impressive, and it feels like an interesting company. Your website sucks though. We can tell you vibe coded it quickly and didn't put much thought into it.
5.
by Reubend 1mo ago
For that particular example, it's now been proved that Mochizuki's proof is incomplete: https://zeli.app/en/story/48963019 I guess whether he will eventually fix those gaps and resolve the issues remains
6.
by Reubend 1mo ago
The assets look good, but for some reason the terrain looks too cartoonish to me.
7.
by Reubend 1mo ago
This article is from May of 2025.
8.
by Reubend 1mo ago
I think you've written a good counterargument, but I disagree with your claim that "morality is really just yet another incentive". Incentives must be external.
9.
by Reubend 2mo ago
It's just you. Any director, storyteller, or filmmaker can see the potential here to realize scenes that simply wouldn't be possible otherwise. But indeed there's plenty of slop coming out too.
10.
by Reubend 2mo ago
They're always very understated in their update descriptions. This is actually a HUGE improvement in the model's capabilities rather than just a small tweak.
11.
by Reubend 2mo ago
This seems hypocritical, out of touch, and hollow. "Safety testing" is just a hair away from censorship when it comes to government control.
12.
by Reubend 2mo ago
Yeah, this is just slop. No benchmarks, no concrete case studies, just some vibecoded "platform" to finetune models on your own traces. Which is an idea that has some value, but also some weaknesses. And this implementation of it
13.
by Reubend 2mo ago
ARC-AGI3 doesn't seem like a great benchmark to me in the first place. It assumes a lot of human like tendencies which an AI either shouldn't or wouldn't have. Particularly in the genre of "gameplay" where unspoken
14.
by Reubend 2mo ago
You've got a good point, but they might spend a lot on the software side too, and any kind of weapons manufacturing in America will be expensive compared to other countries.
15.
by Reubend 2mo ago
There aren't many local image editing models, so this is a welcome contribution! It's very compact considering the good demo results from their webpage.
16.
by Reubend 2mo ago
My biggest gripe against eSIMs is that switching from one phone to another is difficult. I wish I could simply send a file to the other phone and get along with things.
17.
by Reubend 2mo ago
Is there a way to regain some compression ratio in Snappy if you're okay with slow compression but need fast decompression?
18.
by Reubend 2mo ago
Seems like this is particularly good at instruction following, but not as strong at coding as others. It's always great to get more diversity of open weight models though! I'll need to test this out to see what its "personali
19.
by Reubend 2mo ago
Isn't the pursuit of knowledge alone good enough?
20.
by Reubend 2mo ago
I think there's some hidden demand for a small cheap car, but 19 MPH is indeed too slow. It needs to be able to go at least to slow highway speeds.
21.
by Reubend 2mo ago
> What is it that matters for "immediate mode"? Is it that the UI renders everything every frame? No. It's that you build the UI by describing what it should look like everyframe, based only (or mostly) on the data. This i
22.
by Reubend 2mo ago
Can this engine be embedded into other programs?
23.
by Reubend 2mo ago
> rendering DirectX 8 → DXVK → Vulkan → MoltenVK → Metal Am I reading that right? It makes API calls that go through 5 different layers before actually getting rendered? That's kind of crazy. I'm surprised it works, although I
24.
by Reubend 3mo ago
I'm sorry, but I agree with the wiki editors in this case. Odin is obscure. The author of this blog post seems to think it's well known, but I don't think that's substantiated.
25.
by Reubend 3mo ago
That understates how difficult it is to get to the level of performance they attained. The fact that it surpasses DeepSeek v4 in most ways shows that they accomplished some great work in this space.
26.
by Reubend 3mo ago
The example images look great. Always good to have more diverse OSS models.
27.
by Reubend 3mo ago
I think you're missing the point. Everything you said is theoretically correct, but the parent comment was talking about the concrete circumstance of pentesting with the top models today. Let's just take GPT 5.5 and Opus 4.8 as an
28.
by Reubend 3mo ago
It is strange, huh? But the hype cycles around these models often ignore good contenders. Xiaomi's MiMo-V2.5 Pro was doing really well and didn't get much hype either.
29.
by Reubend 3mo ago
> I opened 120+ issues in Dgraph, Typedb and surrealdb looking for the perfect graphDB Can you share some examples? What was wrong with those?
30.
by Reubend 3mo ago
I don't really understand the connection; they went from image generation to medical scanning?

More ›