Hacker News: linzhangrun

New comment by linzhangrun in "AMD acquires Taalas to boost inference performance by etching models in silicon"

linzhangrun — Fri, 07 Aug 2026 01:07:23 +0000

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 like.

New comment by linzhangrun in "Show HN: Pokémon Emerald Ported to Raspberry Pi Pico 2"

linzhangrun — Fri, 07 Aug 2026 01:00:47 +0000

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.

New comment by linzhangrun in "Civilian plane crash in New Mexico tied to military GPS blocking"

linzhangrun — Thu, 06 Aug 2026 03:37:23 +0000

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

Grok.com is returning Cloudflare Error 521

linzhangrun — Tue, 04 Aug 2026 07:48:39 +0000

Comments URL: https://news.ycombinator.com/item?id=49165528

Points: 1

# Comments: 0

An OpenAI model proves that non-sofic groups exist

linzhangrun — Sat, 01 Aug 2026 09:59:07 +0000

Article URL: https://twitter.com/SebastienBubeck/status/2083456300692979886

Comments URL: https://news.ycombinator.com/item?id=49132869

Points: 2

# Comments: 0

New comment by linzhangrun in "Advancing the price-performance frontier with GPT‑5.6"

linzhangrun — Fri, 31 Jul 2026 02:04:54 +0000

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 few months ago.

New comment by linzhangrun in "[dead]"

linzhangrun — Thu, 30 Jul 2026 01:17:01 +0000

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

New comment by linzhangrun in "If coding has been solved, why does software keep getting worse?"

linzhangrun — Mon, 27 Jul 2026 08:02:37 +0000

Fedora 44 removes X11 :)

Keigo Higashino, author of The Devotion of Suspect X, dies at 68

linzhangrun — Mon, 27 Jul 2026 07:57:13 +0000

Article URL: https://www.oricon.co.jp/news/2470322/

Comments URL: https://news.ycombinator.com/item?id=49066412

Points: 6

# Comments: 3

New comment by linzhangrun in "Kimi-K3 on HuggingFace"

linzhangrun — Mon, 27 Jul 2026 07:52:42 +0000

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

New comment by linzhangrun in "If coding has been solved, why does software keep getting worse?"

linzhangrun — Sat, 25 Jul 2026 08:03:23 +0000

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 seconds multiple times recently. Codex says it is a problem with the time component. I am still dealing with another recent problem where the system sometimes takes forever to boot, but after a forced restart it enters the system normally within seconds. Grok 4.5 says this is also GNOME's component fault.

New comment by linzhangrun in "If coding has been solved, why does software keep getting worse?"

linzhangrun — Sat, 25 Jul 2026 01:18:39 +0000

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

New comment by linzhangrun in "The road to epsilon-zero: Nim always ends, even with infinite ordinals"

linzhangrun — Sat, 25 Jul 2026 01:13:31 +0000

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

New comment by linzhangrun in "For most US drivers, EVs offer emissions benefits and cost savings"

linzhangrun — Fri, 24 Jul 2026 06:45:58 +0000

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

Luainstaller: `PyInstaller` for Lua

linzhangrun — Wed, 22 Jul 2026 06:39:22 +0000

Article URL: https://luarocks.org/modules/waterrun/luainstaller

Comments URL: https://news.ycombinator.com/item?id=49002662

Points: 1

# Comments: 0

New comment by linzhangrun in "OpenAI and Hugging Face address security incident during model evaluation"

linzhangrun — Wed, 22 Jul 2026 03:39:47 +0000

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 released 1.6T LongCat was trained entirely on Huawei cards. DeepSeek, Qwen, GLM and others are also actively doing domestic-card adaptation and replacement.

New comment by linzhangrun in "OpenAI and Hugging Face address security incident during model evaluation"

linzhangrun — Wed, 22 Jul 2026 03:24:43 +0000

Meituan’s 1.6T LongCat was trained entirely on Huawei training cards.

DeepSeek, GLM, Qwen and others are also actively working on similar replacement.

New comment by linzhangrun in "China’s open-weights AI strategy is winning"

linzhangrun — Tue, 21 Jul 2026 07:51:00 +0000

> 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 already encountered MULTIPLE situations requiring active safety intervention to save you during this time?

You cannot rely on the extra safety it provides. A driver with basic competence should be able to avoid most risks through anticipation before they happen.

New comment by linzhangrun in "Claude Fable produced a counterexample to the Jacobian Conjecture"

linzhangrun — Tue, 21 Jul 2026 03:27:44 +0000

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 counterexample "would not be a bot from an AI company, but a Fields Medal winner."

New comment by linzhangrun in "Claude Fable produced a counterexample to the Jacobian Conjecture"

linzhangrun — Tue, 21 Jul 2026 03:22:05 +0000

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 consulting an expert in algebraic sets for independent verification.