蛙蛙王子

姐夫污你真污

[范凯说AI @fankaishuoai]

别整天折腾各种 AI 工具了！再折腾，你能折腾得过我吗？

我主要的工作流都跑在一台 Mac Studio M4 Max 工作站上，给大家看看我都折腾了哪些工具：

先说软件。远程同步用 Tailscale 组虚拟专用网络，笔记本 / 手机在任何地方都能随时接入 Mac Studio 上的基础设施；电脑之间的工作文件无缝同步用 Syncthing。

如果需要直接远程操控 Mac Studio，我用 Parsec 做远程桌面；
而要远程控制 Mac Studio 上的 Agent、做多 Agent 编排，用的是Paseo 。Paseo 还装在我的 iPhone、iPad 和一加 15 手机上，让我随时随地接入 Agent 来完成工作。

自动化调度分两条路。涉及 Bot 的任务，直接在 Paseo 里配它的定时计划就行。不需要用到 AI 模型的任务，我全都写成 Python 脚本，直接用 macOS 系统自带的定时任务去跑，效率更高也更可控。

然后是我的 Agent 阵容：逐渐收敛到三个开源工具，Pi Agent、Codex CLI、DeepSeek Harness。它们接管的事情已经不少：

- Obsidian：整个知识库的管理全在 Obsidian 里，交给 Agent 来做
- 浏览器：Mac Studio 上常年开着几个 Chrome，让 Agent 操控浏览器处理各种任务：查邮件、回复、分析 YouTube 后台数据、查资料，或者操控 ChatGPT、Grok、Gemini 的网页端
- GitHub：代码提交到 GitHub，在 Codex 里绑定之后可以直接远程 PR
- Cloudflare：网站部署用的是 Cloudflare，我是 5 美元的付费用户。海外域名购买、前后端代码发布，以及数据库 D1、放视频和文档等静态资源的 R2，很多基础设施直接都在 Cloudflare 上；在 Agent 里下命令，全部自动配置和管理，不需要我自己登录 Cloudflare
- Stripe：海外付款同样把 Stripe 连接到 Agent 上了，上面所有相关的测试、配置和数据分析，全部交给 Agent 处理

媒体和内容处理这块，下载和处理音视频用 yt-dlp，做简单动画、视频生成用 FFmpeg-full。另外还有一些新工具，比如用来做视频 B-roll 的 OpenMontage。 OpenMontage 加上 FFmpeg-full，视频的粗剪和动画就OK了，后期再用剪映合成一下就行了。

最后才说模型。本地推理用 oMLX，跑的模型主要有这几类：

- 大语言模型：DeepSeek V4 2.4-bit 量化版、Qwen3.8-27B（4-bit / 8-bit 量化版）、Qwen3.6-35B-A3B（4-bit / 8-bit 量化版）
- 语音识别（ASR）：Qwen3-ASR、OpenAI Whisper Large
- 语音合成（TTS）：Qwen3-TTS
- 情绪语气识别：SenseVoice
- RAG 与检索：向量模型 BGE-M3、重排序模型 BGE-Reranker-v2-M3

这么多工具组合在一起已经非常强大了，我觉得我连这些工具 30% 能力都没用上，不能再折腾了。

所以我越来越觉得，作为普通 AI 用户，真没必要天天盯着新模型发布，花大把时间来回测那些“鹈鹕骑自行车”，纯属浪费时间。真要测，也应该拿自己真实的工作流去测不同场景下的模型适用度，完全不需要过度关注。我反倒觉得应该形成一套自己稳定的工具组合，来高效完成日常工作。

[汤光头 @tangpanqing]

呆了4年的群，把我给踢了

就因为我说了某为的错误

这届网友真难带啊…

[宝玉 @dotey]

https://t.co/CqK0EMMkvd

[宝玉 @dotey]

还是让雷军来改造一下微信公众号吧！下面有请雷军：

好的，朋友们！请坐。

（音乐渐弱，灯光聚焦）

（雷军式微笑，环顾全场）

大家下午好！

（停顿，掌声）

谢谢，谢谢大家！每次站在这里，看到这么多熟悉的面孔，这么多支持我们的朋友们，我的内心都无比激动。

今天，我想先问大家一个问题。在座的有多少是内容创作者？有多少人，每天都在用微信公众号，记录自己的思考，分享自己的热爱？请举一下手我看看。

（环顾四周，点头）

哇，非常多！谢谢，请放下。

那么，第二个问题来了。朋友们，在你们创作的路上，有没有遇到过一个让你抓狂、让你崩溃、让你想砸电脑的瞬间？

（现场发出会心的笑声）

我看到大家都在笑。是的，我相信我们想的是同一件事。那个折磨了中国至少2000万内容创ators，每天浪费掉我们无数宝贵灵感的“头号敌人”——微信公众号，那个后台编辑器。

（PPT上出现一个巨大且丑陋的编辑器截图，上面布满了各种吐槽弹幕）

我们做过一个调查，一个触目惊心的数据。一个熟练的公众号运营者，平均每排版一篇3000字的文章，需要花费多长时间？45分钟！其中，有超过 57.3% 的时间，也就是25分钟，是在干什么？是在调整字号、行间距、寻找一张没有版权风险的配图，是在跟那个编辑器“搏斗”！

更可怕的是什么？是闪退！我们的数据显示，平均每位创作者，每年会因为编辑器突然的、毫无征兆的崩溃，丢失掉 4.7 次，将近5次快要完成的稿件！朋友们，这是什么概念？这意味着，每年有将近 1亿篇 本该诞生的精彩文章，就这样消失在了那个无情的404页面里！

这，是这个内容时代最大的“生产力黑洞”！是一个困扰了行业长达十年之久的难题！我们真的要忍受这一切吗？我们的创造力，就应该被这么一个简陋的工具所束缚吗？

不！我们绝不接受！

所以，我们决定，要为全中国的2000万创作者，打造一款真正属于这个时代的、强大的、智慧的创作工具！

（停顿，深吸一口气）

我们为此，做了整整 三年 的努力。

我们的团队，150名顶尖的软件工程师，用了 1095个日夜，分析了全网 TOP 100万篇 爆款文章的排版范式。我们飞遍全球，与 Adobe、方正字库等7家全球顶级视觉机构进行深度技术交流。我们推倒了 9 版完全不同的产品架构，写下了超过 200万行 的核心代码。

我们只有一个目标：把创作的权利，完完整整地，还给创作者！

今天，这，就是我们的答案！

（转身，身后大屏幕上出现产品logo和名称，极具科技感）

「米创 HyperWriter」智能创作引擎！

（掌声雷动）

（PPT展示产品界面，极致简洁、充满设计感）

首先，我们解决了最基础，也是最致命的“稳定”问题。我们自研了 「宙斯盾」防崩溃守护系统（Aegis Guard System）。它能做到什么？它能让你的编辑器在任何复杂操作下，稳定性提升 300%！我们做了一个极限测试，同时插入100张高清图片和3个视频，反复拖拽缩放1000次，崩溃率，是 0！是的，朋友们，你没有听错，是 0！

（现场惊叹声）

但仅仅稳定，是远远不够的。创作，应该是流畅的，是优雅的。

为此，我们推出了革命性的 「灵感布局AI引擎」（Inspiration AI Layout Engine）。你只需要把文字放进去，它就能在 0.1秒 内，智能分析你的文章脉络，并为你推荐 83套 由金牌设计师和算法联合打造的顶级排版方案！从“科技未来风”到“国风雅致”，一键应用，全文瞬间脱胎换骨！

（PPT上快速演示文字进去，多种精美排版瞬间切换的效果）

过去调整格式需要30分钟，现在，只需要 1秒！这，就是科技的力量！

我们还解决了那个世界性难题——找图。我们投入巨资，与全球最大的视觉中国、Getty Images等5家图库达成战略合作，为所有用户打造了一个 「全球灵感素材库」。里面包含了 3000万 张高清正版图片、500万 个GIF动图和 100万 个矢量插图！你只需要输入关键词，比如“激动的雷军”，0.2秒，图就来了！

（PPT上演示搜索“激动的雷军”，瞬间出现各种相关图片，引发现场大笑）

每一张，都是正版授权，可以直接使用！让你彻底告别版权焦虑！

当然，我们还准备了更多。我们联合“中国传媒大学新媒体实验室”，共同研发了 「热点追踪系统」，实时分析全网热点，为你的选题提供数据支持。我们还内置了 「AI智能校对」，错别字检出率高达 99.8%，比行业平均水平高出整整 12个百分点！

这，就是「米创 HyperWriter」，它不是一个简单的编辑器，它是你的首席排版师、是你的创意素材库、是你的数据分析师、更是你最可靠的创作伙伴！

（停顿，喝一口水）

那么，这样一个集众多黑科技于一身的创作引擎，一定很贵吧？

（现场安静，充满期待）

市面上，稍微好用一点的第三方编辑器，一年的会员费，至少是199元，功能还不到我们的一半。那些国外的顶级写作软件，更是高达上千元一年。

我们的「米创 HyperWriter」，如果定价，我们觉得999元一年，都非常超值。

但是！我今天来，不是为了赚钱的。我是来，交个朋友的！

（全场欢呼）

「米创 HyperWriter」所有基础功能，包括「宙斯盾」守护系统和每月3次「灵感布局AI」使用权，永久免费！

（掌声，欢呼声达到高潮）

而对于需要更高阶功能的朋友们，我们推出了「米创 HyperWriter Pro」版本。包含了无限次的AI布局、3000万正版图库的无限使用、AI校对等等我们刚刚提到的所有功能！

价格是多少呢？

不是999，不是499，也不是199！

（节奏放慢，一字一顿）

一年，只需要…… 99元！

（PPT上打出巨大的“￥99/年”）

（掌声经久不息）

还不够！

今天，就在发布会现场，所有下单Pro版本的朋友们，我们再免费赠送一套与“汉仪字库”联合定制的 价值1999元的「米创品牌字体包」！内含5款专属可商用字体！

（现场再次沸腾）

朋友们，我们想做的，从来都不只是一款冰冷的产品。我们想传递的，是一种信念。

我们相信，在这个伟大的时代，每一个人的创造力，都值得被尊重，都值得被最好的工具所激发。

从今天起，忘掉那个卡顿、丑陋、低效的过去吧！

让灵感，再无束缚！

「米创 HyperWriter」，献给所有还在坚持创作的你！

谢谢大家！

（鞠躬，灯光亮起，音乐响起，发布会结束）

[宝玉 @dotey]

微信公众号的后台管理还停留在20年前的水平，难用之极，浪费了大量的用户时间

[宝玉 @dotey]

帮网友问：医生想用人工智能辅助一下病例分析，比如说现有800个手术病例，想让AI根据这些病例分析新的病人的病情，请问该用什么技术方案比较好呢？

[云风 @cloudwu]

可可突然就长大了。

[小樱💞｜实用工具分享 @xiaoying_eth]

微软推出了人工智能免费课程。

无需付费。

以下是7个免费微软课程，帮助你在28天内掌握人工智能：👇

[蛙蛙王子 @onlytiancai]

Web开发利器ServBay初体验 https://t.co/w1TKa9ObPS 以前本地安装了各种版本的PHP，Node.js 和 Python，现在终于清爽了。

[Vadim Yakhin @yakhinvadim]

Most news is not worth reading.

[向阳乔木 @vista8]

我去，太恐怖了🙀

[宝玉 @dotey]

一名本科生推翻了图灵奖得主姚期智延续40年的数据科学猜想，能让哈希表平均查询时间成为一个与 x 无关的常数

自从计算机诞生以来，哈希表（hash table）就被视为最基础、最常用、研究最充分的数据结构之一。它能帮我们在海量数据中快速“插入、删除、查询”——效率之高使其遍布现代应用：从数据库管理到网络路由，再到编程语言的底层实现，几乎无处不在。也正因为它的重要性，围绕哈希表的理论研究和实践优化在过去几十年里始终没有停歇。

那么，哈希表还能多快？

在1985年的一篇里程碑式论文中，图灵奖得主姚期智（Andrew Yao）提出了一个被广泛接受的判断：在特定类型的哈希表中，要想在最坏情况下（例如表里只剩下最后一个空位）进行插入或查询，所需的操作次数与哈希表的“填充度”x（接近99%、99.9%乃至更高）呈正比。换言之，当哈希表已几近装满，要寻找空位或者特定元素时，每一次都需要“多试几个位置”才行。而这一推论，40年来一直是计算机科学领域的共识之一。

这次，一个来自本科生的意外发现，却推翻了这条“铁律”。

安德鲁·克拉皮文（Andrew Krapivin）本是罗格斯大学的一名普通本科生，却在阅读一篇名为“微型指针”（Tiny Pointers）的论文时，突发奇想：如果指针可以变得更“微型”，那能否连带着重新设计哈希表本身？结果不但设计出了全新结构，速度超出预期，更挑战了业界对“最坏情况下插入和查询速度”的旧有认知。在导师和合作者的帮助下，他证明这种新型哈希表在几近满载时，寻找元素或空位的耗时仅仅和(log𝑥)²成正比，而非 x 。 这一成果直接动摇了姚期智的著名猜想。

更令人惊讶的是，他们还证明了一个“平均查询时间”上的突破。

传统的研究结论认为，满足某些性质（例如“贪心”插入）的哈希表，其平均查询时间至少要达到(log𝑥)。但克拉皮文团队给出的非贪心策略却把这个瓶颈彻底打破，甚至能让平均查询时间成为一个与 x 无关的常数。这是此前的研究几乎无人想到的可能性。

具体信息可以看 QuantaMagazine 的这篇报道《Undergraduate Upends a 40-Year-Old Data Science Conjecture》。

[Yachen Liu @Blankwonder]

现在日常吃了一堆补剂，有文献明确确认有效的有：
- 肌酸 3g
- 鱼油 1200mg (纯 EPA 96% 浓缩)
- 维生素 D，5000IU 每周1-2粒，最好根据血检结果遵医嘱补充，室内工作且在北方大概率缺乏
- 钙片（我不喝牛奶）

科学界尚未明确补充是否有效的有：
- NMN：每日 500mg
- 多维维生素
- 维生素C 200mg（我不太喜欢吃水果）
- Move Free

[LIN WEI @skywind3000]

彻底点，新项目一律用 MYSQL，除了极特殊情况，优先使用 MYSQL 这种最简单，最不容易出错，最好招聘，资料和工具最丰富的技术，因为项目成功率本来就低，前期探索又尝尝变来变去，你应该把时间花在快速迭代上，等 dau 过百万了，项目也挣大钱了，需求也稳定了，那时候你招堆人进来爱换啥换啥。

[Xiao Hanyu @xiaohanyu1988]

My post "on typesetting engines" (https://t.co/VKsx5UyBLp) has been featured by Hacker News. The traffic from Hacker News to PPResume is beyond imagination—about 6k unique visitors in 12 hours. #buildinpublic

[蛙蛙王子 @onlytiancai]

Pydantic 是一个用于数据验证和设置管理的 Python 库。它通过 Python 类型注解来定义数据模型，并提供了强大的数据验证功能。Pydantic 的主要目标是确保数据在输入和输出时的一致性和有效性。https://t.co/OkB0QajLSK

[蛙蛙王子 @onlytiancai]

那么有没有一种技术或者框架 既不用增加太多的应用成本，又兼具以SQLAlchemy为代表的ORM 框架的优势 呢？答案是肯定的，那就是我们今天介绍的主角 sqlmodel. https://t.co/X5MBOfsy5t

[蛙蛙王子 @onlytiancai]

如果你想知道Saga模式是否适合你的场景，问问你自己：你的逻辑是否涉及多个步骤，其中一些步骤跨越机器、服务、分片或数据库，对于这些步骤，部分执行是不可取的？ 事实证明，这正是sagas的用武之地。 https://t.co/SjPp2a7vkY