FartyMcFarter

8 ms·

1.
by FartyMcFarter 5d ago
If that's the case, that makes me much less sympathetic, even though I can understand how it's very disturbing to see the field suddenly changing like this.
2.
by FartyMcFarter 6d ago
> 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
3.
by FartyMcFarter 6d ago
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 m
4.
by FartyMcFarter 6d ago
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).
5.
by FartyMcFarter 11d ago
Surely input tokens are also involved, and not necessarily only for the initial prompt if there are feedback loops or agent interactions.
6.
by FartyMcFarter 11d ago
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).
7.
by FartyMcFarter 11d ago
> 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 verif
8.
by FartyMcFarter 11d ago
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.
9.
by FartyMcFarter 13d ago
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. T
10.
by FartyMcFarter 13d ago
Maybe only in some regions?
11.
by FartyMcFarter 17d ago
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.
12.
by FartyMcFarter 17d ago
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.
13.
by FartyMcFarter 19d ago
> (No, there won’t be jokes.) I must be missing something here, inside joke or something in the title?
14.
by FartyMcFarter 20d ago
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
15.
by FartyMcFarter 23d ago
Good. Tipping creates so much mental overhead and unnecessary bad feelings on everyone's part.
16.
by FartyMcFarter 26d ago
The Google search bar is not capable of generating original text though. LLMs definitely are - you can get pretty creative output easily.
17.
by FartyMcFarter 26d ago
The problem is we don't know what we're losing, due to lack of transparency.
18.
by FartyMcFarter 27d ago
This is quite the egg on the face, given that Rust proponents keep telling us how it's great for writing secure software.
19.
by FartyMcFarter 27d ago
Yeah I scanned the article and I couldn't find this either.
20.
by FartyMcFarter 28d ago
Yes I read the whole thread, but it wasn't clear which bits of source code required requesting a tarball.
21.
by FartyMcFarter 28d ago
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 old
22.
by FartyMcFarter 28d ago
> 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 i
23.
by FartyMcFarter 29d ago
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 an
24.
by FartyMcFarter 1mo ago
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.
25.
by FartyMcFarter 1mo ago
How would advertising be implemented in the scenario of using this technique?
26.
by FartyMcFarter 1mo ago
> 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
27.
by FartyMcFarter 1mo ago
I don't know, it's different. Humans are analog wonders, phones are digital wonders, both impressive in one of those categories.
28.
by FartyMcFarter 1mo ago
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.
29.
by FartyMcFarter 1mo ago
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.
30.
by FartyMcFarter 1mo ago
> 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?

More ›