Viewing profile — linzhangrun

Thinking that five or six years from now, Fable-level intelligence could be provided at 100x the current speed... makes me feel lost. I cannot imagine what the future will look lik…

Recently it seems these old game port posts show up on the HN front page quite often. Very cool, but I'm not sure about the copyright issues.

Regardless, a single GPS failure shouldn't cause a plane crash. Civil aviation is known for its redundancy.

DeepSeek may suffer from this... The official version has still not arrived, and Luna now costs only 70% of V4 Pro. Just imagine how much the same level of intelligence cost only a…

Disclosure: I am the author of luainstaller and am looking for questions and feedback.

Fedora 44 removes X11 :)

China uses YYYY/MM/DD, which is logical.

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 pixe…

As a Fedora user, I can say very clearly that Fedora is also very buggy...

First glance I thought someone was referring to https://nim-lang.org/

The US does not have the same power infrastructure as China.

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 ab…

Meituan’s 1.6T LongCat was trained entirely on Huawei training cards. DeepSeek, GLM, Qwen and others are also actively working on similar replacement.

> 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 b…

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…

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 d…

> ban open weight models I'm pretty sure that neither OpenAI nor Anthropic has the ability to ban anything in China lol

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 model…

> 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 releas…