logicprog

6 ms·

1.
by logicprog 12d ago
There's nothing about prove2me that couldn't have been coded just like any other huge coding project frontier models have proven themselves extremely good at doing. It just happened to have been made by humans.
2.
by logicprog 12d ago
> A fact that LLM hawks have categorically denied here before, with opposition naturally flagged. Yeah, because before now there's been literally zero proof of an automated theorem prover scaffold around the LLMs being used, and bi
3.
by logicprog 2mo ago
This seems like a really really great debut model for a new lab. I'm happy
4.
by logicprog 2mo ago
No, they don't. They're more interested in pathologizing and talking down to and about me.
5.
by logicprog 2mo ago
"It's not an issue of usual vs unusual, I'm saying the models are way better at writing and maintaining django or react code bases than your own hand rolled architecture that you define in some docs that it has to learn and k
6.
by logicprog 2mo ago
Its hard not to feel insulted here. "Projects using AI like this don't exist, and if they do, they're broken and the people who made them have psychosis." However, although I haven't tested my projects cross machine
7.
by logicprog 2mo ago
Feel free to peruse the repos! I follow compression-oriented programming, so there are places where the code is "insufficiently" DRY intentionally, as I feel out the precise use cases, and I explicitly made some other decisions (l
8.
by logicprog 2mo ago
The GP was just talking about not using common languages like TypeScript and frameworks like React, which is a bar of unusual that seems arguably far lower than mine, especially since I literally defined special custom DSLs with unusual sem
9.
by logicprog 2mo ago
That's fair, I think my point is there's a nuanced theory behind my choice to be rude, which is essentially "you need to experiment more, be more open minded, really work at it, and then you'll see what others are seei
10.
by logicprog 2mo ago
In my experience, because as you say, the flexibility of these tools and how you engage with them is so broad, and how much the nuances of thay engagement can often matter, the only way to teach someone how to do what you do with them is to
11.
by logicprog 2mo ago
I haven't hit nearly a million lines, that's true, these projects are "only" 20k and 45k lines of code or so, respectively; however, I do have directed acyclic graphs of worker agents, managed asynchronously by the agent
12.
by logicprog 2mo ago
I do highly unusual, off the beaten path projects with AI. For instance, a game engine written entirely in LuaJIT, but allocating almost all data structures using CFFI, a very unusual, custom object-orientation DSL I designed myself, and th
13.
by logicprog 2mo ago
Do you have any evidence for Valkey "widely replacing" Redis, instead of just rapidly gaining adoption as well ? Additionally, it's important to clarify that the replacement was 100% over licensing issues — iirc predating th
14.
by logicprog 3mo ago
I thought arenas were one of the simplest and most easy to deal with and conceptualize memory management strategies around. Arguably easy, even easier to understand and just as easy to manage as GC. Did they do something special?
15.
by logicprog 3mo ago
DSv4 is nearly in the 2t range, but yes you're generally right
16.
by logicprog 3mo ago
I'm saying Claude didn't introduce any more bugs than the human maintainers of rsync had in the past, not that it introduced no bugs at all . That "arbitrary amount" is the historical amount of bugs. That's why I
17.
by logicprog 3mo ago
The data literally shows there aren't, there have been worse releases before. In what way did I manipulate the data?
18.
by logicprog 3mo ago
That one was on me. I always mess that up.
19.
by logicprog 3mo ago
Whether commits decrease the sev/10c depends on if there are a lot of small commits increasing the demoninator. In reality, we have the opposite: the post-Claude releases have way fewer commits than the pre-Claude ones. Thus, if anythi
20.
by logicprog 3mo ago
I'll do that when I get a chance
21.
by logicprog 3mo ago
The statistical methodology I used is mine. As is the interpretation. Completely. To the degree that I misunderstood statistics (and it is under debate even in the thread you link, and the people accusing me of misunderstanding statistics t
22.
by logicprog 3mo ago
That doesn't make any sense, what?
23.
by logicprog 3mo ago
Okay, so let me get this straight. Because I used AI to, among other things, write the prose of the original draft of this article, all of the days of effort researching and carefully thinking through the metrics I would use, and the method
24.
by logicprog 3mo ago
Feel free to run it and find out. I don't think it would produce very much useful information though
25.
by logicprog 3mo ago
In what way did it create more bugs? It literally doesn't show up in the data. What are you talking about?
26.
by logicprog 3mo ago
If they're the statistical methods and metrics hold up, or they don't. Also, if you don't want to read my opinion on things, then just grab the GitHub repo and run the end-to-end replication and look at the output data yourse
27.
by logicprog 3mo ago
> Why was v3.4.1 the most buggy, right before the Claude commits? Why did "nobody notice"? It's way to strange to just say welp, it must be human error. Why wouldn't it be except question begging priors assuming it co
28.
by logicprog 3mo ago
Tridge already explains this: "Like many developers of open source packages I’ve been hit by a flood of security reports lately in my role as the rsync maintainer. Many of those reports are AI generated (not all though, there are some
29.
by logicprog 3mo ago
Also. > This statement is honestly so ridiculous that I felt it didn't warrant a direct response, but here's one anyway: AI enthusiasts have been proudly proclaiming for literal years that AI makes them 10x as productive based
30.
by logicprog 3mo ago
> This statement is honestly so ridiculous that I felt it didn't warrant a direct response, but here's one anyway: AI enthusiasts have been proudly proclaiming for literal years that AI makes them 10x as productive based on che

More ›