ga6840

the first a few days are very good. after one week, it becomes dumber in my case. I've experienced similar thing from openai models, my guess is openai's "reasoning efforts" even in the case of Sol, is about different levels of quantization.

Who is Sahil Chaudhary? Why he doesn't announce such a great advancement himself? Why Matt Shumer first announces it only because -- according to a later claim on X.com -- he trusted Sahil, does that mean Matt is unable to participate most of the progress? Then why announce a breakthrough without mentioning he was not fully involved to a level he can verify the result in the first place?

I also want use docker swarm in production, but I keep hearing people say it has network bugs like after some time services cannot talk to each other. Have you experienced any such issue?

Mao wants to surpass United Kingdom in 15 years and then US. Given China's condition at that time, if that is not arrogance, then it must be at least overestimation of his power.

Not quite difficult, enslave them, intimidate and threaten their social security, will make any spice not lazy.

You should not underestimate CCP, remember they initiated a large scale DDoS attack targeting github? And they blocked gist but not github.

If it wasn't CCP, China can be much better now. Remember why China is poor back then? It's called culture revolution, 10 years.

So far, I live most of the life in China, IMHO, the root of our previous poverty is arrogance and one man in power (see Mao's policy which had led nation wide famine just because he want to surpass US in a short time), and that left us fall behind the world economically. And the latter so-called "lifted out of poverty" (a oftenly used propaganda tune in Chinese spokesmen to refute others' human rights infringement blame) is nothing but opening up the nation and letting our hardworking people to make products for the world (mostly in downstream application wise products, even nowadays, you see huge Chinese tech companies all cannot live w/o Github, btw, that's why government doesn't block github). Which is seen by me just recovering those years we had losing in politics and culture revolution.

Microsoft had a SIGIR best paper on using Bloom filter for searching.

Appreciate your feedback, could you illustrate a little more and show me what you mean by "a system of equations" and "the whole of the literature"?

We can argue all day about if <math> should be like <img> or a <svg>, but I do not think I am wrong about asking whether we really need to manipulate a math expression. I just said "it makes sense to me" to write "<math>\frac a b</math>" does not necessarily mean I stand firmly for making <math> this way. If you think there are cases we need manipulate AND we indeed need to sacrifice HTTP length (Internet transmission time) and simplicity to enable math expression manipulation, that is totally fine. I admit your points and will still argue for my points, I do not believe there is an evident truth for this issue we argue (so as this thread). It is still OK. However, I should point it out I am quite confident in terms of hand-writing "<math>\frac a b</math>" more quickly than other people who use whatever advanced richtext editor they want to write its MathML alternative. You can still doubt how many people want write HTML by hand, but shorter HTML is not bad at everything, many high-volume websites get benefits from it. Think about a very hot math Q&A website in the future, being able to handle a lot request, math rendering computation on client side is a logical solution. In this case, MathJax makes a lot sense. I will agree we can adopt a solution that define short <math> and convert into lengthy MathML at client side, in this case we both do not have to compromise.

As for my "works pretty well", please refer to my answer in another thread below. To be concise, I use subjective words on search engine effectiveness because NTCIR makes it difficult to compare my TeX search engine with "MathML search engine". But I have already shown better efficiency of my engine compared to Tangent, and an important factor is Tangent have to use LaTeXML to parse every TeX back to MathML. Without considering NTCIR, I am willing to make a comparison (probably after done my new version search engine) with some open-source established math engine (e.g. Tangent) on effectiveness and efficiency based on some corpus with both MathML (used by Tangent) and TeX (used by my engine) annotation.