Martian

2.6K posts

Martian

Martian

@supermartian

Like I love you

Blacksburg Katılım Ocak 2009
384 Takip Edilen317 Takipçiler
Martian
Martian@supermartian·
今天想试一下Windows桌面版codex,真的是火冒三丈,起手调powershell的用法就耗了十来分钟,后来发现能wsl才解决了问题。家里俩Windows电脑已经完全沦为wsl启动器了。
中文
0
0
0
59
Martian
Martian@supermartian·
你别说还有点道理
bubble boi@bubbleboi

You think the AI bottleneck is HBM. You think it’s CoWoS. You think it’s GB200 cables or 800G optics or the Arizona power grid. You are looking at the wrong layer of the stack. The bottleneck is … nicotine. Specifically, the ESSE Change 1mg menthol cigarette made by KT&G (033780.KS) and smoked by Samsung’s HBM packaging engineers in the courtyard of Pyeongtaek Campus P3 between 2:47 AM and 3:04 AM during the third reflow shift. Without this cigarette, Samsung HBM4 yields collapse from 64% to 11%. Nobody knows why. I think I cracked it. I ran a backtest on Samsung’s HBM3 qualification ramp pulling weekly yield disclosures from FSS DART filings, normalizing to a 7-day baseline, and cross-referencing against KT&G’s quarterly shipment manifests at the SKU × distribution-center level. R² of 0.87 on HBM3, with ESSE Change 1mg shipments to the Pyeongtaek-Anseong corridor leading yield prints by 36–40 hours. I assumed I’d messed up the merge. Ran it three more ways. The signal held. So I pulled HBM4E, which Samsung started disclosing weekly in Q1 2026. Same overlay, but this time narrowed to CU branch #4471 which is 340 meters from the P3 fab gate, the only 24-hour store within walking distance of the third-shift smoking area. R² = 0.91, lag of 38 hours, p < 0.001. When I ran SK hynix yields against the same KT&G series, no signal. Samsung yields against Marlboro shipments via Philip Morris Korea, no signal. Every other CU branch within 2km of P3 nothing. Only #4471 prints. This upcoming June, Samsung is qualifying HBM4E for Nvidia Feynman. Samsung supplies ~30% of HBM4E into the ramp or 1.2M Feynman packages, every single one of those HBM stacks is gated by an engineer puffing on an ESSE Change. Samsung HBM4E yield is now the load-bearing dependency for global AI capex, but KT&G is the load-bearing dependency for Samsung. And sadly there is no alternative. Japan Tobacco’s Mevius is described by Samsung engineers as “tasting like a hospital.” Marlboro is what SK hynix smokes and for engineering reasons is structurally incompatible with Samsung’s MR-MUF process. BAT and Imperial have under 4% combined Korean share, and Chinese domestics can’t be imported in volume. Even KT&G’s own ESSE Special Gold was trialed at P3 in March 2025 and caused a 7% yield drop in one week because the engineers said they could taste the paper supplier change and were feeling nauseous. With all that said, look at the financials. ESSE Change runs ~38% gross margin against a 52% group average. KT&G has been underpricing their flagship brand for two decades because nobody realized it isn’t a cigarette, it’s the bottleneck of global AI capex. A 15% price hike is ~80% lift to operating income at this volume, lifting group EBITDA margin from 28% to 34%. On ₩6.1T of revenue, that’s ₩370B of incremental operating profit against a ₩9.8T market cap resulting in a 12% earnings beat from one SKU repricing. And the best part? The engineers literally cannot decline, because there is no substitute. I bet on two hikes in eighteen months which gets you 25% EPS growth without selling a single additional pack. This is what the sell-side is going to figure out in Q3, and it’s why the multiple goes from 9× to 22× before consensus catches up to the revisions. No amount of Arizona engineers chewing 30mg mint Zyns replaces this. KT&G has a lockdown on the engineers who make the world’s HBM. They can name their price.

中文
0
0
0
120
Martian
Martian@supermartian·
接deepseek是opencode还是直接claude code?哪个效果好一点
中文
0
0
0
100
Martian retweetledi
DeepSeek
DeepSeek@deepseek_ai·
🚀 DeepSeek-V4 Preview is officially live & open-sourced! Welcome to the era of cost-effective 1M context length. 🔹 DeepSeek-V4-Pro: 1.6T total / 49B active params. Performance rivaling the world's top closed-source models. 🔹 DeepSeek-V4-Flash: 284B total / 13B active params. Your fast, efficient, and economical choice. Try it now at chat.deepseek.com via Expert Mode / Instant Mode. API is updated & available today! 📄 Tech Report: huggingface.co/deepseek-ai/De… 🤗 Open Weights: huggingface.co/collections/de… 1/n
DeepSeek tweet media
English
1.6K
7.7K
44.9K
9.4M
Martian
Martian@supermartian·
DeepEPv2还是基于nccl的。所以基于昇腾训练的版本还能出来吗?
中文
0
0
0
73
Martian
Martian@supermartian·
@20thcentury 2026年了连个正常中文名都想不出来
中文
6
43
2.8K
193.5K
NVIDIA GeForce
NVIDIA GeForce@NVIDIAGeForce·
PRAGMATA has launched with #RTXON, featuring path tracing and DLSS 4! To celebrate, we are giving away this custom wrapped GeForce RTX 5090 featuring Hugh and Diana, perfect for the adventure that awaits on the moon. Want it? Comment "PRAGMATA RTX" to enter!
NVIDIA GeForce tweet media
English
30.5K
3.2K
20.8K
1.7M
Martian
Martian@supermartian·
高通这个逼公司没有什么韧性,除了骁龙和无线业务,其它玩意次次都是起个大早集都不赶直接摆烂摊子,坐在Irwin Jacob的功劳簿上
Jukan@jukan05

Qualcomm abandoning its server ARM CPU business in 2022 is one of the most legendary stupid moves in the tech industry, on par with Samsung scrapping its HBM team in 2019 and AMD selling its mobile GPU business to Qualcomm. Why the hell are these executives still at Qualcomm?

中文
0
0
3
222
Martian
Martian@supermartian·
@silsrc 你试试让它先写tla呢?最近在尝试验证结合的AI并发算法开发,似乎效果好一点点
中文
0
0
0
378
scr.c
scr.c@silsrc·
阿妈的,有个想法尝试用 RCU 去替换一个 spinlock, AI 开 max effort 验证可行性打个草稿看着奇好,忙了一天翻来覆去各种怪 Bug 和再修修就好了,token 废了上百刀… 最后自己重新证了下发现压根不能用 RCU,屏障也不行,spinlock 里多个操作整合的话反而更快🤦… 感觉现阶段AI还是做不了严肃开发…
中文
10
1
59
6.5K
Martian
Martian@supermartian·
现在确实心态上没有把工作看得那么重了,当然很大的一个前提是自己和家人没有背太重的杠杆
中文
0
0
1
172
Martian
Martian@supermartian·
@flaneur2023 管理学某种层次上目的也是需要把人的差异性控制在可控范围,放在agent上差异性确实小了很多
中文
0
0
4
1.3K
f
f@flaneur2023·
@supermartian 感觉都还是玄学阶段,但是 agent 管理学这东西再玄学,也仍比人类管理学科学一百倍,至少同一个活能做实验复现 🤔
中文
3
0
27
1.8K
Martian
Martian@supermartian·
现在基于llm的研究已经不像计算机研究了,而是更像管理学研究。be like“我把这个人放在这个岗位上能提效”,“我把十几个人放在一起赛马”,“我让人干活的时候把工作记录写在黑板上和人交流”,“我把人塞到编译器里当个pass”
中文
5
16
203
30.9K