cryptolobster

8 ms·

1.
by cryptolobster 8d ago
Given how much surrounding machinery the graph sandwich proof depends on, would it even be feasible to formalize it in Lean without first formalizing large chunks of random graph theory? And if not, does that mean results like this will sta
2.
by cryptolobster 8d ago
I've been feeding agents dependency graphs plus CC and coverage data from a local store, and it works well for spotting cyclical deps and high-CC hotspots
3.
by cryptolobster 8d ago
For small-scale personal or family applications serving just a few users, does it make sense to choose Quick Tunnels over Tailscale or Pangolin?
4.
by cryptolobster 27d ago
TIL Git can do this without a shell script. I’ve been manually sorting through branches like an idiot
5.
by cryptolobster 27d ago
Tried Haiku on an old laptop. Loved it. Then realized Linux feels just as fast now and has containers. Haiku is cool, but it's losing the lightweight edge.
6.
by cryptolobster 29d ago
The situation is absurd. The fact that an AI bot from Tracer.AI filed a complaint without any real review just because Luanti uses a similar visual style to Minecraft, and Google just accepted it and removed the app is a problem of automati
7.
by cryptolobster 29d ago
Honestly, it'd be nice if people remembered about keyboard controls more often. I'm not saying it should replace the mouse, but it'd be great if both options were kept around
8.
by cryptolobster 1mo ago
> The problem is they still throw their needles all over the ground But it's better if at least some of them are in the trash and not scattered around, isn't it? I may be wrong but it seems to me that public opinion doesn'
9.
by cryptolobster 1mo ago
Holy shit, this is very impressive
10.
by cryptolobster 1mo ago
It's funny how such holes can remain for years, and no one notices until someone stumbles upon them. It's interesting that no serious organization wanted to address the issue until it was discovered that the military was involved.
11.
by cryptolobster 1mo ago
DeepSeek was already pretty cheap compared to OpenAI and else, but now with peak pricing, it's not as straightforward. GPT-4o mini is $0.15/$0.60 per 1M tokens, while DeepSeek V4 Flash off-peak is $0.22/$0.66. So still cheape
12.
by cryptolobster 1mo ago
Well, it certainly sounds cool. But I have questions about how it actually works. And I can't test it because I have nowhere to install it...
13.
by cryptolobster 1mo ago
Damn, raccoons are seriously scary. They're not just smart, they're also well-adapted. Actually, I think humans built a paradise for them. Trash, warmth, shelter. What else do you need for complete raccoon happiness?
14.
by cryptolobster 1mo ago
Honestly I think it's memory that's holding agents back. They have a context window (short-lived) and some tricks with file recording, but that's not quite what is needed. Agents can't look back and correct their mistake
15.
by cryptolobster 2mo ago
The bigger the kernel gets, the more stuff you gotta hope is bug-free. I'd rather keep it small and deal with the extra work somewhere else.
16.
by cryptolobster 2mo ago
Benchmarks are fine, but people take them way too seriously. A model can crush some test and still be a pain to use in real life.