That's a good point. Though I'd still expect more effort from the developer to convince people that they will actively maintain the project after the first 3 months.
There are 3 new commits, and the only actually fixes are: Go update and revert to earlier version of console. But there are a bunch of changes to docs, CI workflows and issue templates. Which is what is the easy part of…
This does seem like a person getting hooked on idle games, or mobile/online games with artificially limited progress (that you can pay to lift). It's a type of delayed gratification that makes you anxious to get next…
>the failure mode is invisible Only if you are missing tests for what counts for you. And that's true for both dev-written code, and for vibed code.
One option is to do multi-stage rollout of your database schema and code, over some time windows. I recall a blog post here (I think) lately from some Big Company (tm) that would run one step from the below plan every…
I had a strange problem with Dell P2720DC (27'' 2560x1440) - the whole outer edge of the screen would flicker if I used dark background with a lot of dim colours (like dark mode in IDE, or default Grafana theme). It…
It does use a ton of energy - with clock on 4k screen my M2 macbook air CPU temperature went up 10°C in 10s and 20°C in 50s.
The first one is usually called "explainability".
NX NPM attack (at least the previous wave which targetted tinycolor) relied on running post-install scripts. Go tooling does not give you ways to run post-install scripts, which is much more reasonable approach.
Github Actions Runner code is pretty easy to read, here's a specific place that define default arguments for popular shells / binaries: https://github.com/actions/runner/blob/main/src/Runner.Worke..., it is exported…
> Nothing to do with it? You certainly don’t mean that. The software running an LLM is causally involved. Not in the way that would apply problem of non-computability of Turing machine. > Perhaps you can explain your…
The program - yes, it is a rule-based program. But the reasoning and logic responses are not implemented explicitly as code, they are supported by the network and encoded in the weights of the model. That's why I see it…
Yes, exactly. What I meant is: it's not the code itself that encodes this logic or reasoning.
Good point, I meant the reasoning is not encoded like a logical or mathematical rules. All the neural networks and related parts rely on e.g. matrix multiplication which works by mathematical rules, but the models won't…
That's true with any neural network or ML model. Pick a few points, use the same algorithm with the same hyperparameters and random seed, and you'll end up with the same result. Determinism doesn't mean that the "logic"…
But it is only a program computing numbers. The code itself has nothing to do with the reasoning capabilities of the model.
LLMs (our current "AI") doesn't use logical or mathematical rules to reason, so I don't see how Gödel's theorem would have any meaning there. They are not a rule-based program that would have to abide by…
Interesting, my 3060 uses 150-170W with 14B model on Ollama, according to nvidia-smi.
> From my experience in C#, generics are mostly useful for implementing custom containers. That's my experience as well in C# - most of other usages of generics are painful to maintain in the long run. I've had most…
Ubuntu supports ZFS, so if you can track Ubuntu's kernel, you get ZFS without risking unbootable system.
Thanks! Dagger looks really nice :)
I'm working on a CI system with DSL instead of yaml configs. The general premise is that most sufficiently advanced yaml configs begin to look like code - e.g. in Github Actions one could look at external Actions and…
retry() { local n=$1 shift for i in $(seq $n); do "$@" done } This is not a retry function, it's a "run a function 5 times" function. Retry would check the outcome of the operation, and only for failed cases would run…
Maybe the license is pretty clear, but interpretations differ. E.g. Minio provides a very aggressive interpretation of AGPL, equating to "if you use it in closed-source commercial product, it's a violation of AGPL":…
There are libraries for writing Architecture tests for .Net and java (that I know of) for enforcing architecture design. You can enforce reference rules for classes and namespaces, like: classes from the domain…
That's a good point. Though I'd still expect more effort from the developer to convince people that they will actively maintain the project after the first 3 months.
There are 3 new commits, and the only actually fixes are: Go update and revert to earlier version of console. But there are a bunch of changes to docs, CI workflows and issue templates. Which is what is the easy part of…
This does seem like a person getting hooked on idle games, or mobile/online games with artificially limited progress (that you can pay to lift). It's a type of delayed gratification that makes you anxious to get next…
>the failure mode is invisible Only if you are missing tests for what counts for you. And that's true for both dev-written code, and for vibed code.
One option is to do multi-stage rollout of your database schema and code, over some time windows. I recall a blog post here (I think) lately from some Big Company (tm) that would run one step from the below plan every…
I had a strange problem with Dell P2720DC (27'' 2560x1440) - the whole outer edge of the screen would flicker if I used dark background with a lot of dim colours (like dark mode in IDE, or default Grafana theme). It…
It does use a ton of energy - with clock on 4k screen my M2 macbook air CPU temperature went up 10°C in 10s and 20°C in 50s.
The first one is usually called "explainability".
NX NPM attack (at least the previous wave which targetted tinycolor) relied on running post-install scripts. Go tooling does not give you ways to run post-install scripts, which is much more reasonable approach.
Github Actions Runner code is pretty easy to read, here's a specific place that define default arguments for popular shells / binaries: https://github.com/actions/runner/blob/main/src/Runner.Worke..., it is exported…
> Nothing to do with it? You certainly don’t mean that. The software running an LLM is causally involved. Not in the way that would apply problem of non-computability of Turing machine. > Perhaps you can explain your…
The program - yes, it is a rule-based program. But the reasoning and logic responses are not implemented explicitly as code, they are supported by the network and encoded in the weights of the model. That's why I see it…
Yes, exactly. What I meant is: it's not the code itself that encodes this logic or reasoning.
Good point, I meant the reasoning is not encoded like a logical or mathematical rules. All the neural networks and related parts rely on e.g. matrix multiplication which works by mathematical rules, but the models won't…
That's true with any neural network or ML model. Pick a few points, use the same algorithm with the same hyperparameters and random seed, and you'll end up with the same result. Determinism doesn't mean that the "logic"…
But it is only a program computing numbers. The code itself has nothing to do with the reasoning capabilities of the model.
LLMs (our current "AI") doesn't use logical or mathematical rules to reason, so I don't see how Gödel's theorem would have any meaning there. They are not a rule-based program that would have to abide by…
Interesting, my 3060 uses 150-170W with 14B model on Ollama, according to nvidia-smi.
> From my experience in C#, generics are mostly useful for implementing custom containers. That's my experience as well in C# - most of other usages of generics are painful to maintain in the long run. I've had most…
Ubuntu supports ZFS, so if you can track Ubuntu's kernel, you get ZFS without risking unbootable system.
Thanks! Dagger looks really nice :)
I'm working on a CI system with DSL instead of yaml configs. The general premise is that most sufficiently advanced yaml configs begin to look like code - e.g. in Github Actions one could look at external Actions and…
retry() { local n=$1 shift for i in $(seq $n); do "$@" done } This is not a retry function, it's a "run a function 5 times" function. Retry would check the outcome of the operation, and only for failed cases would run…
Maybe the license is pretty clear, but interpretations differ. E.g. Minio provides a very aggressive interpretation of AGPL, equating to "if you use it in closed-source commercial product, it's a violation of AGPL":…
There are libraries for writing Architecture tests for .Net and java (that I know of) for enforcing architecture design. You can enforce reference rules for classes and namespaces, like: classes from the domain…