だいすけ

ハード屋ですよ。ソフトも少しします。漫画とゲームがなくなったら最悪死ぬ。 Verilog/SystemVerilog/VHDL/OVM/VMM/UVM/Xilinx/ALTERA/Lattice/ACTEL

[だいすけ @morittyo]

わけのわからない言葉は無視されるのかな

[だいすけ @morittyo]

ちょっと面白い
モノの属性じゃなくてモノの表現がネガポジ反転するんだな

[だいすけ @morittyo]

人間暇だと碌なことしないな…

[だいすけ @morittyo]

KiCADxMCP(mixelpixx)を試してみた
「MIPIカメラとArtyA7のPMODを繋ぐ変換基板を作って」
もちろんそのまま使えるってことは全然ないんだけど、出来るということに関心した

[だいすけ @morittyo]

#あすけんゼスプリキウイ生活
えるしってるか
最近は赤いキウイがある

美味しいんだけど季節もので、もう終わってしまった…また来年…

[だいすけ @morittyo]

スカジ取った
実店舗では全然見かけなくて、オンクレで天井した。

[だいすけ @morittyo]

18グミ

[隠居したエンジニア @ikwzm]

おお？

[だいすけ @morittyo]

朝起きたら無料枠を使い切って5ドル減ってた
windowsUpdateで作業が中断されたようで止まっている
やはりopusは恐ろしい…ここからcomposer 2に切り替えてみる

[だいすけ @morittyo]

LiteXでブートしない原因を追うOpus4.7さん
ソフト側の解析からRTL側のバスブリッジ・DMAを疑いビルド、bitstream作成＆書き込みまでやってくれる
待ってる間暇なのでX見てるワイ

[だいすけ @morittyo]

やっぱりここぞというデバッグはComposer2よりOpus4.7が効く（露骨に課金ゲージは使うが）
RTLの分野なら自分で追跡できるからComposer2への指示を詳細にすればいいけど、アプリ作成とかだと金で解決という運用になるな、まあお金で解決できるならそれはそれでという感じではある。

[だいすけ @morittyo]

Bonsai-8BはまだMAC以外で動いてないのかな
DS4も盛り上がってるしMAC買えってことなのだろうか

[HK86 @HK86_MWJ]

RTLを語る会 (19) を夏頃に行う場合のアンケートにご協力ください ！！ #talkrtl
※1 開催についてはまだ未確定です
※2 あくまで参加者数や発表ネタがどれだけあるかを把握するもので、このアンケートにより発表が確約されるわけではありません

[だいすけ @morittyo]

おお・・・VSCodeからColab使えるのは夢があるな

[だいすけ @morittyo]

• HCA (Heavily Compressed Attention): 最大128トークンを1つに圧縮。

CERNをハッキングしてマイクロブラックホールを使えば36バイトまで圧縮できる…

[だいすけ @morittyo]

KVキャッシュがSSDでいいってのは凄い重要な話な気がする
PCIE持ってるCPUなら安価にコンテキスト増やせるってことになるのでは？どうなんだろ。

[AYi @AYi_AInotes]

Damn，Redis创始人用一个C文件，干翻了大厂烧几十亿的GPU集群。

Antirez，那个写出Redis的传奇黑客，昨天开源了ds4。

一个专门为DeepSeek V4 Flash写的原生推理引擎，只有几千行C代码。

它做到了一件很多人都觉得不可能的事：
把拥有1M上下文窗口、能跑完整coding agent循环的准前沿模型，完整跑在一台普通的128GB MacBook Pro上。

YC CEO Garry Tan看完直接转发，只说了一句话：
“正在下载… 1M上下文+可用的coding agent能力，全在一台128GB MacBook上，这太疯狂了🤯”

这已经不是一个普通的量化项目那么简单了铁汁们，
属于顶级黑客用极致的系统工程，把闭源实验室烧几十亿才能玩的东西，压到了每个人的笔记本里。

他的三个黑客级操作，每一个都颠覆了行业常识：

1. 不对称2-bit量化：
只对MoE里占90%体积的专家部分做2-bit压缩，所有关键路径保持全精度。
质量损失极小，Antirez本人亲测“coding agent工作良好，能可靠调用工具”。

2. 把KV Cache扔到SSD：
很多人都觉得KV Cache必须放内存，1M上下文会直接炸掉128GB内存。
他直接把KV Cache搬到了苹果的高速SSD上，用磁盘当扩展内存，彻底突破了硬件天花板。

3. 纯Metal原生优化：
没有任何多余的封装，
没有通用框架的开销，
所有代码只为Apple Silicon写，
只为DeepSeek V4 Flash写。

实测性能：M3 Max 128GB上稳定27 tok/s。

不算快，但对本地跑agent循环来说，完全够用了。

你不用再给OpenAI付API费，不用再担心数据泄露，不用再忍受网络延迟。

所有的AI能力，完完全全在你自己的电脑里。

卧槽，这才是真正的革命，
过去AI的权力攥在少数几家大厂手里，他们有GPU集群，定价格，甚至说删就删。

现在，一个黑客用几千行C代码，就把这个权力还给了每一个开发者。

开源AI真的是不可阻挡的，
大厂烧几十亿训练出来的模型，只要权重一开源，

全世界的黑客就会用你想象不到的方式，把它优化到每一个能跑的设备上。

今天是MacBook，明天是手机，后天是手表，太让人兴奋了！

2026年5月9日，AI终于从云端的神坛，落到了每个人的笔记本里。

或许这一天，会被写进历史！

[だいすけ @morittyo]

うーんギリ入らない。削れば行けるのかな

[だいすけ @morittyo]

ArtyA7-35TでLiteXでEther+SDが一応動いた
…けど、LUTが90％じゃ何もできないなw
昔なら、じゃあ100T買うか…だったけど今クッソ高いから買う気が起きない…

[だいすけ @morittyo]

ぬい用のフード、食品バージョンというのがガチャガチャであったので回してしまった。出たのはポテサラで耳付きという説明なしではなんだかわからないグッズ。

[だいすけ @morittyo]

GPT5.5にAXI4-to-UARTを書かせたらパツイチであまりにも綺麗なのが出てきたので、いやーこれは…今後どうしよ…ってなった。