gorgolo

8 ms·

1.
by gorgolo 8d ago
Why is it wasteful to solve one of the most famous problems in modern mathematics? And why would one particular company have no business solving it in the first place?
2.
by gorgolo 8d ago
Based on the nearby text I believe the right skull is a fox. And yeah the middle skull is then the Tasmanian tiger, with the narrow concave snout.
3.
by gorgolo 12d ago
> That theorem statement is correctly encoded (FLT has a very short 1 liner description really) As someone not very familiar with Lean, does it really just depend on the entry point / theorem being correctly encoded? Can intermediat
4.
by gorgolo 21d ago
Never heard about this before but it sounds crazy. Are you able to control this somehow, like reject business cards?
5.
by gorgolo 24d ago
I’ve been using codex more recently, like others here. But one thing I’ve noticed which I find a bit of a red flag: by default you only archive chats. If you go online, it says there’s a location in settings where can delete your archive. B
6.
by gorgolo 1mo ago
I feel like I’m arguing against the grain here, and it seems to me like there’s a lot of emotion around this topic. I’m not even a defender of AI billionaires. I just posted because I see this type of discussion around SA recently and it’s
7.
by gorgolo 1mo ago
His fund didn’t fold btw. They sold / were forced to sell a position that was several hundred percent up at a very very bad price relative to peak. AFAIK the fund is still up on the year though.
8.
by gorgolo 1mo ago
They will also want to beam back the response straight back into your brain one day.
9.
by gorgolo 2mo ago
I don’t think users (as in the general population) have a good track record of being judicious with how they share data. In the past with social media etc it was consistently the opposite, if the price is lower or free people tick any box a
10.
by gorgolo 2mo ago
Surprised so few are pushing back against some of the claims in this article. Eg that the entire surface of the earth gets replaced in a million years by tectonics. Many of the large plates are more than 1000km across, they’d need to be mov
11.
by gorgolo 4mo ago
Banks don’t do this because of profit. They do it because of decades of laws pushing in this direction. Anti-money laundering, know your customer, digitalised currency, abandoning cash, preventing tax evasion etc… it’s been getting more ext
12.
by gorgolo 5mo ago
Not trying to be a cynic, but I think you’ve got a bit of a rosy view of what happened and what is happening. Concerning past wars: yes there were enormous protests. Just like today, many people disagreed with what was happening. But the sa
13.
by gorgolo 5mo ago
I’m not from the US and not trying to defend the US actions, but on Iraq and Gaza, much of Europe takes the same position and goes along with it (and even directly joined the wars and sent troops). I find the online opinion on Europe /
14.
by gorgolo 6mo ago
> Germany is the reason why the whole mess exists in the first place. I think this is the most unfair thing about it; Germany might be the reason, but it’s not Germans paying the consequences. It’s not 70k dead Germans, but 70k dead Pale
15.
by gorgolo 7mo ago
If someone is willing to fund you with a 100y bond, and it gives you extra cash to move even a bit faster, it sounds like a pretty good deal. One thing I don’t get though, if superintelligence is really 5 years away, what’s going to be the
16.
by gorgolo 7mo ago
Do people really hate JavaScript, or do they just hate the design choices and results that it seems to be correlated with? At the end of the day I’m using SaaS tools that are apparently written in React and I get astounded but how slow and
17.
by gorgolo 8mo ago
When I show my ID at the cash register I assume the person working there doesn’t instantaneously memorize all my details and then write down when exactly I was at the shop, along with other details, to use this info later for their own reas
18.
by gorgolo 9mo ago
https://en.wikipedia.org/wiki/Greco-Bactrian_Kingdom But the main point isn’t whether afghanistan is Greek; it’s not of course. The main point is that it’s funny to hear an American argue that the US has more of a clai
19.
by gorgolo 9mo ago
I don’t mind the overall point of your argument, but it’s funny to see a claim that Americans have more reason to use Greco-Roman architecture than a Middle Eastern country. Classical Greek art actually took a lot of influence from the Midd
20.
by gorgolo 9mo ago
Python can work from the shell, if you don’t have external dependencies. But once you have external dependencies, with incompatible potential versions, I just don’t see how you could do this with “one environment”.
21.
by gorgolo 9mo ago
The “raw” and unedited photo can be just as or even more unrealistic than the edited one though. Photographs can drop a lot of the perspective, feeling and colour you experience when you’re there. When you take a picture of a slope on a mou
22.
by gorgolo 9mo ago
I noticed this a lot when taking pictures in the mountains. I used to have a high resolution phone camera from a cheaper phone and then later switched to an iPhone. The latter produced much nicer pictures, my old phone just produces very fl
23.
by gorgolo 10mo ago
I didn’t really understand the writer’s comments with exceptions and I don’t code in C++. Their main complaint about exceptions seems to be that you can’t handle all of them and that you don’t know which you’ll get? If we compare this to py