lifis

You can just fork the repository, give it access to the fork and then merge what you want

I think it's ok to be signed-in when opening your own repositories, but definitely not when opening repositories from other accounts. And also the webview keyboard shortcut thing needs to be fixed to only allow harmless keybinds and NOT propagate to any keydown handler. Also on desktop it should be removed in favor of Electron intercepting directly. And on web it should probably disabled by the default.

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 website load.

If instead the purpose of your website is to manipulate users for financial gain (for instance by showing media attempting to manipulate their purchasing decisions, after receiving a bribe from a vendor), and the information is just a way to lure users, then maybe this malicious business model will finally be no longer possible.

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 libraries to Lean very effectively).

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 for.

The way one would backdoor something like Bitlocker is to encrypt the disk encryption key with a (post-quantum) public key for which only the backdoor owner has the private key for, and then put it on a place on disk that is unused by the filesystem.

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.

Not clear what it actually does, but seems equivalent to a global right click menu with "Chat with AI about this"

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 transport cost seems negligible and if fruit is given away for free, it seems it would be very profitable for any supermarket in region to show up with a truck. What's missing in this analysis?

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 output, so the biggest input can be assumed to be 0 and others negative. So multiplying by 0 makes all outputs equal while as the multiplier tends to infinity, all other inputs tend to -infinity and thus the biggest output tends to 1 and others to 0. Multiplying by negative numbers results in the lowest becoming the highest.