You can just fork the repository, give it access to the fork and then merge what you want
Huh? It's not advertising, it's disclosure that the code was not fully (or at all) written by you.
The expected purpose of websites is to spread information, so whether users get it by making a request to your website or to Google is irrelevant. In fact, if they get it from Google it's better because it reduces…
If they want a dependently typed language, why not use one? Lean is good, and I don't think it has any significant downside wrt Haskell other than more limited library ecosystem (but I guess AI can translate Haskell…
AI is not yet at the superhuman stage where you can tell it "clone Photoshop" and get a perfect result within a day for almost free
Seems bullshit, apparently it only works with TPM-only mode, which is obviously insecure (it relies on neither the OS nor the hardware being exploitable, on a random Windows PC...), and not worth building a backdoor…
[flagged]
Surely one can just escape the input, no? Seems astonishing if someone isn't doing that
That is only the case if people enter exclusive relationships. But if someone has access to a dating app or system that works really well, there is little reason to do that.
This seems easily solved with a tool use hook that calls git add .; git commit a -m "<tool description>", specifying an alternate .git directory if desired
Why? From searches and LLMs it seems it costs $50-100 to move a tonne 1000 km via truck, giving 0.05-0.10 $/kg for a supermarket 500km away. Fruit prices at at least $4.5/kg for peaches, 3.75$/kg for apples 1.45$/kg. So…
It's equivalent to multiplying all inputs by log b. And multiplying all inputs by a value changes how much the probabilities are extremized. This is easy to see because adding a value to everything doesn't change the…
The Linux kernel is not usable as a security boundary, so anyone who wants to do "shared hosting" and not be hacked needs to use something else, like gVisor or firecracker VMs The only important system that uses it as a…
Well, that was quite predictable. Absurdly high price for a novel device of unclear utility (a VR headset but incompatible with all existing VR software) resulting in few users. No support for PC VR nor Android/Quest VR…
And what do you think society/culture is? It's a set of biases installed in people, whose purpose is mostly to replicate themselves. Humans are MORE susceptible that LLMs, because LLMs's biases are easily steered to…
I think you can fix this by either patching the binary and replacing the offending prompt with an empty string, or by pointing the harness to an API proxy that filters it out
You don't seem to realize that humans also work this way. If you ask a human why they did something, the answer is a guess, just like it is for an LLM. That's because obviously there is no relationship between the…
On LMArena, Claude Opus is ranked as the best at everything except image and video generation, which it does not support. That may be inaccurate, but it's plausible
I'm really surprised that: 1. Anthropic has not published anything about why they made the change and how exactly they changed it 2. Nobody has reverse engineered it. It seems easy to do so using the free token counting…
Obviously an image picker shouldn't leak filenames... The filename is a property of the directory entry storing the file storing the image. The image picker only grants access to the image, not to directories, directory…
The paper somehow seems to be missing the most interesting part, i.e. the optimal constructions of functions from eml in a readable format. Here is my attempt. I think they should be optimal up to around 15 eml.nodrs,…
That's cool but by only supporting Claude Code you are contributing to the Anthropic lock-in problem. This needs to support at least Gemini CLI, Codex and OpenCode as well, preferably by being generic as much as…
I can't understand why address instability is a problem: if a Mutex is moved, then it can't be locked (because you need to hold a borrow while locked, which impedes moving), so using addresses is perfectly fine and…
But why doesn't the CPU just lock two cachelines? Seems relatively easy to do in microcode, no? Just sort by physical address with a conditional swap and then run the "lock one cacheline algorithm" twice, no? Perhaps…
Vanadium, Chrome and Firefox (all for Android) all accept all the revoked certificates... But revoked.badssl.com is considered revoked
You can just fork the repository, give it access to the fork and then merge what you want
Huh? It's not advertising, it's disclosure that the code was not fully (or at all) written by you.
The expected purpose of websites is to spread information, so whether users get it by making a request to your website or to Google is irrelevant. In fact, if they get it from Google it's better because it reduces…
If they want a dependently typed language, why not use one? Lean is good, and I don't think it has any significant downside wrt Haskell other than more limited library ecosystem (but I guess AI can translate Haskell…
AI is not yet at the superhuman stage where you can tell it "clone Photoshop" and get a perfect result within a day for almost free
Seems bullshit, apparently it only works with TPM-only mode, which is obviously insecure (it relies on neither the OS nor the hardware being exploitable, on a random Windows PC...), and not worth building a backdoor…
[flagged]
Surely one can just escape the input, no? Seems astonishing if someone isn't doing that
That is only the case if people enter exclusive relationships. But if someone has access to a dating app or system that works really well, there is little reason to do that.
This seems easily solved with a tool use hook that calls git add .; git commit a -m "<tool description>", specifying an alternate .git directory if desired
Why? From searches and LLMs it seems it costs $50-100 to move a tonne 1000 km via truck, giving 0.05-0.10 $/kg for a supermarket 500km away. Fruit prices at at least $4.5/kg for peaches, 3.75$/kg for apples 1.45$/kg. So…
It's equivalent to multiplying all inputs by log b. And multiplying all inputs by a value changes how much the probabilities are extremized. This is easy to see because adding a value to everything doesn't change the…
The Linux kernel is not usable as a security boundary, so anyone who wants to do "shared hosting" and not be hacked needs to use something else, like gVisor or firecracker VMs The only important system that uses it as a…
Well, that was quite predictable. Absurdly high price for a novel device of unclear utility (a VR headset but incompatible with all existing VR software) resulting in few users. No support for PC VR nor Android/Quest VR…
And what do you think society/culture is? It's a set of biases installed in people, whose purpose is mostly to replicate themselves. Humans are MORE susceptible that LLMs, because LLMs's biases are easily steered to…
I think you can fix this by either patching the binary and replacing the offending prompt with an empty string, or by pointing the harness to an API proxy that filters it out
You don't seem to realize that humans also work this way. If you ask a human why they did something, the answer is a guess, just like it is for an LLM. That's because obviously there is no relationship between the…
On LMArena, Claude Opus is ranked as the best at everything except image and video generation, which it does not support. That may be inaccurate, but it's plausible
I'm really surprised that: 1. Anthropic has not published anything about why they made the change and how exactly they changed it 2. Nobody has reverse engineered it. It seems easy to do so using the free token counting…
Obviously an image picker shouldn't leak filenames... The filename is a property of the directory entry storing the file storing the image. The image picker only grants access to the image, not to directories, directory…
The paper somehow seems to be missing the most interesting part, i.e. the optimal constructions of functions from eml in a readable format. Here is my attempt. I think they should be optimal up to around 15 eml.nodrs,…
That's cool but by only supporting Claude Code you are contributing to the Anthropic lock-in problem. This needs to support at least Gemini CLI, Codex and OpenCode as well, preferably by being generic as much as…
I can't understand why address instability is a problem: if a Mutex is moved, then it can't be locked (because you need to hold a borrow while locked, which impedes moving), so using addresses is perfectly fine and…
But why doesn't the CPU just lock two cachelines? Seems relatively easy to do in microcode, no? Just sort by physical address with a conditional swap and then run the "lock one cacheline algorithm" twice, no? Perhaps…
Vanadium, Chrome and Firefox (all for Android) all accept all the revoked certificates... But revoked.badssl.com is considered revoked