salt4034

8 ms·

1.
by salt4034 4mo ago
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, rather than just learn from the chess experience. If C
2.
by salt4034 5mo ago
If you're directly using AOSP, can't you just change the code to remove the check?
3.
by salt4034 5mo ago
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 output to user input? The LLM architecture could be ma
4.
Resurrecting a 1992 MUD with Agentic AI(meditations.metavert.io)
8 points by salt4034 5mo ago|0 comments
5.
by salt4034 5mo ago
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 tools made the failure wo
6.
by salt4034 5mo ago
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, because it has a few nicer features, and it's perceived
7.
Case study: recovery of a corrupted 12 TB multi-device pool(github.com)
116 points by salt4034 5mo ago|65 comments
8.
by salt4034 6mo ago
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 below the layer", which I think it's a good wa
9.
by salt4034 9mo ago
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, personal communication, December 9, 2025).
10.
by salt4034 1y ago
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 optimality of a solution with value 218? Were you really just
11.
by salt4034 1y ago
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). > With this improved model, I tried again and after ~23
12.
by salt4034 1y ago
The most commonly used term for this is lazy constraints ( https://support.gurobi.com/hc/en-us/articles/360013197972-Ho... ).
13.
by salt4034 1y ago
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 the problem, cutting planes and other techniques. So, assum
14.
by salt4034 1y ago
Maybe the sender edited the LinkedIn message? The email shows the original version, before the user edits.
15.
Abusive user relationships in open source (2019)(brokenco.de)
2 points by salt4034 1y ago|0 comments
16.
by salt4034 2y ago
> 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.
17.
Suffer No Jankiness (2012)(bookofhook.blogspot.com)
2 points by salt4034 2y ago|0 comments
18.
by salt4034 2y ago
Why lower quality? The money doesn't go to authors, editors or peer-reviewers.
19.
by salt4034 2y ago
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 an unsophisticated intruder was in the room (e.g. his famil
20.
Sablier: Start containers on demand, shut them down automatically(github.com)
2 points by salt4034 3y ago|0 comments
21.
by salt4034 3y ago
If it helps, your response here doesn't feel similar to ChatGPT output.
22.
by salt4034 3y ago
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?"
23.
by salt4034 4y ago
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 audits the code.
24.
by salt4034 4y ago
> 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 extension). To ensure that the code matches, Chrome
25.
by salt4034 4y ago
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 regular folks could use it to have a YouTube/Twitch channel