Why should it? I believe though it is an old phenomenom that if (given the default context) you ask a random number, it will more often than not give numbers from a very small set. I just used a "Temporary chat" with…
Rust-Brotli (by Dropbox) is actually a drop-in replacement for the Brotli C lib: https://github.com/dropbox/rust-brotli#:~:text=rust-brotli%2... Dropbox switched to it a decade ago, so it's probably quite product-ready.
I can understand why people used a C library for these apps, as when HTTP2 was specified, the C lib was the only game in down. However, why not switch to the Rust lib when it was available? I suppose people at Dropbox…
Why is it a bad analogy? I don't have experience on either of the libraries, so I may be missing something.
I would say as stated there were two ways to read the claim: - either that the claims are paired as you say (the second one implying that the program cannot be fixed), - or that the claims are completely distinct, that…
Maybe we should start with something easy and clone Nethack by just playing it through.. Astra Max can do 12%: https://balrogai.com/ Though after improving the harness it can fare better, but still no completion:…
I suggest you point the exact statement where I claimed the corresponding safe Rust program is impossible to fix to avoid unsound behavior. I hold the argument that if the Rust compiler produces unsound behavior for…
I don't find that anyone made a claim that the program could not be fixed. Why are you suggesting to find a proof of this? The point of course was not that what you can do, but what you should do. All cases of safe Rust…
Sure, usually the program can be changed to avoid the issue, but the key here is that the Rust compiler is wrong and needs to be fixed. Once fixed, the actual program fix also falls in place, as it cannot be compiled…
I don't use Claude, but it appears it is permitted to use Claude as a stdin/stdout -communicated tool using JSON, or use Claude SDK, with the monthly plans. Monthly Max/Team plans also include credits that could be used…
Hmm, so actually I thought it would say that it's not permitted to benchmark or compare to other products, but I can't find such claim? It does say "develop (or to facilitate the development of) a similar or competing…
Actually, as an earlier commenter noticed, it seems that the proof was done in natural language, and only then translated to Lean, as https://openai.com/index/navier-stokes-solution/ says: > The agents arrived at their…
Is it possible to implement a very good mechanism?
In similar fashion in the Android Play Store they moved the search off from the top bar. For some time they educated users that "oo the search is no longer here, you need to click there -> to get to the page with…
These probabilistic guessing machines are pretty great for creating these formal models, e.g. TLA+, and then guessing if the implementation aligns with the spec.. In fact, it's my go-to tool for constructing soft…
Let's say we have removed all elements from the hash. Then all following contains -calls will need to be O(n), if I understood correctly? They need to check every slot in the array to confirm inexistence, rather than…
The standard hash table has buckets, though, not just a single array that is probed through in case there's no space for a value in the slot determined by the hash function?
This isn't great though if you need to find out if an element exists in the table, and you have the ability to remove elements from it. I suppose you could optimize the hash table after deletions, but that again would…
I think the key here is that split view makes one tab show two sites. So when you switch the tab, you switch both views at the same time. You can't achieve this with a window manager, unless you already (instead of…
With this cost, does it perform the same quality and speed as Jev? I'm quite interested in this; my current understanding is though that Jev is great when scored with response quality and latency metrics.
So actually the answer to your question is that Rust provides excellent guardrails against memory safety issues, and in some cases, for code correctness as well, by allowing more behavior to be encoded in types. One of…
I expect a real big-gish project would have possibly hundreds or thousands of such sessions. And personally I've never needed to dig back an old session for reference, only when I'm still actively working on the topic.…
> Debian is still easier to manage than RH based systems, and .deb is a really good package manager, and is arguably more sophisticated than RPM. I realize I'm veering a bit off-topic :), but I've used Debian for a long…
What kind of use do you expect to get from them? Evaluate the amount human effort of the project?
I added a skill to OpenCode that tells it how to read old session logs when asked to. Seems like this would be pretty easy to add to most any harness.
Why should it? I believe though it is an old phenomenom that if (given the default context) you ask a random number, it will more often than not give numbers from a very small set. I just used a "Temporary chat" with…
Rust-Brotli (by Dropbox) is actually a drop-in replacement for the Brotli C lib: https://github.com/dropbox/rust-brotli#:~:text=rust-brotli%2... Dropbox switched to it a decade ago, so it's probably quite product-ready.
I can understand why people used a C library for these apps, as when HTTP2 was specified, the C lib was the only game in down. However, why not switch to the Rust lib when it was available? I suppose people at Dropbox…
Why is it a bad analogy? I don't have experience on either of the libraries, so I may be missing something.
I would say as stated there were two ways to read the claim: - either that the claims are paired as you say (the second one implying that the program cannot be fixed), - or that the claims are completely distinct, that…
Maybe we should start with something easy and clone Nethack by just playing it through.. Astra Max can do 12%: https://balrogai.com/ Though after improving the harness it can fare better, but still no completion:…
I suggest you point the exact statement where I claimed the corresponding safe Rust program is impossible to fix to avoid unsound behavior. I hold the argument that if the Rust compiler produces unsound behavior for…
I don't find that anyone made a claim that the program could not be fixed. Why are you suggesting to find a proof of this? The point of course was not that what you can do, but what you should do. All cases of safe Rust…
Sure, usually the program can be changed to avoid the issue, but the key here is that the Rust compiler is wrong and needs to be fixed. Once fixed, the actual program fix also falls in place, as it cannot be compiled…
I don't use Claude, but it appears it is permitted to use Claude as a stdin/stdout -communicated tool using JSON, or use Claude SDK, with the monthly plans. Monthly Max/Team plans also include credits that could be used…
Hmm, so actually I thought it would say that it's not permitted to benchmark or compare to other products, but I can't find such claim? It does say "develop (or to facilitate the development of) a similar or competing…
Actually, as an earlier commenter noticed, it seems that the proof was done in natural language, and only then translated to Lean, as https://openai.com/index/navier-stokes-solution/ says: > The agents arrived at their…
Is it possible to implement a very good mechanism?
In similar fashion in the Android Play Store they moved the search off from the top bar. For some time they educated users that "oo the search is no longer here, you need to click there -> to get to the page with…
These probabilistic guessing machines are pretty great for creating these formal models, e.g. TLA+, and then guessing if the implementation aligns with the spec.. In fact, it's my go-to tool for constructing soft…
Let's say we have removed all elements from the hash. Then all following contains -calls will need to be O(n), if I understood correctly? They need to check every slot in the array to confirm inexistence, rather than…
The standard hash table has buckets, though, not just a single array that is probed through in case there's no space for a value in the slot determined by the hash function?
This isn't great though if you need to find out if an element exists in the table, and you have the ability to remove elements from it. I suppose you could optimize the hash table after deletions, but that again would…
I think the key here is that split view makes one tab show two sites. So when you switch the tab, you switch both views at the same time. You can't achieve this with a window manager, unless you already (instead of…
With this cost, does it perform the same quality and speed as Jev? I'm quite interested in this; my current understanding is though that Jev is great when scored with response quality and latency metrics.
So actually the answer to your question is that Rust provides excellent guardrails against memory safety issues, and in some cases, for code correctness as well, by allowing more behavior to be encoded in types. One of…
I expect a real big-gish project would have possibly hundreds or thousands of such sessions. And personally I've never needed to dig back an old session for reference, only when I'm still actively working on the topic.…
> Debian is still easier to manage than RH based systems, and .deb is a really good package manager, and is arguably more sophisticated than RPM. I realize I'm veering a bit off-topic :), but I've used Debian for a long…
What kind of use do you expect to get from them? Evaluate the amount human effort of the project?
I added a skill to OpenCode that tells it how to read old session logs when asked to. Seems like this would be pretty easy to add to most any harness.