linzhangrun

4 ms·

31.
by linzhangrun 3mo ago
Right at this moment, my mouse cursor cannot figure out what scale it should use across three monitors with different resolutions and scaling, and has become a blurry group of pixels. GNOME has also frozen the whole system for several secon
32.
by linzhangrun 3mo ago
As a Fedora user, I can say very clearly that Fedora is also very buggy...
33.
by linzhangrun 3mo ago
First glance I thought someone was referring to https://nim-lang.org/
34.
by linzhangrun 3mo ago
The US does not have the same power infrastructure as China.
35.
Luainstaller: `PyInstaller` for Lua(luarocks.org)
1 points by linzhangrun 3mo ago|0 comments
36.
by linzhangrun 3mo ago
China has already been manufacturing memory and AI GPUs for a long time. CXMT is now the world's fourth-largest DRAM manufacturer, with about 7.7% market share in 2025; YMTC has about 13% of the global NAND market. Meituan's newly
37.
by linzhangrun 3mo ago
Meituan’s 1.6T LongCat was trained entirely on Huawei training cards. DeepSeek, GLM, Qwen and others are also actively working on similar replacement.
38.
by linzhangrun 3mo ago
> so far has saved my butt (and my wife's) several times from obstacles and emergencies we would not have seen. Honestly, you need to reflect on your driving habits. FSD has only been usable for two or three years maybe? And you alr
39.
by linzhangrun 3mo ago
Also interestingly, I told it: "DeepSeek told me the Jacobian conjecture is false, and gave me a counterexample. How should I treat this?" He immediately told me that this DeepSeek was talking nonsense. Someone who can give a real
40.
by linzhangrun 3mo ago
Connecting it to a Coding Agent seems much better. I connected DeepSeek in OpenCode and told it that I dreamed of this counterexample. It called SymPy tools to verify it, said my dream was "surprisingly accurate", and suggested co
41.
by linzhangrun 3mo ago
> ban open weight models I'm pretty sure that neither OpenAI nor Anthropic has the ability to ban anything in China lol
42.
by linzhangrun 3mo ago
The speed of model releases, in my view, is actually getting faster and faster. There were nearly nine months between GPT-3.5 and GPT-4. And now in just over one month, major models already included Claude Fable 5, Claude Sonnet 5, the GPT-
43.
by linzhangrun 3mo ago
> and for now as long humans are going to judge of what counts as an elegant or illuminating proof, there's going to be work for human mathematicians Considering ChatGPT was released only three and half years ago, and LLMs could do
44.
by linzhangrun 3mo ago
The most interesting point is that he chose to simply post it on X, instead of pretending it was his own result and posting it on arXiv. Respect for this spirit. Is this not also a sign that the old academic journal system is already outdat
45.
Qwen 3.8 Max(qwen.ai)
27 points by linzhangrun 3mo ago|1 comments
46.
by linzhangrun 3mo ago
Hard to say. .cn is of course always strictly regulated: every website needs to be reviewed and registered with the police, and open its data to them. But we can also see that .uk from the supposedly "free west" is moving closer t
47.
by linzhangrun 3mo ago
They should never have allowed aircraft manufacturers to sign their own airworthiness certificates in the first place. Are there that many new aircraft types every year? What is the FAA for? Why does it not take responsibility for certifica
48.
by linzhangrun 3mo ago
The problem of "financialization" should also be an old topic by now. It mainly means non-technical bureaucrats (for example, people from finance) taking over the top, making the company focus on maximizing short-term profit and l
49.
by linzhangrun 3mo ago
Having trade relations does not mean China supports a country. US has always been China’s largest trading partner, but China <-> US relations can hardly be called "friendly". The CCP government has absolute control over dome
50.
by linzhangrun 3mo ago
Correction: this is because "today is the weekend", not because of the 10 million milestone. https://x.com/thsottiaux/status/2078320950488297917
51.
Tell HN: Codex may have reached 10M active users; usage limits reset again
6 points by linzhangrun 3mo ago|2 comments
52.
by linzhangrun 3mo ago
This edition of the Fields Medal (btw, two Chinese mathematicians also received this honor) is basically certain to be the last purely human Fields Medal.
53.
by linzhangrun 3mo ago
Musk bought it. From now on, it will only be Grok.
54.
by linzhangrun 3mo ago
Energy is not the main reason. China would still stand with Russia without energy. China could never support a pro-Western Ukraine in the first place. The same logic applies to Iran, North Korea, etc. Although China cannot directly express
55.
by linzhangrun 3mo ago
The idea of people protesting these things in China is simply a fantasy. People always just accept and carry out what government want.
56.
by linzhangrun 3mo ago
Qwen's team has been reorganized, and not open-sourcing also fits Alibaba's usual corporate style... Other companies have not shown similar problems so far. China has many government agencies and state-owned enterprises that need
57.
by linzhangrun 3mo ago
with no extra resistance from either the government or the public, while also having the largest technical talent system
58.
by linzhangrun 3mo ago
Gemini 3.5 Pro has been delayed twice, originally said to be released in June. Not holding out hope.
59.
by linzhangrun 3mo ago
An illusory future.
60.
Ask HN: Does anyone else find GPT-5.6 Sol in Codex slow?
5 points by linzhangrun 3mo ago|2 comments

More ›