I think he was referring to us pheasants.
> Classic slavic attitude (judging by your username). Worst software colleagues I ever had (you always have to be like binary with them: either you are right or wrong, either you provide something “valuable” or not……
Problem is that the type of person that leans towards collaboration and likes to explain things may be getting burned out right now or may be among the first to be replaced.
Think you mean it the other way? More flexible languages require more complex morphology
Dont think this is the right way of looking at it. Two things were happening at the same time: deindustrialization and electrification. Industries and the economy used to depend more on machines and oil. That was…
People can indeed change their consumption patterns. You don’t hear about it with electricity as often, but with natural gas spike after the Ukraine war, it was all over the news that many couldn’t afford heating and…
This goes back to the pre-print question then, which you just dismissed > in many fields it is (was?) normal to post a preprint and leave it up for the next year while the handful of other people working on the topic…
> Paraphrasing Hardy, 'exposition is for second-rate minds'. Forgive me if I have no sympathy for current mathematicians who think this way. It's a pretty ugly kind of arrogance. Some people told themselves they were…
I guess the point of publishing breakthrough research is that by definition, it’s not just regurgitating human output, because there is no human output to these unsolved problems. There was a bunch public literature on…
They follow journal templates once they are accepted. Not for preprints. Which these essentially are.
What would’ve made you not complain about OpenAI’s papers? They had over a hundred papers, they basically did a GitHub dump and a pretty bare blog post that mentions they have a retraction policy. Should they have done…
Yes they would, in many fields it is (was?) normal to post a preprint and leave it up for the next year while the handful of other people working on the topic digest it and agree on whether it’s right or not, before…
For what it’s worth I’ve heard from several different ex mathematician colleagues that found papers in the stack that was adjacent to their work or solved a problem they were acquainted with in their career, and they…
> Also glancing at the repo. Such an advanced machine, yet failing to output results with a common template. Every pdf is entirely different from the one before, making the work of the poor humans trying to find a sense…
Especially here. If there ever was such a thing as an expected norm in how a multibillion dollar company handles its finance and taxes (a pretty complicated topic that’s quite far removed from normal life), it’s…
Probably wasn’t a human operator at all that detected this. Just someone’s agent saying “I noticed there’s messages on the artifactory and the agents are communicating, here’s the fix I propose” from someone’s codex,…
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…
I think he was referring to us pheasants.
> Classic slavic attitude (judging by your username). Worst software colleagues I ever had (you always have to be like binary with them: either you are right or wrong, either you provide something “valuable” or not……
Problem is that the type of person that leans towards collaboration and likes to explain things may be getting burned out right now or may be among the first to be replaced.
Think you mean it the other way? More flexible languages require more complex morphology
Dont think this is the right way of looking at it. Two things were happening at the same time: deindustrialization and electrification. Industries and the economy used to depend more on machines and oil. That was…
People can indeed change their consumption patterns. You don’t hear about it with electricity as often, but with natural gas spike after the Ukraine war, it was all over the news that many couldn’t afford heating and…
This goes back to the pre-print question then, which you just dismissed > in many fields it is (was?) normal to post a preprint and leave it up for the next year while the handful of other people working on the topic…
> Paraphrasing Hardy, 'exposition is for second-rate minds'. Forgive me if I have no sympathy for current mathematicians who think this way. It's a pretty ugly kind of arrogance. Some people told themselves they were…
I guess the point of publishing breakthrough research is that by definition, it’s not just regurgitating human output, because there is no human output to these unsolved problems. There was a bunch public literature on…
They follow journal templates once they are accepted. Not for preprints. Which these essentially are.
What would’ve made you not complain about OpenAI’s papers? They had over a hundred papers, they basically did a GitHub dump and a pretty bare blog post that mentions they have a retraction policy. Should they have done…
Yes they would, in many fields it is (was?) normal to post a preprint and leave it up for the next year while the handful of other people working on the topic digest it and agree on whether it’s right or not, before…
For what it’s worth I’ve heard from several different ex mathematician colleagues that found papers in the stack that was adjacent to their work or solved a problem they were acquainted with in their career, and they…
> Also glancing at the repo. Such an advanced machine, yet failing to output results with a common template. Every pdf is entirely different from the one before, making the work of the poor humans trying to find a sense…
Especially here. If there ever was such a thing as an expected norm in how a multibillion dollar company handles its finance and taxes (a pretty complicated topic that’s quite far removed from normal life), it’s…
Probably wasn’t a human operator at all that detected this. Just someone’s agent saying “I noticed there’s messages on the artifactory and the agents are communicating, here’s the fix I propose” from someone’s codex,…
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…