I have in my Claude.md that comments must be diegetic, if needed at all. This seems to have helped. And it is then something which gets checked by agents in code review.
They managed to get pretty close to decomming it which is that it's now impossible to sign up on desktop without an account that requires a phone number tied to it.
>Everyone needs to agree to stop. That is the challenge.
These kinds of situations are incredibly common and where the government stepping in is the solution, but we were cursed to encounter this particular challenge with the most venal administration in history at the helm.
There are governments plural which need to agree to stop and historically I can think of freon, leaded gasoline and IAEA and the latter didn't do as good of a job as it was meant to do (but arguably as good of a job as was politically possible)
Also arms control agreements, which reduced the world's nuclear stockpiles by 90%. In principle we could do something similar for GPU farms, since they're not exactly easy to hide.
Indeed. Even supranational coordination should be possible, given that extinction means extinction for everyone, and your excellent examples show the possibility. But then, here we are, and the FT just reported:
> Donald Trump rejects calls from tech bosses for AI slowdown
> President denounces demands for regulation as existential fears over technology move to the centre of US politics
Polars seems nice but in my experience using it, the "lazy" APIs would still immediately materialize a ton of stuff in memory and had very spotty support on what data formats and storage integrations were possible with scan_* functions (though that was half a year ago and the support is slowly improving). It's frustrating, I mean really frustrating, to think I could solve a lot of my "scan through heinous amounts of data without any memory hungry things like window aggregations without blowing out my memory" with Polars and then watch my scan_thisorthat() call result in instant memory usage ballooning.
DuckDB on the other hand is wonderful and truly doesn't use any more memory than it really needs to.
That sounds like there's something going wrong, because that definitely shouldn't be the case! Although it sound like you've given up on it: if you have any example to send me in the right direction I can look into that for you. I'd love to know if there's something I can relay to the team.
Did you ever report these issues to polars developers?
I reported many bugs to both pandas and polars over the years and both teams tend to address relatively big ones. (Still have some outstanding pandas bugs that I think are a big deal but the devs disagree.)
>Governments are invested in solving mathematical problems for practical purposes.
Very ignorant view of mathematics that also begs the question with an unspoken assumption of what a government is and wants while also ignoring the contingent nature of those things throughout history.
I'm genuinely surprised by this comment. I'm not talking about why a mathematician pursues math - I'm talking about where the stipend comes from.
Higher math is exceptionally useful for cryptography, defense, econometrics etc.
I have a hard time thinking of other motivations that would hold a candle against such things.
Is the idea that government (for my purposes : folks w/ a monopoly on violence) is sincerely interested in promoting human flourishing, and is invested in mathematics insofar as it is a pure expression of human curiosity? I can also maybe see the glorification through monument building angle. If we're talking about math literacy in the population - that's distinct in my mind from higher mathematics.
It's dangerously naive to believe that science and math are pursued for majority benign purposes. No one here knows about Grothendieck?
Some of the comments here are very strange. Someone called Terrance Tao a useful idiot. Friday in America, maybe people are hitting the beer a bit early.
Anecdotally, I know a few people who spent decades working on and/or teaching middle eastern music in conservatories abroad, and they struggle greatly to find music departments in the US who will hire them. A problem I've seen firsthand is that there are a lot of senior professors who teach it hand wavy versions of it filtered through whatever books Euro orientalists wrote mid century and are threatened at the prospect of someone coming in there who has studied and practiced it for years in places where it's more of a living art form cutting into their position of expertise.
Where this ties in to your point is that part of the reason they really don't want experts is that they rarely have someone whose job it is to teach middle eastern music. They might have a guitar teacher with some experience with oud, a flute teacher who can passably play ney (usually with awful intonation), etc. For most schools, these other types of music are "add-ons" that they have their existing faculty teach.
There is a big problem in music of tradition being elevated too much. If it wasn't used 300 years ago, or is changed in anyway it must be bad. (except the brass is allowed to add valves even though those are modern)
The worst is when it walked through a dozen or so questions, and it decides to litter comments with "Per answer 7, ..." with no further context.
reply