出海透透气

分享 AI 工具和应用
分享出海基础设施搭建

[出海透透气 @TestedPicks]

@Kimi_Moonshot 开放权重 + 低价 API，模型厂价格战又进一步

[出海透透气 @TestedPicks]

@AnthropicAI 用 LLM 做形式化验证这个方向很关键：现在代码生成越来越快，真正的瓶颈反而是"验证跟不上"。期待看到它在大型真实代码库上的实际误报率。

[出海透透气 @TestedPicks]

@deepseek_ai 开源的是它的推理框架，不是整套服务。官方 README 自己都承认了：KV 缓存、prefill/decode 分离这些核心部件这版没放出来。个人开发者真要跑，先看机器显存够不够。有人实际跑起来了吗，部署门槛到底多高？

[出海透透气 @TestedPicks]

@WeiYi88890 爱思助手也可以

[出海透透气 @TestedPicks]

@Zzy6689 怎样能跟你混熟

[出海透透气 @TestedPicks]

Do you remember when you joined X? I do! #MyXAnniversary

[出海透透气 @TestedPicks]

@jiujiu3430 1

[出海透透气 @TestedPicks]

@anni423 011

[出海透透气 @TestedPicks]

@ClarisL12380 哇塞