大多数人工智能资料的学习内容都零零散散：一篇论文、一篇微调教程、一个花哨的智能体演示。这些碎片很难拼凑在一起。你发布了一个聊天机器人，却无法解释其损失曲线；你为智能体关联了一个函数，却说不清模型在调用它时内部的注意力机制是如何运作的。 本课程即是你的知识主干。共 20 个阶段，435 节课，涵盖四种编程语言：Python、TypeScript、Rust 和 Julia。从线性代数开始，到自主集群技术结束。每个算法都先从底层数学原理构建。反向传播、分词器、注意力机制、智能体循环。当你接触 PyTorch 时，你早已洞悉其内部运作机理。 每节课遵循相同的流程：研读问题、推导数学原理、编写代码、运行测试、保留成果。没有五分钟的短视频，没有复制粘贴式的部署，也没有手把手的低效引导。完全免费，开源，且专为在你的个人电脑上运行而设计。
每日HackerNews RSS
意大利已正式签署一份价值 13.9 亿欧元的合同，采购六架空中客车 A330 多用途加油运输机（MRTT），这标志着其国防采购策略的转变。在 2022 年最初选择波音 KC-46 但随后面临招标过程的波折后，意大利最终选择了这一欧洲方案。 此项决定不仅是机队的升级，更体现了其向“以欧洲为中心”的国防生态系统转型的战略意图。尽管意大利依然致力于履行北约承诺，但采用空中客车平台增强了其与另外 18 个正在使用 A330 MRTT 国家之间的互操作性，并将物流和培训的“重心”从美国供应商处转移。 A330 MRTT 具备关键的多任务能力，能够为意大利的 F-35 和“台风”战斗机机队提供更强的力量投送支持，并承担战略运输及人道主义援助任务。通过选择空客而非波音，意大利正在提高自身的自主性，并进一步融入欧洲工业基础。此举反映了一个更广泛的国际趋势，即 A330 MRTT 在全球市场上日益超越其美国竞争对手，巩固了其作为北约及盟国标准加油机平台的地位。
Spacelab 是一个由欧洲制造、安装在航天飞机货舱内的模块化实验室，它依靠 Mitra 125 MS——一种坚固耐用的军用级小型计算机运行。在单芯片微处理器普及之前，Mitra 125 MS 是由数百个分立式晶体管-晶体管逻辑（TTL）芯片构建而成的，其中包括 74181 算术逻辑单元（ALU）。
通过对该系统的逆向工程，可以发现其复杂的架构：它利用三块独立的电路板来实现 32 位 ALU，从而显著提升了这台 16 位计算机在乘法和浮点运算任务中的性能。该项目凸显了计算史上的一个关键时代，它源于法国旨在摆脱美国技术垄断、培养国家技术独立性的“计算计划”（Plan Calcul）。
尽管 Mitra 系统最初是欧洲的骄傲，但为了满足日益增长的性能需求，它们最终在 1991 年被改进后的 IBM AP-101SL 计算机所取代。Spacelab 计算机为前微处理器时代的硬件设计提供了一个迷人的案例研究，展示了在内存有限且电路板级线路复杂的情况下，航空航天级硬件是如何通过简单的集成电路精心组装，从而为关键的太空任务提供动力的。
在从事五年专业 PHP 开发后，作者回顾了这门语言的演变。他指出，尽管 PHP 已经发展成为一种功能强大的通用工具，但其内部依然存在一些反直觉的特性，容易导致严重的程序错误。
文中着重提出了两个主要的痛点：
1. **数组（Arrays）：** PHP 的“数组”实际上是有序的键值字典。这种灵活性导致了“抽象泄漏”：常规操作（如过滤或删除元素）会破坏索引顺序，迫使开发者必须手动使用 `array_values()` 来重置索引，以避免逻辑错误。
2. **类型属性（Typed Properties）：** 作为一门动态语言，PHP 的类型系统深受其历史包袱的掣肘。类型属性存在一种区别于 `NULL` 的“未初始化”状态；访问该状态会导致致命错误，而不是返回默认值。这使得编写防御性代码变得困难，开发者不得不频繁地混合使用 `isset()` 和 `is_null()` 等函数。
尽管存在这些怪癖，作者依然肯定了 PHP 的价值，认为其较低的开发门槛和如 Laravel 这类强大的框架，使其依然是一个实用且可行的选择。他总结道，想要在 PHP 开发中取得成功，必须深入理解其权衡之处，并学会顺应其设计思路去编写代码。
Hacker News 上关于 PHP 的讨论反映了人们对该语言的两极分化看法：一方面是其历史上的“怪癖”，另一方面是其现代化的实用性。
支持者认为，PHP 依然是快速开发和简化部署的高效工具。他们强调，PHP 结合 SQLite 可以实现轻量级的“零守护进程”（zero-daemon）应用，这与现代 Node.js 或基于 Java 的微服务架构的复杂性形成了鲜明对比。许多用户认为，现代 PHP（8.x 版本）已是一种性能卓越、稳定可靠的语言，却因其过去的名声而受到不公正的抨击。
然而，批评者指出了其持续存在的“设计陷阱”和不一致性，特别是其混合数组映射结构、宽松的类型转换，以及对未初始化属性的非直观处理。一些人认为，这些根本性的设计缺陷已深入语言骨髓，尽管有所改进，但它仍缺乏像 TypeScript 或 Kotlin 等现代语言那样结构上的优雅。
总而言之，目前的共识是：虽然 PHP 已不再是十年前那个“灾难性”的语言，但它依然是一个充满争议的选择。对于注重实用的 Web 项目而言，它是一个“枯燥但好用”的选择；而其他人则倾向于避开它，转而选择那些安全性与一致性更严谨的生态系统。
与其将大语言模型生成的代码视为需要人工审查的对象，作者认为我们应将其视为一种新型的“机器代码”。由于大语言模型的输出具有非确定性和高产出量的特点，传统的代码审查正变得不再适用。 然而，这种转变需要审慎的组织策略，而非个人的选择。为了获得真正的生产力提升，企业必须摒弃传统的开发流程（如基于工单的任务分配和人工把关机制），转而采用自主的、以智能体为驱动的流程。由于重构成本显著降低，工程严谨性的重心必须从代码本身转移到对工作内容的定义上。 作者提出，“知识单元”应转变为标准化的、版本可控的规范以及强大的自动化测试套件。在这种模式下，责任在于维护清晰的规范并验证生成代码是否符合要求，而不是手动审计每一行输出。通过重构组织流程以应对“无限”的需求供给，并优先进行规范驱动的开发，团队便能在不牺牲项目完整性的前提下，有效利用大语言模型。
这次 Hacker News 的讨论围绕在软件开发中使用人工智能的权衡展开，起因是一篇关于“为了提高开发速度而牺牲对底层系统深度理解”的文章。
主要议题包括：
* **“规范驱动”的转变**：许多参与者认为，由于人工智能可以快速生成代码，工作重心必须从编写代码转向定义严谨的高层规范和测试套件。他们建议这些规范——而非代码本身——应成为人类评审的主要“知识单元”。
* **技艺的丧失**：批评者认为，这种方法会导致“劣质代码”产生，即那种难以维护、仅凭“感觉”编写的软件，其底层架构无人能真正理解。他们警告说，当系统达到一定复杂度时，“返工”成本极高；用自动生成取代人类专业知识，可能会导致软件结构脆弱且难以修复。
* **历史的重演**：怀疑论者指出，“规范驱动开发”是一种反复出现且往往以失败告终的尝试，旨在将设计与实现解耦（类似于过去涉及 UML 或形式化 CASE 工具的运动）。
* **管理层的焦虑**：参与者对于“人工智能是让工程师更像指挥劳动力的产品经理”，还是“仅仅降低了低质量产出的门槛，从而贬低了工程技艺”存在分歧。
在1880年出版的《挣钱的艺术》（*The Art of Money Getting*）一书中，传奇演艺家P.T.巴纳姆将其一生关于财富与成功的经验提炼为20条实用准则。巴纳姆曾历经巅峰声望与破产困境，他为实现职业与个人稳定提供了永恒的建议。
其核心哲学基于四大支柱：
1. **从事适合你的职业：** 当你从事与自身天赋相符的工作时，成功会更容易。
2. **避免债务：** 债务会损害你的自由与自尊；务必量入为出。
3. **全力以赴：** 三心二意只会导致平庸。若想出类拔萃，必须在每一项任务中竭尽全力。
4. **坚守诚信：** 信誉是你最宝贵的资产；不诚实的做法或许能带来短期收益，却会摧毁长远的潜力。
巴纳姆曾有名言警示：“金钱是极好的仆人，却是可怕的主人。”通过掌握这些原则——专注于你的“专长”、消除债务、高效工作并诚实守信，你便能掌控自己的财务生活。最终，巴纳姆提倡一种有目标的生活，让一个人的工作成为其品格与真实潜力的体现。
这篇 Hacker News 的讨论聚焦于 P.T. 巴纳姆 1880 年的著作《赚钱的艺术》，引发了一场关于此类过时的“自助”建议在现代资本主义中是否依然适用的两极化争论。
核心观点分为两派：
* **支持者：** 部分读者认为，无论技术如何更迭，正直、节俭以及将工作与天赋相结合等原则都是永恒的。他们将这些格言视为超越特定经济时代的“人类”智慧。
* **怀疑者：** 许多参与者认为这些建议已经过时且具有误导性。批评者指出，现代财富往往是由系统性杠杆、剥削和资本所有权驱动的，而非仅仅依靠努力工作或“尽力而为”。一些人认为，这类书籍只是为了通过强化“美国梦”的幻觉来售书的“平庸之作”，却忽视了现代债务、企业整合和零工经济的现实。
讨论中相当一部分内容还关注了大语言模型（LLM）在软件开发中的作用、与高尚品格的人共事的重要性，以及超越单纯财富积累来定义“成功”的哲学挣扎。
美国联邦调查局（FBI）寻求“近乎实时”访问美国车牌识别系统。 The FBI Wants 'Near Real-Time' Access to US License Plate Readers
3 天前
本周新闻重点关注了隐私、安全及执法技术领域的重大进展。主要更新包括《移除法案》（Take It Down Act）的颁布，该法案旨在帮助受害者移除未经同意的私密照片；此外，针对数据经纪商操纵性退订流程的打击力度也在加大。同时，美国联邦贸易委员会（FTC）就无效的“主动监听”广告技术与多家营销公司达成和解。 在监控领域，争议不断：尽管一些立法者试图限制该技术的使用，联邦调查局（FBI）仍寻求数百万美元资金，以获取全国范围内的实时车牌识别（ALPR）数据。在网络安全方面，GitHub 遭遇了 TeamPCP 组织的攻击；谷歌则意外泄露了一个尚未修复的重大 Chromium 漏洞，该漏洞允许攻击者劫持浏览器进行持续监控或开展僵尸网络活动。 其他值得关注的新闻还包括：针对一名前警官为美国移民及海关执法局（ICE）提供枪支训练的调查，一名警察与麦迪逊广场花园之间的法律纠纷，以及欧洲国家寻求“无美国参与”的技术替代方案。此外，特朗普政府与硅谷之间的纠葛持续影响着全球科技政策。
本文概述了在 Vim 中配置 Lisp 开发环境的方法，主要介绍了两款主流插件：**Slimv** 和 **Vlime**。这两款插件均采用了与 Emacs 的 SLIME 类似的客户端-服务器架构，通过连接至 Swank 服务器，为 Vim 提供交互式 REPL、基于 Paredit 的结构化编辑、调试以及宏展开等功能。
**核心对比点：**
* **安装：** Slimv 遵循标准的 Vim 目录结构，安装过程比 Vlime 更简便（Vlime 需要手动配置运行时路径）。
* **要求：** Slimv 要求 Vim 支持 Python，而 Vlime 则无此要求。
* **功能：** Slimv 的 REPL 交互性更强，并支持 Common Lisp、Scheme 和 Clojure。Vlime 仅限于 Common Lisp，且采用独立窗口显示信息，对部分用户而言可能不够便捷。
* **Paredit 集成：** Slimv 内置了 Paredit，其集成度比 Vlime 更顺畅。
作者推荐使用 **Slimv**，因为它更为成熟，支持的语言更广泛，且用户体验更直观。不过，也建议读者亲自尝试两者，以确定哪一个更契合自己的工作流。文中还提供了针对不同 Lisp 实现（如 SBCL、CLISP、ECL）的详细设置指南及故障排除建议。
**z386** 是一款基于 FPGA 的 CPU，旨在通过恢复的微代码而非传统的 RTL 仿真器来复刻英特尔 80386 架构。z386 在 z8086 项目成功的基础上构建，既是一项教育性的重构工程，也是一款功能齐全的处理器，能够运行真实的保护模式 DOS 软件，包括 DOS/4GW 扩展程序以及《毁灭战士》（Doom）等游戏。
在架构上，z386 模仿了 80386 的“协作单元”结构——包含预取单元、解码器、微代码定序器以及分段/分页单元——而非现代的 RISC 流水线。它融合了针对 FPGA 优化的捷径，例如 16KB VIPT（虚拟索引，物理标记）L1 缓存和基于 DSP 的乘法运算，从而实现了高性能（约 70–85MHz）。
该项目成功架起了硬件考古与现代应用之间的桥梁，提供了高保真的 386 使用体验。尽管其 CPI（每指令周期数）高于 ao486 等现代实现，但它在历史准确性和可用系统性能之间取得了独特的平衡。通过针对 BIOS、DOS 扩展程序和单步模糊测试的严格测试，该项目持续演进，成为重构定义现代 x86 时代架构过程中的一个重要里程碑。
本摘要探讨了将 Rendezvous Hashing (HRW) 作为 Elixir 分布式键映射的一种无状态函数式替代方案，以取代 `ExHashRing`。 虽然 `ExHashRing` 是业界公认的标准，但它需要管理有状态的受监督进程。相比之下，HRW 提供了一种更简单的纯函数式方法，通过计算键在各节点上的权重来确定归属。 其中的权衡在于性能复杂度。基础的 HRW 实现复杂度为 $O(n)$，即与节点数量呈线性关系，随着集群规模扩大，速度可能会变慢。然而，作者引入了一种“骨架（skeleton）”优化，实现了 $O(\log n)$ 的性能，使其速度达到与 `ExHashRing` 相近的水平，且无需维护有状态进程。 基准测试表明，HRW 提供了出色的分布效果，在节点数量较多时，其表现往往优于可能需要增加虚拟节点配置才能维持性能的 `ExHashRing`。作者已在 Hex 上发布了 `hrw` 库，支持基础、骨架、加权和有界策略，为分布式 Elixir 应用提供了一种灵活且轻量级的替代方案。