derdi

6 ms·

61.
by derdi 3mo ago
Just in case the above is not considered constructive enough, how about this: In my experience, with some prompting and iterations, AIs do reasonably well at writing solid, "boring" code. They do really badly at writing useful doc
62.
by derdi 3mo ago
> a C-emitting native AOT backend that currently compiles the kernel .jqd carrier This human reviewer gave up at line 4 of the Readme. What is the kernel? What does the carrier carry? Why does it need to be carried? Where does the .jqd c
63.
by derdi 3mo ago
OK, I see your point. I think there are (at least!) two categories of content creators here: On the one hand, those that consciously want to generate content spam. On the other hand, those that actually want to do "cool technical stuff
64.
by derdi 3mo ago
A little detail to your extra detail :-) I agree that there's a general "it'll do", motivated by just pushing something, anything, out there. But I think that's party because they don't know better. The people
65.
by derdi 3mo ago
I don't know, I wasn't saying that there was an upside. Sorry if my post was unclear. My "I don't think this is true" was in response to the assertion that people who use AI would be afraid of losing credibility fro
66.
by derdi 3mo ago
> Nobody wants to label their stuff as AI generated because they removed credibility. I don't think this is true. I think most of the people who post LLM content without editing and without even style guidelines are simply of the op
67.
by derdi 3mo ago
The docs could use some cleanup, by which I mean "throw away all the stupid jargon". How does one publish this homepage with the term "width-bearing" on it? This is not a term of the trade. It's not even "littl
68.
by derdi 3mo ago
Neither use as an implementation language nor syntactic similarities make one language a dialect of another. Consider that Java is commonly implemented in C++, and its syntax was designed to be easy to learn for C++ users. Yet nobody calls
69.
by derdi 3mo ago
They might want to make their docs less confusing. https://query.mt/showcase/gpu-sharing/ says "no API key needed", and talks about running llama.cpp on a friend's GPU. No API keys are needed for th
70.
by derdi 3mo ago
> Sometimes, for instance, you might not even have access to the whole state because some of it resides on a remote server. Not sure what you mean. The system I outlined is one where some "state" resides outside the process i
71.
by derdi 3mo ago
There is no good reason for running this in-process. The maximally inefficient Fibonacci function in the article is a good demonstration why: Call it with a slightly larger number, and your agent slows to a crawl, with no way to enforce a t
72.
by derdi 3mo ago
It doesn't matter if a human or a machine wrote it, it's just unpleasant to read. I don't know what the OP's motivation for their post was, but I think it's reasonable to point out that something is harder to read t
73.
by derdi 3mo ago
What's the fuzzing story? If this is meant to be a product, hopefully it's being fuzzed 24/7, using multiple state-of-the-art JavaScript fuzzers, against multiple state-of-the-art JavaScript engines?
74.
by derdi 3mo ago
Is "loop" a common term for... whatever it's used for here? Anyway, this looks like it might be a fun way to gamify TODO lists. Would be interesting to see some output after some goals have been achieved. Screenshots of the w
75.
by derdi 3mo ago
This is a good list. Other reasons are that the JIT has more information about the program. The Java-to-bytecode compiler never sees the whole application, and it knows nothing about which program paths are actually executed in practice. Th
76.
by derdi 3mo ago
Again, I'm not criticizing that person specifically. They repeated a word that appears in all the articles. There are two points I was trying to make: 1. At the relevant time, there were no separate Eastern and Western empires, so this
77.
by derdi 3mo ago
So I shouldn't call them Romans, since that is an English translation of what they called themselves, and thus foreign to them. But you can call them Byzantines, an English term invented in the 19th century, because... you say so?
78.
by derdi 3mo ago
"Constantine split the empire" is just incorrect. There were co-emperors with regional responsibilities both before and after him. They were co-emperors of one empire. If you want a firm split, 395 (death of Theodosius) is the m
79.
by derdi 3mo ago
One of the articles mentioned inscriptions in Coptic, Latin, and Greek. The elites would have spoken both Greek and Latin, I think? Greek was commonly known and used. Caesar, a Very Latin Roman, as he was being murdered in Rome, is conjectu
80.
by derdi 3mo ago
Proof to your modern eyes. Not to the eyes of those who also called Constantinople "New Rome", and who called themselves Romans even 1000 years later.
81.
by derdi 3mo ago
Not singling you out, all the articles do it, but: Strange to call this Byzantine. The coins found are from the reign of Constantius II, who at times ruled the whole empire alone (as did his successor Julian). The idea that the East, even w
82.
by derdi 3mo ago
It seems pretty clear that they do only minimal live testing during the "open a ticket, implement something, deploy it in production, all while the customer is still on the call" cycles. So your second concern is probably not rele
83.
by derdi 3mo ago
My thought reading this article was: Why write the system in any one language at all? And I don't just mean having some parts in one language and others in another language, I mean redundant implementations of the same parts. You can
84.
by derdi 3mo ago
> The type system caught real bugs. > The model can often avoid the mistake before the compiler ever sees the code. > The type safety we gave up hasn’t been noticeable in any concrete way yet [...] > Type safety can be a huge ad
85.
by derdi 3mo ago
What do you mean by notation like: Ensure y+x ≤ INT_MAX. Is this supposed to be a precondition? Why would I want this precondition when using unsigned arithmetic?
86.
by derdi 3mo ago
Naturals have no 64-bit limit.
87.
by derdi 3mo ago
The game in question is https://store.steampowered.com/app/4630570/RUNNING_TRAIN/
88.
by derdi 3mo ago
How do you break a regression? A regression is breakage. Are you one of the people who use "regression" to mean "regression test"? Did Codex learn this from you? I hate it.
89.
by derdi 3mo ago
Define "exists". Are you questioning whether a human typed those characters with human fingers on a keyboard? Or are you questioning whether Alec Scollon is the name on that human's government-issued ID? It's not exactly
90.
by derdi 3mo ago
You: >>> You want comprehensive tests at every level, far more than is reasonable for a human to build or maintain Also you: > You have to iterate on the tests, review and validate them Yes, "maintain" is not quite the

More ›