Viewing profile — salt4034

Yes, chess has been dealing with AI for decades at this point, and it's amusing/frustrating that so many other communities are deciding to re-discover everything from scratch, rath…

If you're directly using AOSP, can't you just change the code to remove the check?

It's hard in general, but for instruct/chat models in particular, which already assume a turn-based approach, could they not use a special token that switches control from LLM outp…

See this Reddit post for background: https://www.reddit.com/r/ClaudeAI/comments/1sdabux/hats_off_... TLDR: The user got his filesystem corrupted on a forced reboot; native btrfs to…

Not sure how I feel about this. If Take Take Take becomes very large, and most current Lichess users eventually switch to using that platform's mobile apps and website (say, becaus…

The author of Claude Code himself mentioned this in a recent interview. If I recall correctly, he mentioned that the best programmers he knows have an understanding of the "layer b…

Here's how academics do it: > Sam Altman confirmed power was indeed a major constraint [1]. > [1]: Personal communication. Or even better: > Power is a major constraint (Sam Altman…

This part is unclear; what exactly did you change? Are you saying that the LP relaxation has value 271.666, but, when you enforce integrality, Gurobi can actually find and prove op…

I think that was an intermediate model. The author updated it, then Gurobi solved the new model to optimality (i.e., the bound became equal to the value of the best solution found)…

The most commonly used term for this is lazy constraints ( https://support.gurobi.com/hc/en-us/articles/360013197972-Ho... ).

In addition to the value of the best integer solution found so far, Gurobi also provides a bound on the value of the best possible solution, computed using the linear relaxation of…

Maybe the sender edited the LinkedIn message? The email shows the original version, before the user edits.

> testers that don't flip properly I think that's the point. It shows that people don't usually flip properly, leading to biased results.

Why lower quality? The money doesn't go to authors, editors or peer-reviewers.

If I recall, it was a bit more elaborate than that. One of the three seals was obvious and easy to restore (the paper between the door and wall). If all three were broken, it meant…

If it helps, your response here doesn't feel similar to ChatGPT output.

I agree. Before finalizing the changes, the AI could show you the diff and ask "is this what you had in mind or would you like me to change anything else?"

Ideally before downloading the extension. However, with automatic updates, this is nearly useless. Malicious code can be injected at any time in the future, long after the user aud…

> Chrome should verify that the extension code matches the code in the repo (without an additional build/compile step - the repo should reflect the exact code being shipped in the …

Film studios can use deepfakes to bring back actors who passed away. Whistle-blowers could use it to have video calls with journalists without being identified. Privacy-minded regu…