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?
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.
> 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?…
Never heard about this before but it sounds crazy. Are you able to control this somehow, like reject business cards?
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…
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…
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.
They will also want to beam back the response straight back into your brain one day.
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…
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,…
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…
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…
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…
> 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,…
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,…
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…
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…
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 claim…
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…
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”.
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…
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…
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…
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?
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.
> 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?…
Never heard about this before but it sounds crazy. Are you able to control this somehow, like reject business cards?
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…
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…
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.
They will also want to beam back the response straight back into your brain one day.
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…
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,…
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…
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…
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…
> 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,…
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,…
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…
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…
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 claim…
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…
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”.
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…
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…
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…