FartyMcFarter

> I also see the issue on Lichess’s GUI by going to this URL:

> https://lichess.org/lwiPq9wB#48

When I go to that link it shows Black is winning with -1.9 eval at depth 32 with SF19 1MB NNUE! It looks like it got this evaluation from the cloud database.

I think there are some valuable lessons that chess can teach, if you approach it the right way:

- it teaches resiliency in bad situations.

- it teaches you to not be too harsh on yourself as a person. If you watch GMs playing online, they make bad mistakes all the time too - they're not godlike creatures who make no mistakes, far from it.

The flipside is that if you approach it the wrong way (I know I have at many points), it can have the opposite effects too.

To approach chess in a mentally healthy way was a long process for me. You need to get rid of your ego and be objective as much as possible when playing, or it will just make you sour - this in itself is a valuable lesson.

Probably not faster if I have to guess. The nuances of why 19 is better than 18 are likely indistinguishable from noise when they play against someone at a much lower level (i.e. any human).

Surely input tokens are also involved, and not necessarily only for the initial prompt if there are feedback loops or agent interactions.

Stack overflows are also trivial to check for, if one wants to. It's just comparing two pointers, plus checking for arithmetic overflow (in case the pointers run past the maximum value of the pointer type).

> What these comments all miss is that ensuring your 13 million lines actually encode what you intend them to encode

I don't think the comments are missing that at all. If the Lean compiler itself is bug-free, we can trust its verification of the 13 million lines of code. We don't need to verify them by hand.

The encoding of the theorem itself needs to be trusted, as does the compiler. The proof doesn't need to be trusted, it gets checked by the compiler.

5 minutes later, the AI concludes the best strategy is to start a universe simulation and let Fermat write the proof in a margin. Recurse.

The trouble is that in chess, if one player deviates significantly that can often still mean they have a playable (perhaps slightly worse) position which has to either be memorised or understood on the spot, which can be really difficult. The main line is not the only playable line.

Is this also the case for Go's joseki? Or is any deviation easy to punish?

Maybe only in some regions?

That's a good point, but sometimes it's a good thing for people to see the consequences of their (and others') choices. Perhaps it could have some good medium / long-term effects.

Then we'd have to hear the Brexiteers whining on and on about democracy.

This way we get to see their project fail.

I don't know which one is worse.

> (No, there won’t be jokes.)

I must be missing something here, inside joke or something in the title?

I don't necessarily disagree, but I am wondering what luxury will next become a necessity if we keep increasing our energy usage in order to get both more luxuries and necessities?

On the bright side, I suppose one mitigating factor is that renewable energy makes it less harmful to use energy to power A/C usage.

Good. Tipping creates so much mental overhead and unnecessary bad feelings on everyone's part.

The Google search bar is not capable of generating original text though. LLMs definitely are - you can get pretty creative output easily.

The problem is we don't know what we're losing, due to lack of transparency.

This is quite the egg on the face, given that Rust proponents keep telling us how it's great for writing secure software.

Yeah I scanned the article and I couldn't find this either.

Yes I read the whole thread, but it wasn't clear which bits of source code required requesting a tarball.

There are other kernel 6.1 branches there, e.g. https://android.googlesource.com/kernel/common/+/refs/heads/...

I'm not sure which one the latest update for the Pixel 9a is using, I have an older Pixel 8. When I look at the Settings -> Android Version I can see it's using a build from January 2026 (also 6.1).

> Google, this small tech company (correct me if I'm wrong), is peddling source code via tarballs on google drive.

What is the context for this? It's not clear from the linked social media post.

The Android kernel source code is in git: https://android.googlesource.com/kernel/common/

Plus there's a lot of other Android source hosted on Google's git servers: https://android.googlesource.com/

I worked on a PC/PS4/Xbox One game once. I wish I remembered more details, but at some point when looking at memory usage I found a 2048x2048 (or something like that) texture for something on a character. This texture was never anywhere near occupying the full screen. It got downsized once I told one of the artists, but I wouldn't be surprised if some games are inadvertently shipping with that kind of waste.

According to Wikipedia Sokoban is NP-hard, which means there's no known polynomial time algorithm to solve it. It also means it's unlikely such an algorithm exists, as that would imply P=NP which is not believed to be the case.

How would advertising be implemented in the scenario of using this technique?

> if you could spend 0.04% of your net worth to protect 5% of your net worth

If I was anywhere near being a billionaire I wouldn't. There would be much better things to spend my time and effort on. That's not even counting the fact that I would probably care about the ethical aspect too.

0.95x of an obscene amount of money I can't spend is still an obscene amount of money I can't spend. That 5% wouldn't make any discernible difference in my life.

I don't know, it's different. Humans are analog wonders, phones are digital wonders, both impressive in one of those categories.

Do they have an EU passport? I've never heard of anyone with an EU passport having trouble travelling to the UK.

If they emigrated to the EU and want to travel to the UK then I could see that.

I don't know if borders matter much in this case. It's approximately just as easy to travel to England from many other countries as it is to travel to England from the rest of the UK.

> Anyone that wants to train a model needs to procure and destroy their own physical copy of each book!

Why? Couldn't they resell or give away the books after scanning them?

4% drop is a nothingburger. Stocks drop more than that for overreactions to random news all the time.