2025-08-30

32 篇热帖

1. Cognitive load is what matters (github.com)

🧠 Cognitive load is what matters. Contribute to zakirullin/cognitive-load development by creating an account on GitHub.

5. FBI cyber cop: Salt Typhoon pwned 'nearly every American' (www.theregister.com)

: Plus millions of other people across 80+ countries

8. AI models need a virtual machine (blog.sigplan.org)

问题背景与核心主张

随着AI模型能力的增强和扩展机制(如MCP协议)的发展,调用模型的控制软件日益复杂,需要提供安全、隔离、可扩展和可移植等操作系统级服务。作者认为,应将AI模型嵌入软件的控制层标准化为一个虚拟机,其中调用大模型(LLM)可视为一条强大的“机器指令”。这种设计能解耦模型开发与集成逻辑,使任何模型都能“即插即用”到包含工具、安全控制和内存抽象的软件生态系统中。

AI虚拟机的类比与功能

以Java虚拟机(JVM)为类比,其通过内存安全、访问控制和字节码验证等设计保证了安全性与跨平台运行。类似地,AI模型虚拟机(MVM) 应作为模型与外部世界之间的中介层,其核心功能包括:

  • 对模型进行认证、加载、初始化和卸载。
  • 管理工具的认证、加载与调用。
  • 解析模型输出和工具结果。
  • 维护上下文、历史记录和用户交互。
  • 执行标准的控制流(如条件判断)。 所有这些操作都应在受约束的、类型化的上下文中执行,以确保规范性。

现有工作基础

现有技术为AI虚拟机规范提供了基础:

  • 结构化工具调用:如OpenAI的JSON函数调用API和插件系统,通过OpenAPI规范简化了集成。
  • 开放协议:Anthropic提出的模型上下文协议(MCP),作为连接AI助手与外部数据/工具的通用接口,正被快速采用。
  • 安全编排器:微软的FIDES通过信息流策略强制执行数据机密性控制;AC4A则采用操作系统式的访问控制模型,对资源实施最小权限管理。
  • 开源运行时:LangChain、Semantic Kernel等提供了通用运行时服务;微软的AI控制器接口(AICI/llguidance) 则将轻量级VM集成到模型服务管道中,支持对生成过程进行细粒度脚本控制。 此外,模型训练数据需反映VM接口规范,以实现模型与接口的协同进化。

主要好处

一个明确定义的AI模型虚拟机规范将带来以下关键优势:

  1. 关注点分离:模型逻辑与集成逻辑分离,使模型可互换,虚拟机实现可在不改变模型的情况下进行优化。
  2. 内置安全与治理:通过强制所有外部访问经过标准化接口,便于实施权限检查、审计日志和故障保护,实现设计安全。可要求某些调用必须经用户确认,建立共享信任基础。
  3. 透明的性能与资源跟踪:运行时诊断报告可提供模型性能、资源消耗和数据访问级别信息,支持跨模型和平台的基准测试。
  4. 输出可验证性:可集成形式化方法(如零知识证明)来验证模型输出完整性,为AI系统带来更高信任度。

结论与展望

来自科技公司、初创企业和学术界的发展共同推动了AI模型虚拟机规范的需求。其目标是降低复杂性、实现互操作性,从而提升AI系统的可移植性、安全性和可靠性。本文旨在强调这些问题并呼吁社区就规范制定达成共识。

11. You Have to Feel It (mitchellh.com)

总结:你必须感觉到它

核心观点

本文强调在工作中,感觉是不可或缺的一部分。完成任务、满足需求和交付演示只是表面工作,真正的成功在于工作是否能引发积极的情感体验。

关键细节

  • 感觉作为需求:人与工作的每次互动都会产生情绪(如沮丧、喜悦、信心),这些感觉应被视为需求的一部分,而不仅仅是规格或指标。
  • 感觉的重要性:当功能使用时让人微笑、感觉自然融入,并激发再次使用和分享的欲望时,才说明工作真正成功。
  • 指标与演示的局限:传统的检查清单、规格和演示无法捕捉这种情感体验;它们忽略了使用者日常体验中的感觉维度。
  • 实践与体验:要真正理解工作的价值,必须通过实际使用和沉浸在工作来感受,而不是仅停留在纸面上完成任务。

结论

工作必须引发情感共鸣,开发者或创造者需要亲身体验并感受到这种效果,才能确保工作真正有意义。

13. LandChad, a site dedicated to turning internet peasants into Internet Landlords (landchad.net)

LandChad.net 总结

LandChad.net 是一个致力于将互联网用户从“农民”转变为“互联网地主”的网站,通过指导普通人建立个人网站、电子邮件服务器、聊天服务器等服务,帮助他们拥有自主的网络平台。网站强调,启动一个网站只需一个下午和极少成本,旨在解决互联网的许多问题,鼓励更多人建立个人数字基础设施。

主要功能与内容

  • 启动网站:提供快速、低成本的网站创建指南,让用户轻松拥有自己的在线空间。
  • 构建平台:主题“打造你自己的平台!”鼓励用户自托管服务、社交媒体等,增强个人控制权。
  • 设置电子邮件服务器:专门指导如何配置和管理个人电子邮件服务器。
  • 维护服务器:包含一系列教程和文章,帮助用户掌握服务器管理和GNU/Linux系统管理,具体链接包括:
    • Certbot on Standalone Domains and Subdomains:用于SSL证书管理。
    • Cronjobs:自动化任务调度。
    • Gemini:一种简约的HTTP替代协议。
    • Log on with SSH Keys:使用SSH密钥进行安全登录。
    • Maintaining a Server:服务器维护综合指南。
    • OpenAlias:开放别名系统。
    • Page Quality:网页质量优化。
    • Requiring Passwords for Webpages (HTTP Authentication):网页密码认证。
    • Rsync: Upload and Sync Files and Websites:文件同步和上传工具。
    • Self hosting:自托管服务指南。
    • Server-Side Scripting with CGI:服务器端脚本编程。
    • SSH - Advanced Usage:SSH高级用法。
    • Using UFW as a Firewall:使用UFW作为防火墙。

支持方式

网站接受加密货币捐赠以支持运营:

  • BTC: bc1q9f3tmkhnxj8gduytdktlcw8yrnx3g028nzzsc5
  • XMR: 84RXmrsE7ffCe1ADprxLMHRpmyhZuWYScDR4YghE8pFRFSyLtiZFYwD6EPijVzD3aZiEpg57MfHEr1pGJNPXyJgENMnWrSh
15. Hardening Firefox – a checklist for improved browser privacy (andrewmarder.net)

A checklist for configuring Mozilla Firefox for a more private browsing experience.

16. TPDE-LLVM: Faster LLVM -O0 Back-End (discourse.llvm.org)

5 years ago, @nikic wrote:

I can’t say a 10% improvement is making LLVM fast again, we would need a 10x improvement for it to deserve that label.

We recently open-sourced TPDE and our fast LLVM baseline back-end (TPD…

17. Condor's Cuzco RISC-V Core at Hot Chips 2025 (chipsandcheese.com)

Condor Cuzco RISC-V核心概述

Condor Computing(Andes Technology的子公司)在Hot Chips 2025上展示了其高性能RISC-V核心Cuzco。该核心旨在与SiFive P870、Veyron V1等顶级RISC-V设计竞争,定位远高于当前已量产的RISC-V核心。

核心架构与设计目标

  • 基本规格:8宽乱序执行设计,256项重排序缓冲区(ROB)。在台积电5纳米工艺上,目标频率为2GHz(SS)至2.5GHz(TT)。流水线深度为12级,误预测惩罚约为10个周期。
  • 可配置性:作为授权IP,Cuzco高度可配置,包括执行切片数量、L2 TLB容量、总线宽度以及L2/L3缓存大小。核心可聚簇,每集群最多8个核心,通过CHI总线与外部系统互连。

前端与分支预测

  • 分支预测:采用先进的TAGE-SC-L预测器。基础TAGE组件包含一个16K项的双峰计数器表。预测器还结合了统计校正器(SC)和循环预测器(L),以提高准确度。
  • 分支目标缓冲:8K项分支目标缓冲区(BTB)。返回地址预测使用32项返回栈。
  • 指令缓存:64KB、8路组相联L1指令缓存,配合64项全相联TLB加速地址翻译。前端每周期最多解码8条指令。

革命性的“时间调度”后端

Cuzco设计的核心创新在于其重命名/分配阶段,引入了时间资源矩阵来实现静态调度预测,简化了后端调度器的复杂性并降低功耗。

  • 工作原理:在指令重命名的同时,预测其操作数就绪时间和执行时间。通过维护一个256周期前瞻的TRM,查找未来8个周期内可用的执行资源,并为指令分配一个精确的执行时间槽。后端调度器只需等待指定的周期数即可发射指令,无需动态检查数据依赖性。
  • 优势:此方法将传统动态调度所需的复杂、高功耗的调度器结构简化为简单的定时器。尽管限制搜索窗口(8周期)相比“完美调度”会带来少量性能损失,但实现可行性高。
  • 变量延迟处理:对于延迟不确定的指令(如缓存未命中),采用指令重放机制。预测错误的结果会被标记为“毒化”,依赖该结果的指令将重新执行。虽然重放会消耗额外资源(约每千条指令70次),但被视为可接受的权衡。

执行单元与缓存子系统

  • 执行单元:由多个执行切片组成,每个切片包含一对执行流水线和独立的执行队列(XEQ)。切片数量可配置以扩展性能。单个切片每周期最多发射2个微操作。
  • 矢量支持:支持256/512位矢量长度(VLEN),通过多微操作实现。原生执行单元宽度为64位。每个切片包含一个浮点融合乘加(FMA)单元,峰值FP32吞吐量为每周期16次浮点运算。
  • 加载/存储单元:包含64项加载队列、64项存储队列和64项数据缓存未命中队列。支持每周期64字节的加载带宽。
  • 缓存层次
    • L1D:物理索引、物理地址(PIPT),配合64项全相联TLB。
    • L2:核心私有、统一缓存,容量可配置(示例:2MB占用1.04mm²)。
    • L3:集群内8个核心共享,分片设计(每片64B/周期带宽),分片数与核心数匹配。通过交叉开关连接。
    • 系统接口:通过CHI总线以64B/周期的带宽连接至片上网络(NoC)。

总结

Condor的Cuzco核心是一款高性能、高度可配置的RISC-V处理器IP。其主要创新在于通过时间资源矩阵在重命名阶段预测指令调度,从而简化后端、优化能效,同时利用指令重放来处理动态行为。这种深入微架构内部的优化对软件透明,确保了与RISC-V生态系统的完全兼容,旨在为下一代高性能计算提供强大的核心设计选择。

18. Income Equality in Nordic Countries: Myths, Facts, and Lessons (www.aeaweb.org)

Income Equality in the Nordic Countries: Myths, Facts, and Lessons by Magne Mogstad, Kjell G. Salvanes and Gaute Torsvik. Published in volume 63, issue 3, pages 791-839 of Journal of Economic Literature, September 2025, Abstract: Policymakers, public commentators, and researchers often cite the Nord...

19. The share of Americans having regular sex keeps dropping (ifstudies.org)

Americans are having a record low amount of sex, especially young adults.

20. SQLite's documentation about its durability properties is unclear (www.agwa.name)

Is SQLite durable by default? What settings guarantee durability? The documentation and even comments from its creator give conflicting answers.

21. Offline-First Landscape – 2025 (marcoapp.io)

When we set out to build Marco, we knew we were committing to two very difficult requirements: IMAP-based (not API-based), and cross-platform. We drastically underestimated the complexity of offline-first.

22. Bcachefs Goes to "Externally Maintained" (lwn.net)

Linus Torvalds has quietly changed the maintainer status of bcachefs to 'externally maintained' [...]

23. Is it possible to allow sideloading and keep users safe? (shkspr.mobi)

In which I attempt to be pragmatic. Are you allowed to run whatever computer program you want on the hardware you own? This is a question where freedom, practicality, and reality all collide into a mess. Google has recently announced that Android users will only be able to install apps which have been digitally signed by developers who have registered their name and other legal details with…

24. Writing a Hypervisor in 1k Lines (seiya.me)

Writing a Hypervisor in 1,000 Lines

25. The Theoretical Limitations of Embedding-Based Retrieval (arxiv.org)

Abstract page for arXiv paper 2508.21038: On the Theoretical Limitations of Embedding-Based Retrieval

26. How did .agakhan, .ismaili and .imamat get their own TLDs? (data.iana.org)

根据所提供的材料,这是一个截至2026年5月28日的顶级域名(TLD)列表,其中包含了数千个TLD,涵盖了通用顶级域名(gTLD)、国家和地区代码顶级域名(ccTLD)以及国际化域名(IDN,以“XN--”开头的条目)。

材料本身并未直接说明.agakhan.ismaili.imamat这三个顶级域名具体的申请和获批过程细节。然而,从列表内容可以推断出以下信息:

  1. 域名的存在性:列表中明确列出了AGAKHANISMAILIIMAMAT,证实了这三个作为独立顶级域名的存在。
  2. 申请机制:这些域名是通过互联网名称与数字地址分配机构(ICANN)的新通用顶级域名(New gTLD)项目申请获得的。该项目允许符合条件的实体申请并运营新的顶级域名。
  3. 可能的申请主体与目的:这些域名与阿迦汗发展网络(AKDN)及伊斯玛仪派社区密切相关。列表中同时出现了AKDN(阿迦汗发展网络的缩写),这强烈暗示这些顶级域名很可能是由阿迦汗发展网络或其相关组织申请,旨在为其全球社区、项目或信仰身份提供专属的、可识别的互联网空间。
  4. 申请条件:一般而言,申请新顶级域名需要证明申请者对相关字符串拥有合法权利(如商标权)、具备稳定运营的技术和财务能力,并提交详细的申请和运营计划。对于.agakhan.ismaili.imamat,其申请很可能基于其全球公认的社区、组织或信仰名称的专有性。

综上所述,所提供的材料确认了这三个顶级域名的官方地位,并将其置于一个庞大且多样化的全球顶级域名体系中。虽然没有记载具体的申请故事,但其存在本身是ICANN新gTLD项目下,允许特定社区或组织获取其标识性顶级域名这一机制的成果。

27. SynthID – A tool to watermark and identify content generated through AI (deepmind.google)

SynthID is a tool to watermark and identify AI-generated content, helping to foster transparency and trust in generative AI.

28. Data engineering and software engineering are converging (clickhouse.com)

Learn the 8 design principals behind MooseStack - an open source developer toolkit for building TypeScript or Python apps on ClickHouse and open-source data infrastructure.

29. With AI Boom, Dell's Datacenter Biz Is Finally Bigger Than Its PC Biz (www.nextplatform.com)

Every OEM in the world has two choices. Choice One: Sell the Nvidia AI hardware and software stack and boost the top line while diluting operating income

30. De minimis exemption ends (www.washingtonpost.com)

Small businesses and shippers are in flux as they scramble to set up systems to conform with the new guidelines. 

31. A blog does not need “analytics” (www.thisdaysportion.com)

博客不需要“分析”

博客内容主张,博客并不需要使用分析工具(如访问统计或数据追踪)来运营或优化。文章以邮件地址 mail@thisdaysportion.com 作为联系信息,并以链接“This day’s portion.”和句子“That’s all there is, there isn’t any more. FON.”结尾,强调博客内容的简洁性,表明这就是全部内容,无需更多补充或分析。