logicprog

7 ms·

121.
by logicprog 7mo ago
This seems like an excellent idea. I'm sure a lot of us have been idly wondering why CRDTs aren't used for VCS for some time, so it's really cool to see someone take a stab at it! We really do need an improvement over git; th
122.
by logicprog 7mo ago
> It's easy to say "just mindlessly follow X principle and your software will be good", where X is usually some variation of "just add more tests", "just add more agents", "just spend more time pla
123.
by logicprog 7mo ago
I don't think that's true at all. As I said, in a response to another person blaming it on agentic coding above, there are a very large number of ways to use coding agents to make your programs faster, more efficient, more reliabl
124.
by logicprog 7mo ago
For serious coding work I use the Zed Agent; for everything else I use pi with a few skills. Overall, though, I'd recommend Pi plus a few extensions for any features you miss extremely highly. It's also TypeScript, but doesn'
125.
by logicprog 7mo ago
Well that's good to hear, maybe they'll improve moving forward on the release aspect at least.
126.
by logicprog 7mo ago
I mean, I'm slowly trying to learn lightweight formal methods (i.e. what stuff like Alloy or Quint do), behavior driven development, more advanced testing systems for UIs, red-green TDD, etc, which I never bothered to learn as much bef
127.
by logicprog 7mo ago
Perhaps the use of coding agents may have encouraged this behavior, but it is perfectly possible to do the opposite with agents as well — for instance, to use agents to make it easier to set up and maintain a good testing scaffold for TUI s
128.
by logicprog 7mo ago
OpenCode was the first open source agent I used, and my main workhorse after experimenting briefly with Claude Code and realizing the potential of agentic coding. Due to that, and because it's a popular an open source alternative, I w
129.
by logicprog 7mo ago
This is true. But I'm talking about fundamental substrate and the rules by which it operates, not just the flow of time — that's probably both a qualitative and quantitative difference. Additionally, even if it's not about be
130.
by logicprog 7mo ago
Agreed. I think there's another layer to this too, which is that — if you've already scanned and uploaded a person's mind, the original person is presumably dead, or at least a completely separate person from the one in the s
131.
by logicprog 7mo ago
I think the fact that it's chunks of exist and work plugged together is what makes it so impressive to me in the sense that it means that we're actually building somewhat reusable modular architecture for doing this that people ca
132.
by logicprog 7mo ago
This seems like a really easy problem to avoid by simply having a better type system and knowing how to use it. namely just have the take! function return an optional map where it returns Some(map) if the map has the expected keys and None
133.
by logicprog 7mo ago
Models are also quite good at Go, Rust, and Python in my experience — also a lot of companies are using TypeScript for many non web related things now. Apparently they're also really good at C, according to the guy who wrote Redis anyw
134.
by logicprog 7mo ago
Well, I would argue that if I didn't spend that time, then even a personal fork that I vibe coded would be worse, even for me personally. It would be incompatible with upstream changes, more likely to crash or have bugs, more difficult
135.
by logicprog 7mo ago
I have no intention of tricking anyone into thinking I'm the original! I do think I offer improvements in some cases, so in cases where the project is something I intend for other people to ever see/use, I do explain why I think i
136.
by logicprog 7mo ago
Since when is maintaining a personal patch set / fork parasitic? And in what way does it harm them, such that they should move to spaces where it doesn't happen, as a result? Also, isn't the entire point of open source precis
137.
by logicprog 7mo ago
> Vibe coders don't have to do any of this. They don't have to understand anything, they can just have their LLMs do some modifications that are completely opaque to the vibe coder. I spend time using my agent to better under
138.
by logicprog 7mo ago
Indeed, maybe there is. I'm interested to see how it plays out.
139.
by logicprog 7mo ago
I've been able to make very clear, modular, well put together architectural foundations for my greenfield projects with AI. We don't have studies, of course, so it is only your anecdote versus mine.
140.
by logicprog 7mo ago
I mean, I do open PRs for most of my changes upstream if they allow AI, once I've been using the feature for a few weeks and have fixed the bugs and gone over the code a few times to make sure it's good quality. Also, I'm goi
141.
by logicprog 7mo ago
"Please don't post shallow dismissals, especially of other people's work. A good critical comment teaches us something." https://news.ycombinator.com/newsguidelines.html
142.
by logicprog 7mo ago
wasn't GPT 4 the model that was so expensive for open AI to run that they basically completely retired it in favor of later models which became much stronger but weren't as expensive for them to run?
143.
by logicprog 7mo ago
So does that mean they contradicted their own no LLM policy?
144.
by logicprog 7mo ago
I say let people hold this stance. We, agentic coders, can easily enough fork their project and add whatever the features or refinements we wanted, and use that fork for ourselves, but also make it available for others in case other people
145.
by logicprog 7mo ago
I just don't see how it's relevant whether he did look or didn't. In my opinion, it's not just legally valid to make a re-implementation of something if you've seen the code as long as it doesn't copy expressiv
146.
by logicprog 7mo ago
> Ronacher notes this as an irony and moves on. But the irony cuts deeper than he lets on. Next.js is MIT licensed. Cloudflare's vinext did not violate any license—it did exactly what Ronacher calls a contribution to the culture of
147.
by logicprog 7mo ago
I think the idea is that it's completely declarative, and the range of what you can do, being constrained to a set list of operations and targets, becomes clearer and easier to understand?
148.
by logicprog 7mo ago
But they didn't split it up like that. They said all data center emissions irrespective of what those data centers are used for — which can be an extremely wide variety of things since data centers basically run our entire network info
149.
by logicprog 7mo ago
I had that exact problem, but I've been working on a fork of another tool to try to improve the situation. It isn't a clone of magit, but it has a basic form of the same type of command interface, with a lot of the same benefits (
150.
by logicprog 7mo ago
ACP? https://agentcommunicationprotocol.dev/introduction/welcome

More ›