FartyMcFarter

3 ms·

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

More ›