It's not that the writing style is bad; in fact LLMs write actually pretty well. It's just too much overfitted. And even a style that, in itself, is pleasurable to read, becomes annoying when the same figures of speech are used over and over again.
In fact, this is an opportunity to anticipate what is going to be written. I studied maths, so I am not sure how it would work for other fields of study. But one thing that worked very well for me was to write everything, spoken or written, before it was said, or to try to stay 10 seconds ahead of the lecture. This would keep my attention and it would require an active comprehension, like continuously doing exercises. I was then able to recall what was said much better. And I could take advantage of the pauses to get a little ahead so I would not get lost in the next difficult passage. Of course, this only works in fields where there is a strong logical connection between the various parts of the lecture, so that you can indeed try to figure out yourself, it would not work where there is a lot of memorization
Grothendieck did not have a comprehensive view of mathematics, nor he ever claimed to. There are vast swathes of mathematics (e.g. PDE or probability) that never fell under Grothendieck's radar
Computational mathematics may have adopted conventions from computer science, but I assure you that the alphabetical order convention is definitely the standard in most pure mathematics (with some exceptions, such as the Ascoli-Arzelà theorem)
I'd be curious to try it but I don't understand from the site whether it is mobile only. It claims that there is a utility to sync with desktop but then it doesn't run on desktop?
I mean, isn't it trivial? For instance, you can make any Euler characteristic you want by making a cell complex with a 1-cells and b 2-cells and then the Euler characteristic will be 1 + b - a. Am I missing something? If this is the problem and this is how the model looks for a solution, yes, it is overcomplicating things.
I am Italian and at my previous work at a bank, I had a two month notice (originally one, but increased with seniority). As far as I know, it is pretty common in Italy, and employers know that when they hire someone, the person will only join one to three months later due to this - or sometimes they offer to pay the penalty
I was going to write the same thing. I checked the first three problems and all solutions are partial at best. Now, don't get me wrong, this is still impressive. But putting the problems there with the implication that qwen solves them correctly when it doesn't does not really inspire trust
How complex is it to configure memories? I own a hosted instance of NextCloud from Hetzner, but I would rather not misconfigure it. Also, is there a mobile app? I think not having one is limiting, since most of the time I want to look at the pictures on the phone
There is a sequel on homological methods, which is not online, and I am currently trying to publish both. When I have time, I would like to write a third volume on homotopical methods (essentially all the stuff needed for André-Quillen cohomology and the cotangent complex).
> who needs interpretation when compile times are that fast!
Well, interpretation is pretty useful for a REPL. And a REPL is not just useful to avoid compilation, but also as a way to explore a new API. And, most importantly, to preserve the results of long computations when you do not know yet what to do with it. If computing a value takes half an hour, you certainly don't want to recompute it each time you change something. Rather, you keep an open session, such as a REPL or a notebook, and keep computing with the already existing value