github.com/coreseekdev/rtcl/ 正式介绍我刚 vibe 完的项目,可以在 js / rust 中 embed 的 tcl 解释器,解决了 rust 程序一次编译,缺少编排层的问题。 性能与标准的 tcl 在同一个 level ,略慢(优化步骤很烧 token 尚未找到好方案) byte2byte 的兼容 标准 tcl
Monan Li retweeted
Aos camaradas do Brasil:
Tenho observado que, recentemente, muitos camaradas comunistas brasileiros passaram a nutrir ilusões pouco realistas sobre a China, chegando até a esperar que a China intervenha no Brasil ou a desejar emigrar para lá. No entanto, preciso dizer que, após Deng Xiaoping e outros defensores da linha capitalista terem usurpado o poder, a China já se tornou um país revisionista e capitalista, e de forma alguma exportará a revolução para outros países.
Além disso, a China revisionista explora os trabalhadores por meio de práticas como a jornada “996”, desvia as contradições de classe através do nacionalismo e do populismo, e continuamente divide, enfraquece e reprime organizações operárias marxista-leninista-maoistas.
A situação dos direitos LGBT na China é ainda pior: existe uma ampla violência online dirigida contra a comunidade LGBT, e as pessoas LGBT na vida cotidiana frequentemente sofrem forte discriminação.
Por isso, por favor, não imaginem a China como um paraíso comunista. A China revisionista é uma aliada do capitalismo e do imperialismo.
Os problemas do Brasil não podem ser resolvidos por meio da intervenção da China revisionista, nem por meio das eleições. A esquerda brasileira deve se armar e, tendo o Pensamento Mao Tsé-Tung como fundamento, derrubar pela luta armada o governo burguês comprador e a ditadura da burguesia, estabelecendo um Estado sob a ditadura do proletariado.
Monan Li retweeted
日本右翼议员桥本琴惠发表暴论,现在的中国不是战胜国,为中美把日本搬上餐桌挽尊。
她的说辞毫无意义,绝对实力下,唯心是可笑的。
我想强调的是另一件事:
为了拯救日本的生育率,桥本琴惠8年内,成为7个孩子的妈妈。
为了她的祖国,她做了一个女人能做的一切。
从这一点来说,我敬佩她。
她是日本的英雄。
同时,我们应该反思:
我们中国的桥本琴惠在哪里?
为什么我们中国的英雄,男版桥本琴惠董志民,为什么至今仍然关在监狱里?
没有人,没有一切。
人口下降,国家一定衰落。
希望我们的政府,可以早日推倒医疗养老教育这新三座大山,早日把生育率给提上来。
也希望中国,少一些裴轶,杨景媛,多一些桥本琴惠🙏
Monan Li retweeted
#学英语 有理数这个词竟然是翻译错误. rational number的词根不是ration理性, 而是ratio比例. 有理数就是可以化为两数之比(分数)的数, 无理数就是不能表达为两数之比(分数)的数. 正确翻译是可比数和不可比数. 一个数字如何能有理无理? 这个翻译错误让包括我一内的很多学生困惑很久.
Open-sourcing a complete professional-grade set of music composition and arrangement skills plus lyric writing skills.
Music composition skills: github.com/jtydhr88/music-co…
Lyric writing skills: github.com/jtydhr88/lyric-wr…
Music composition skills: 29 professional-grade music agent skills for composing and arranging popular music. Sourced from professional music textbooks covering orchestration, harmony, form, counterpoint, mixing and style practice, plus arrangements measured from multitrack recordings.
Lyric writing skills: 18 professional-grade music agent skills for writing lyrics. Sourced from professional textbooks in four languages, covering English lyric-writing courses, Chinese prosody and lyric writing, Cantonese practice and Korean phonetics, plus Sondheim's two-volume collected lyrics with his own commentary.
Outputs connect to Suno (closed source), YuE2 (open source), MusicXML and MIDI formats, and spec files that human musicians can review and edit.
Monan Li retweeted
可以卸载掉Typeless了!!
朋友把他的Typefree免费开源了,我试用过,完全可以平替Typeless,大家只需要自己去配置api就行,体验很不错。作者:@BitcoinRui
还加了新的鼠标交互方式,大多数时间可以不用键盘,鼠标就可以搞定!!
开源地址:github.com/kdsz001/typefree
Monan Li retweeted
166,700 fruit fly neurons are flying a drone around my bedroom.
1 camera watches my open hand and that's the whole input.
The panel in the middle is the brain running live 166,700 neurons, 25 million connections, the full reconstructed map of a fruit fly's head.
Camera reads the hand, the brain fires, the output becomes throttle.
Open palm and it climbs, fist and it holds, drop the hand and it comes down.
4 propellers the size of a coin hanging off a nervous system that belonged to an insect.
The honest part this is a computational model, not a resurrected fly, the wiring is biological, the drone is mine, I built the bridge between them.
I never wrote flight logic, no PID tuning, no gesture presets, I gave the neurons somewhere to send the signal and they found the ceiling.
11 seconds in, it holds altitude on its own.
The fly is dead and it's still flying.
《深入理解 AI Infra》开源发布了!
写完《深入理解 AI Agent》后,在与读者交流的过程中,我越来越感到,要开发好基于模型的应用,还需要理解它赖以运行的基础设施。
最近几十年系统领域最重要的变化是编程抽象的上移:从操作系统到模型上下文。传统的操作系统、编译器和硬件要为事先未知的各种程序提供通用能力,系统优化总要在可编程性与性能之间取舍。
如今 LLM 成了最重要的应用,可以针对特定的模型和加速器架构优化;模型设计也开始反过来适应硬件,DeepSeek V4/V4.1 重新设计长上下文的表示方式,就是一例。
从某种意义上说,模型成了 LLM 时代的操作系统,AI Infra 成了 LLM 时代的计算机体系结构。《计算机体系结构:量化研究方法》是我在体系结构领域的入门书,而 AI Infra 领域还缺少一本从硬件约束和模型架构出发、量化推导系统设计的书,这是我写作本书的动机。
全书约 500 页,包括 12 章:
1. 初识 AI Infra
2. 模型架构
3. 推理与训练负载
4. 加速器架构
5. 算子与运行时
6. 超节点
7. 数据中心网络
8. 推理优化
9. 分布式推理
10. 训练系统
11. 资源调度与运行环境
12. 端边云协同
欢迎 star & 提 issue/PR!
github.com/bojieli/ai-infra-…
Monan Li retweeted
据华强北首席科学家李老六透露
目前华强北各大势力处于癫狂状态,至少有十二家工厂,根据 阿三开源的 iPhone18壳子的CAD图纸,连夜开模,调集物料,三班倒调试组装。
华强北各大势力的目标:比苹果提前一个月发布国行 iPhone18
Monan Li retweeted
Europeans are crazuly snapping up Chinese Midea ACs in the scorching heatwave🔥🥵🤬
Meanwhile, Midea dropped this ad: "Even Michelangelo can't handle this extreme heat... Relax, Midea's strong wind will save you!"
LMAO, the marketing team are geniuses🤣🌬️🧊

































