lifty

5 ms·

31.
by lifty 4mo ago
Is this comment really necessary?
32.
by lifty 4mo ago
Anyone here using Zot and can share their experience?
33.
by lifty 5mo ago
He’s a software engineer with taste. I know taste is subjective but I happen to like he’s taste.
34.
by lifty 5mo ago
You might combine a general world model with a python coding model in that case. Not sure if it's better, just saying.
35.
by lifty 5mo ago
I like this approach, it's what I had in mind, but Crux doesn't seem to support desktop targets. I know on MacOS you can get nice looking apps with their native toolkit, on Linux you have GTK4 which can be decent looking, but not
36.
by lifty 5mo ago
Thanks, I will keep an eye on this as well. Wish you success!
37.
by lifty 5mo ago
I have my eyes on that, looking forward to V3, maybe they manage to ship mobile support as well. That would be fantastic. For anyone that doesn't know, it's still a browser based stack.
38.
by lifty 5mo ago
Slightly off topic, but what is the best way to build a cross platform GUI app these days, but something with good graphics, typography, etc. I mean a beautiful app. I would prefer to have a shared core in Go, and then something around it t
39.
by lifty 5mo ago
I see a lot of negative feedback here, but I don't agree with it. This is really fantastic what you have built, especially for longer running agents that are used repeatedly, in which case the initial investment of giving only the perm
40.
by lifty 5mo ago
There's a very dark scenario where for some reason or another (all out nuclear war or asteroid hit) sunlight is blocked, in which case having stable base load energy production from nuclear would be very useful. I know this is an unlik
41.
by lifty 5mo ago
Now that Zed supports remote development, I really hope they can release it for tablets (iOS/Android) so that we can use it as a client for a remote development machine. That would be delightful!
42.
by lifty 5mo ago
Productivity dipping hard across the world.
43.
by lifty 6mo ago
My work is on a p2p database with quite weird constraints and complex and emergent interactions between peers. So it's more a system design problem than coding. Chatgpt 5.x has been helping me close the loop slowly while opus did help
44.
by lifty 6mo ago
Wondering how gpt 5.5 is doing in your test. Happy to hear that DeepSeek has good performance in your test, because my experience seems to correlate with yours, for the coding problems I am working on. Claude doesn't seem to be so good
45.
by lifty 6mo ago
There are several things going on even now, 1 hour after your comment. But I appreciate that they list them. That hopefully means that they have a good culture of honesty, and they can improve.
46.
by lifty 6mo ago
Those managed databases from the big cloud providers have even more machinery and operator patterns behind them to keep them up and running. The fact that it's hidden away is what you like. So the comparison makes no sense.
47.
by lifty 6mo ago
I made this switch months ago, ChatGPT 5.4 being a smarter model, but I’ve had subjective feelings of degradation even on 5.4 lately. There’s a lot of growth in usage right now so not sure what kind of optimizations their doing at both comp
48.
by lifty 6mo ago
Did he empathize with you after or he remained bitter?
49.
by lifty 6mo ago
I didn’t mean to compare them, implying that gas or anything else is better. I’m a big fan of renewables, especially solar, but just wanted to bring this aspect up. It’s confusing to me because I get excited when I see these numbers only to
50.
by lifty 6mo ago
So everything basically.
51.
by lifty 6mo ago
Solar capacity is always misleading because it’s intermittent. Capacity of a gas power plant can’t be compared to capacity of a solar power plant, even though it sounds like you are comparing the same thing. Would love to know total kWh gen
52.
by lifty 6mo ago
Perhaps a meta evolution, they become experts at writing harnesses and prompts for discovering and patching vulnerabilities in existing code and software. My main interest is, now that we have LLMs, will the software industry move to adopti
53.
by lifty 7mo ago
Prolly trees can act as CRDTs if you have a merge function that always merges and doesn’t block. So my initial comment merely tried to make the point that there is a design space where you’re not stuck with the tradeoff of carrying the full
54.
by lifty 7mo ago
As far as I understand, libraries like Automerge use the Merkle DAG to encode a document as an immutable bundle of state changes aka operation log + the causal ordering which enables conflict free merging between multiple peers. The final d
55.
by lifty 7mo ago
I come from the text angle as well. I stare the whole day at terminals and IDEs.
56.
by lifty 7mo ago
Regarding the growing log in CRDTs, it doesn't have to be that way. Most of these popular CRDT libs use Merkle DAG only to build up the log of the changes. But there is a better way, you can combine a Merkle DAG for ordering + prolly t
57.
by lifty 7mo ago
It’s clear that even in 2026 most people still don’t get the pixel density (PPI) argument. Or perhaps they get it but they don’t appreciate it. For me, any monitor that is not HIDPI (218 ppi) is a non starter. Maybe my eyesight is better th
58.
by lifty 7mo ago
So it seems the new Studio Display XDR is the only display on the market that offers: - 5k resolution at HIDPI (27inch) - 120hz refresh rate - TB5 and single cable connectivity. There are a couple of other HIDPI displays at 5k with 120hz re
59.
by lifty 7mo ago
Super disappointed that the base model doesn't get 120hz. I own the old model and it's great, but I will have to look for an alternative 5k display with 120hz refresh rate. There are a few on the market now, and I won't pay 3
60.
by lifty 8mo ago
What model do you use it with? And through which API, openrouter? Wondering how you manage cost because it can get quite expensive

More ›