Alvaro Videla

Alvaro Videla 关于分布式系统与编程的博客。

无数字的算术——大语言模型如何做数学运算

大语言模型没有手指、算盘和草稿纸，只有矩阵和向量——它们到底怎么做算术？本文通过Rune项目的系列实验，揭示了模型内部的螺旋编码机制：数字被表示为向量空间中的相位与位置坐标。作者区分了"渲染已知答案"和"真正计算"两个本质不同的问题，展示了探测、稀疏自编码器、激活修补和转向四种检查模型内部状态的方法。核心发现：模型内部可读取的变量不等于可写入的寄存器，在hidden state中直接注入修正结果的尝试未能成功；更可行的路线是从激活向量中解码出操作和操作数，再交给外部计算器。文章有大量一手实验细节和严谨的方法论讨论，信息密度极高，适合对LLM可解释性有深度兴趣的读者。

收藏71 天前

苹果神经网络引擎推理实战手册

苹果 ANE（神经网络引擎）生产级推理的实战手册，作者 Alvaro Videla 基于真实实验和工程踩坑写就。内容不是理论综述，而是从 GGUF 到 CoreML 的完整移植流程、INT8/INT4 量化权衡与静默 CPU 回退陷阱、250MB 分片硬限制下的层拆分策略、状态化 KV 缓存与 Swift 守护进程设计、MoE 专家路由方案等 12 个可实操章节，附实验索引和决策日志。适合在 Apple Silicon 设备上做 LLM 部署的工程师，信息密度高、可复用性强。

收藏78 天前

指称与诠释

核心看点：随机产生的痕迹能否真正"指称"某物？从 Putnam 的"缸中之脑"思想实验切入——蚂蚁爬出恰好像丘吉尔的轨迹，但蚂蚁没有丘吉尔的概念，所以这不构成"指称"，只是我们作为观察者在做"诠释"。同理，猴子乱敲键盘写出的文字也不指称任何东西。作者用这对概念区分点出一个哲学关键：指称需要意向性（intentionality），没有意图的随机结果不承载意义。这是一篇个人博客式的哲学笔记，短小但有观点切口，适合对语言哲学、心灵哲学或认知科学感兴趣的人作为讨论引子。

收藏1947 天前

编程语言并不是真正的语言

编程语言被称为"语言"并非偶然，但本文作者指出，这一隐喻在帮助我们理解编程的同时，也暗中限制了解题的思路。文章承接作者此前关于隐喻如何塑造问题框架的讨论，直接点出："编程语言"这个命名让我们把编程等同于人类语言交流，从而可能忽略了计算表达与语言表达之间的本质差异。虽然篇幅不长，但观点明确、有个人反思，能激发读者对编程本质的重新思考。适合对编程哲学、技术隐喻感兴趣的人点开讨论。

收藏2906 天前

生成性隐喻的力量

我们使用的隐喻决定了如何理解问题、框定问题，进而影响解决问题的方向——这是 Donald Schön「生成性隐喻」理论的核心。本文以「八卦 vs 流行病」等具体案例，展示不同隐喻如何将同一现象导向完全不同的政策思路与解决路径。作者作为独立技术博主，引述学术原作、拆解框架、提供可迁移的思考工具。一篇有真知、有人味、能启发认知重组的个人博客，值得对语言、认知科学和社会设计感兴趣的读者深读。

收藏2907 天前

一个真正的符码间互涉系统

从《坚不可摧的吉米·施密特》中一个看似普通的场景切入，思考人类如何在不同语境下解码文本含义——人们擅长感知语境变化带来的意义迁移，但机器能做到吗？这不是一篇技术教程，而是一段带着真实好奇的思辨：当"代码"遇到上下文切换，人类直觉与机器学习之间的鸿沟到底在哪里。作者用轻松的剧集例子引出严肃的符号学问题，没有结论，但抛出了一个值得反复琢磨的追问。

收藏2914 天前

编程中的读者：从翁贝托·艾柯看代码与文学

这篇文章从程序员写代码的经验出发，借用意大利学者翁贝托·艾柯（Umberto Eco）在《故事中的读者》和《悠游小说林》中提出的文学理论，探讨编程与文学创作之间的深层联系。作者追问：作为程序员，我们能从文学理论中学到什么？代码的写作是否也隐含了某种"读者"概念？这不是一篇技术教程，而是一次跨学科的思想实验，将编程实践置于人文视角下重新审视，适合对编程哲学和人文交叉领域感兴趣的读者。

收藏3023 天前

我们用以计算的隐喻

编程语言和系统设计中充满了隐喻，但很少有人深思这些隐喻如何塑造了我们的思维方式。本文借用认知语言学家 Lakoff 和 Johnson 的经典著作《我们赖以生存的隐喻》中的框架，探讨"隐喻不仅仅是修辞，它决定了我们如何理解世界"这一观点如何适用于计算领域。作者以自己的编程经验和观察为基础，指出我们在谈论代码、架构、数据流时使用的隐喻，无形中限制或拓展了我们的设计思路。一篇将语言哲学与软件工程融合的个人随笔，适合对编程思想史和认知科学交叉感兴趣的读者。

收藏3498 天前

Java ThreadLocalRandom 原理解析

作者在周末阅读高德纳《计算机程序设计艺术》随机数章节后，带着好奇心深入探索 JDK8 中 ThreadLocalRandom 类的实现原理。文章从个人学习动机出发，将经典理论（TAOCP 随机数生成算法）与 Java 工程实践相结合，适合对并发编程、JDK 源码或随机数生成感兴趣的开发者。虽然内容来自 2016 年的个人博客，技术深度扎实，有真实的一手阅读和源码分析痕迹，但标题平实、主题偏窄，讨论热度有限。

收藏3578 天前

高德纳才是最早的 Erlang 程序员

高德纳在《计算机程序设计艺术》开篇（1.1 节）提出的算法表示法，竟然与 Erlang 语言的模式匹配和消息传递语法惊人相似。作者在重读这部经典时发现了这一有趣的细节：Knuth 用类似 process 和 receive 的风格描述 GCD 算法，几乎提前二十年写出了 Erlang 代码。这不是牵强附会，而是有具体算法对照为证的编程思想谱系观察——原来函数式编程的基因早就在 TAOCP 里埋下了伏笔。一篇短小但有新发现、有具体证据、能激起程序员好奇心的小文章。

收藏3588 天前

使用 ScalaCheck 测试 Java 库

本文展示如何将 ScalaCheck 集成到 Maven 项目中，对 Java 类进行基于属性的测试（property-based testing）。作者以 Effective Java 中的 PhoneNumber 类的 equals 方法为例，验证其是否符合 Java 规范中的 equals 契约；同时测试 Netty 编解码处理器。对于熟悉 Java 但想引入更强大测试策略的开发者，这篇来自个人博客的短文提供了具体的集成步骤和实战案例，是一手经验而非搬运翻译。

收藏3673 天前

当我们谈论分布式系统时我们在谈论什么

一位分布式系统初学者分享了自己面对海量论文和书籍无从下手的真实经历，并梳理出值得优先阅读的经典文献与学习路径。文章以个人困惑切入，将分散的学术资源整合为一份有温度的入门指引，帮助后来者避免走弯路。适合对分布式系统感兴趣但不知从何入手的技术读者。

收藏3908 天前

Gossip协议从何学起

一篇从开发者真实学习视角切入 Gossip 协议（又称流行病协议）的入门文章。作者讲述本周开始研读该主题的体会，追溯了 Gossip 协议最早用于维护数百个站点间数据库一致性的历史背景，并点明其应用远不止于此，还可解决分布式系统中更多问题。文章带有个人学习笔记式的真诚语气，没有营销包装，适合对分布式系统感兴趣的读者作为快速了解这一概念的起点。内容虽偏入门介绍，但信息密度适中，提供了历史上下文而非空洞罗列。

收藏3910 天前

这位 Erlang 开发者用了一把进程字典，看看他发现了什么

一位 Erlang 开发者在博客中分享了自己使用进程字典（Process Dictionary）的个人体验。进程字典是每个 Erlang 进程内置的键值存储，可以在不严格遵循纯函数式编程的前提下，方便地在进程内暂存数据。作者语气轻松幽默（"防喷服另售"），暗示这个话题在社区存在争议，并表示更全面的讨论可以参阅其他文章。文章极短，更像一篇随手记录，没有深入技术细节或具体代码案例，但保留了真实的个人表达和社区探索感。

收藏4120 天前

Erlang记录的折叠操作

作者在开发RabbitMQ延迟交换插件时遇到真实痛点：从深度嵌套的Erlang记录中提取字段，传统模式匹配方式冗长难复用。以RabbitMQ消息投递中的#delivery记录为例，展示如何利用lists:foldl/foldr以折叠方式逐层穿透#delivery→#basic_message→#content→#'P_basic'四层嵌套，干净取出headers字段。不是空谈模式匹配的常规写法，而是结合具体工程场景给出的可组合代码思路，对处理复杂记录的Erlang开发者有直接参考价值。

收藏4129 天前

有害的 GOTO、过早优化与编程迷思——万恶之源

一场关于编程界经典争议的演讲整理：GOTO 语句是否真的有害？过早优化是万恶之源吗？作者在 Papers We Love 马德里首次会议上分享了对 Knuth 经典论文《Structured Programming with Go To Statements》的深度解读，借 Dijkstra 与 Knuth 的思想碰撞，挑战程序员群体中流传的多条"编程神话"。文章从 Alan Kay 关于"将信念误认为现实"的洞察出发，探讨我们习以为常的教条哪些经得起推敲、哪些只是盲从。有个人演讲经历、有经典论文支撑、有明确讨论入口，适合对编程思想史和工程哲学感兴趣的读者。

收藏4202 天前