隔壁猛啊
今天科技终于反弹了，啥也别说了，真要感谢隔壁韩国人。sk海力士公布了三季度的业绩，真的很炸裂。仅Q3单个季度，营收780亿美元，营业利润621亿美元，利润率高达80%就很逆天。这还不是账面利润，公司净现金736亿美元，是真金白银拿到手的。赚
科技互联网
首个Jev版OCR模型发布，最全教程来了！
Datawhale干货 教程：MiniCPM-OCR文档解析进入大模型时代之后，在基准榜单上刷到 90 多分，早就不是新闻了。但在财税、金融这类对准确率极度敏感的场景里，其实还不敢完全放开使用。因为模型能认对 95% 的内容，却没人说得清剩
【智能体软件工程·实践篇】把 Kimi K3.1 Pr
前阵子买了台华为 MateBook Fold，就想在上面跑 Omarchy。两条路：要么远程连过去，要么在本机虚拟机里跑。为了搞定连接和逆向，我把 Kimi K3.1 Pro 塞进了开发内环。结果挺有意思：它查协议、写探针确实能打，但首稿基
关闭微信「可按住 转文字」按钮
我一直以为是我矫情，没想到还有人和我一样。那就关掉它，嗯。 跳转微信打开
大模型编码的缺陷与特点：业界已验证发现综述（2022–2026）
在大模型编码时代，"验证"而非"生成"是稀缺资源。 作者： 张汉东 with KIMI K3.1 pro摘要本报告系统综述 2022–2026 年间业界与学界对大语言模型（LLM）编码缺陷与特点的实证发现，证据基础为 12 个调研维度、约
Polonius 前世今生：Rust 下一代借用检查器的八年长路
执行摘要Polonius Alpha 于 2026 年 8 月 4 日在 nightly 默认启用 作者： 张汉东 with KIMI K3.1 pro执行摘要Polonius Alpha 于 2026 年 8 月 4 日在 nightly
Rust 安全抽象与 unsafe Rust 生态全景调研 2026｜机制、工具链、最新进展与最佳实践
unsafe 是 Rust 安全体系的基石而非漏洞 作者： 张汉东 with KIMI K3.1 pro摘要本报告以 2026-08-02 的调研底稿为基线，并已并入 2026-08-02 至 2026-10-27 的增量核查结果（数据时效
【智能体软件工程·实践篇】把 Kimi K3.1 Pro 放入真实 Rust 项目之后
本文从 UU 工程审查、Oseasy 逆向到深度调研报告，看看 Kimi 在 OctoLoop 双环里提供了什么价值，并收获 uu 远程 omarchy rust实现开源版本（非官方）和三份论文级深度调研报告（见另外三篇文章）。结尾有彩蛋。
iStat Menus 现在还能看星星了
著名的 macOS 系统信息监控工具 iStat Menus 7.5 新增了一个Astronomy（天文学）」功能，可以显示当前位置的日出、日落，高度曲线、天文事件、天文图片等信息。@Appinn作为一款以设计优美著称的软件，iStat M
Strata 更新：再次优化速度，12GB 以下显存加速，RTX 3060 生成代码快了 37%
再次更新Strata 0.2.7.1 支持在 NVIDIA DGX Spark（Linux ARM64）上运行，DeepSeek-V4.1-Flash 则支持在 Apple 芯片 Mac 上运行就在刚刚，开发者直接修改了 v0.2.7 发布
天天用 AI，我发现自己越来越不对劲了
我有一个 Windows 10 故障，已经出现很长时间了。每次开机后没多久，就会出现在系统通知中：点击以获取详细信息后，会打开系统设置页面。没了，就没有然后了，很诡异。本着能用就不动的原则，我一直凑合着，毕竟什么都不影响，能用。但很烦。昨天
你的模型会剪辑吗？阿里、上交推出CutCraft，六大维度专测剪辑指令
实测13款模型 现如今多镜头音视频生成模型越来越强，生成的视频画面流畅、叙事看起来通顺。但画面连贯≠会做专业剪辑。很多 AI 视频可以产出观感丝滑的成片，却做不到基础剪辑要求：控制镜头数量与时长、实现、实现特定类型的蒙太奇叙事、实现指定的转
不同Harness的Agent Loop怎么做？Claude Code、Codex等6套方案详解
从核心循环到工程细节 一个看似简单的 Agent Loop，真正做成 Coding Agent 有多复杂？Agent Loop 的基本流程并不复杂。模型发起工具调用，Harness 执行后将结果返回给模型，模型再决定下一步。围绕这几步，就能
「软件已死」？独立开发大佬退订几乎所有工作软件：要啥让AI造
卖软件的人先不买软件了 新智元报道 一个做软件开发生意的人，开始大规模退订软件，还喊出了一句狠话：软件已死。10月11日，知名独立开发者Pieter Levels（levelsio）发文称，自己已经退掉了几乎所有工作用的软件订阅，也开始取消
刚刚，国产开源AI横扫全球4项第一！1.3B逆袭大厂，OCR极限实测杀疯了
新智元报道 几周前，DeepSeek用V4.1-Flash再次告诉全世界：顶级模型，不一定要天价！今天，轮到OCR了。面壁智能开源的MiniCPM-OCR 1.0，只有1.3B参数，却同时拿下解析能力和效率两项第一，把一众大厂模型甩在身后。