
简介
该用户还未填写简介
擅长的技术栈
可提供的服务
暂无可提供的服务
AI是临境结构经济本文所讨论的AI,主要指以LLM为代表的生成式AI。演绎正在变得廉价。机器在数小时内完成人类数月的证明,形式化检查器以近乎绝对的准确率处理逻辑推演。AI首先攻克的,不是最“高级”的领域,而是验证器最干净的领域:手写、OCR、棋类、蛋白质结构、编程、数学。规则封闭,输出可判,错误自动暴露。可验证性越强,反馈越快,表示越可规模化,突破越早。于是问题上移。不是“如何证明”,而是“证明什
AI是临境结构经济本文所讨论的AI,主要指以LLM为代表的生成式AI。演绎正在变得廉价。机器在数小时内完成人类数月的证明,形式化检查器以近乎绝对的准确率处理逻辑推演。AI首先攻克的,不是最“高级”的领域,而是验证器最干净的领域:手写、OCR、棋类、蛋白质结构、编程、数学。规则封闭,输出可判,错误自动暴露。可验证性越强,反馈越快,表示越可规模化,突破越早。于是问题上移。不是“如何证明”,而是“证明什
http://tommwq.tech/blog/2020/11/09/192嵌套层次过深会导致代码难以理解和修改,也容易出现逻辑分支缺失,引入缺陷。导致嵌套层次过深的原因主要有两点:一是不恰当的嵌套,二是逻辑过于复杂。针对这两种情况,可以分别采用提前返回和封装的手法处理。1提前返回一些代码在使用逻辑判断、循环和异常捕获时,嵌套层次不合理,导致嵌套层次过深。这种情况通常表现为,某个分支中的代码非常简
Jetpack Compose 和即将退场的 Fragment1. 文章信息2. 介绍3. 谁杀死了 Fragment?4. 可组合函数应当放到哪里?5. 结论1文章信息原文:https://sonique6784.medium.com/jetpack-compose-and-the-fall-of-fragments-54bf9977da1a作者:Cédric F翻译:tommwq2介绍本文是关
我时常觉得,河图洛书、五行八卦,像是古人留给我们的一套源代码。黑点白点,横线断线,寥寥几个符号,竟能解释四季流转、朝代兴替,乃至个人的穷通得失。后来,深度学习兴起,神经网络动辄千亿参数,在海量数据中摸索规律。表面看来,二者判若云泥——一个简陋如儿童涂鸦,一个繁复如天书。但细想之下,它们做的其实是同一件事:把混沌的世界,压缩成可操作的规则。其实,这个道理古人早已说透,只是未用今天的语言。面对复杂事物
在长时间的压力下,参数空间中的可能结构被不断截断,留下那些能够在统计意义上生存的方向。真正决定模型能力的,不是向量维度的绝对大小,而是这个空间是否形成了一个可导航的流形。如果生命是在压力中形成方向,那么大模型的训练效果取决于环境的质量。高质量数据的意义,在于提供一致而真实的结构,使流形在统计压力下稳定收敛。真正重要的是:空间是否连通,是否平滑,是否存在从一个概念到另一个概念的低代价路径。因此,智能
单个企业很难独立构建完整的服务体系,于是平台会把不同企业连接在一起,形成一个相对稳定的合作网络。原本完整的应用逐渐被拆分为一组可以被调用的能力,例如支付接口、物流接口、订单接口或查询接口。从 App 到 Agent,再到 Agent 生态的联盟化,这条路径反映的是复杂系统在规模扩大后的自然演化。当服务数量增长到一定程度时,简单的应用模式难以维持秩序,需要新的组织结构来协调资源。对用户来说,这种变化
Agent 的逻辑控制与 LLM 推理均在用户设备(手机、PC、边缘设备)上完成,完全离线或仅使用本地资源。
不同的是,数据库事务通常面向机器优化,而Git提交天然携带人类可读的提交说明、作者信息和时间戳,使得状态变更不仅可恢复,而且可理解。大语言模型的引入带来了新的挑战。当Agent拥有了可翻阅、可编辑、可传承的记忆,当它们的每一次思考都被版本化记录,它们就不再是即时响应的工具,而是具有连续叙事和进化历史的存在。Markdown、JSON与Git的组合之所以成为选择,不仅因为技术层面的便利性,更因为它体
它作为一个有价值的探索和过渡方案,揭示了用户对易用性与能力的双重期待,但其内在的设计矛盾,让它更多时候只能扮演解决局部、临时性问题的“高效胶带”,或供技术爱好者试玩的“精致玩具”,尚难以承载起构建下一代可迁移、企业级 AI 工作流的重任。相比之下,像 MCP(模型上下文协议)这类开放标准,通过将“协议”与“运行环境”彻底解耦,展现出更清晰的架构优势。Claude Skills 的设计初衷在于弥合自








