用户定制了一款单手机械键盘,带有轨迹球,以帮助在交通事故中失去右手功能的女儿。该设计使用了QMK固件,并参考了“何同学”和HTXStudio开源项目(在GitHub & Gitee上可用)。
该项目提供了构建三种键盘变体的详细资源——左手和右手版本,以及更小的控制板,包括PCB设计(通过JLCPCB)、VIA配置文件、固件、3D模型和元件数据表。主要元件包括STM32G431CBU6微控制器、25mm PTFE轨迹球,以及Alps或常见机械开关的选择。
文档详细介绍了组装过程,包括阻尼材料(Poron、硅胶垫)、螺丝类型和接线说明(使用FPC连接器)。开发者强调在组装过程中进行彻底的测试,特别是轨迹球和滚轮功能,并提供了固件刷写指导。这是他们的第一个开源项目,欢迎反馈。
## 规范驱动开发:倒退一步?
规范驱动开发 (SDD) 试图将结构化文档——类似于瀑布模型——带到人工智能辅助编码时代。虽然旨在指导 Copilot 或 Claude 等编码代理,但它依赖于在编写代码*之前*生成大量的 Markdown 规范(需求、设计、任务)。然而,这种方法面临着显著的缺点。
SDD 常常导致文档过于冗长,人工智能缺乏上下文理解,并且由于需要审查规范*和*生成的代码,审查时间翻倍。它可能会产生“虚假的安全性”,因为代理并不总是遵守规范。此外,它最适用于新项目,并且难以处理现有的复杂代码库。
作者提倡一种更**自然语言开发**的方法——回归迭代的敏捷原则。这包括将复杂任务分解为简单的、可测试的增量,直接指示编码代理,并逐步构建。这种方法受精益创业的启发,优先考虑适应性,并避免了大量前期计划的官僚负担。最终,SDD 感觉像是试图*移除*开发者,而不是*赋能*他们使用这些新工具。
## 结构化正则表达式:一种新的文本处理方法
本文探讨了**结构化正则表达式**,这是Rob Pike提出的一种概念,旨在克服传统正则表达式在处理复杂文本结构时的局限性。与标准正则表达式不同,结构化表达式允许将较小、易于管理的表达式组合成管道,以将文本分解为有意义的块——避免了笨拙的单个表达式解决方案。
核心思想是串联运算符(`x`、`y`、`g`、`v`)用于匹配和过滤,然后是动作(`p`、`a`、`i`、`c`、`d`)来操作匹配的文本。这使得诸如分割文本、提取特定数据,甚至直接在表达式中编辑内容之类的逻辑成为可能。
作者展示了一个名为**structex**的Rust crate,它提供了一个通用的引擎来构建自定义文本处理工具。示例演示了structex如何优雅地从结构化文本(如姓名和语言)中提取数据并执行编辑(如交换“Emacs”和“Vim”)。
虽然提供了灵活性,但作者承认性能改进以及潜在的应用(如基于structex的`awk`)是未来的挑战。最终,结构化正则表达式提供了一种强大但非常规的文本操作方法,为我们与文本数据交互和处理的方式提供了不同的视角。
## 编程语言设计:概要
设计一种编程语言是一个迭代过程,涉及四个阶段:定义语境(受众、目的)、绘制示例、形式化语法与语义,以及原型设计。成功需要掌握编程范式(命令式、函数式等)、语言概念(类型、作用域、并发),并熟悉现有语言(Python、Lisp、Java等)。
关键设计决策包括选择语法(花括号、缩进等)、定义运算符及其优先级,以及建立静态(编译时)与动态(运行时)规则。一种语言的结构由其*抽象语法*定义,并通过*具体语法*实现——程序员实际编写的代码。像Ohm Editor这样的工具对于原型设计和测试语法至关重要。
形式化定义将语法(结构)与语义(含义)分离,通常用散文处理复杂的规则,而不是在语法本身中。学习现有的语言定义并考虑可学习性原则,对这个过程有益。
本课程通过构建五个示例语言——Astro、Bella、Carlos、Dax和Ekko——来探索语言设计,这些语言的复杂性逐渐增加,最终使用Ohm等工具实现实际编译器。最终,成功的语言设计需要在表达力、易用性和对底层原理的清晰理解之间取得平衡。
## ucs-detect: Unicode 终端兼容性测试
`ucs-detect` 是一个 Python 工具,旨在自动评估终端模拟器的 Unicode 支持,特别是针对宽字符、表情符号序列(ZWJ & VS-16)以及零宽度/组合字符在各种语言中的表现。它通过查询终端的光标位置,并将结果与 `wcwidth` 库规范进行比较来实现。
安装很简单,使用 `pip install -U ucs-detect` 即可。用户可以使用类似 `ucs-detect --save-yaml=data/my-terminal.yaml` 的命令运行详细测试并将结果保存为 YAML 文件。超过 20 个终端的广泛测试结果已公开可用 ([https://ucs-detect.readthedocs.io/results.html](https://ucs-detect.readthedocs.io/results.html) & [https://www.jeffquast.com/post/state-of-terminal-emulation-2025/](https://www.jeffquast.com/post/state-of-terminal-emulation-2025/))。
该工具解决了终端和库之间 Unicode 实现不一致的问题,并利用《世界人权宣言》(UDHR)数据集进行多语言测试。用户可以通过 pull request 贡献更新,并可以使用 `--stop-at-error` 标志进行交互式调试。
`ucs-detect` 有助于识别 Unicode 渲染中的差异,确保更好的兼容性和在不同语言中准确显示文本。
## HipKittens:释放AMD GPU的AI潜力
William Hu 等人团队推出了 HipKittens,这是一系列编程原语,旨在最大限度地提高 AMD GPU 在 AI 工作负载中的性能。虽然 AMD 的 MI355X GPU 提供了具有竞争力的硬件,但其潜力受到缺乏成熟的软件优化所阻碍。
HipKittens 通过关注三个关键领域来解决这个问题:**内存访问**、**处理器内调度**和**处理器间(芯片let)调度**。它利用优化的寄存器平铺、8 波和 4 波内核模式(避免 NVIDIA 的波特化方法)以及跨 AMD 芯片let 架构的缓存感知调度。
解决了 AMD 和 NVIDIA 硬件之间的关键差异——AMD 拥有更大的寄存器文件,但缺乏异步矩阵乘法和寄存器重新分配等功能。HipKittens 通过提供显式的寄存器控制和新颖的调度模式来弥补。该框架使用平铺作为基本数据结构,并提供类似于 PyTorch 的函数来操作这些平铺,直接封装汇编代码以提高效率。
基准测试表明,HipKittens 在 GEMM 和注意力机制上实现了最先进的性能,通常可以匹配或超过 NVIDIA 的性能,展示了优化 AMD GPU 利用率在 AI 方面的潜力。代码和研究论文已公开提供,旨在促进更加多样化和开放的 AI 硬件格局。
## 第四次转折:驾驭危机时代
基于斯特劳斯-豪威世代理论的分析认为,美国目前正处于“第四次转折”的深度之中——一个大约80年的周期,最终导致剧烈的危机和社会动荡。自1997年以来便被预测,这个周期始于2008年金融危机,揭示了体制中的深刻缺陷以及对既定体系信任的日益丧失。
作者认为,对2008年等危机的应对仅仅掩盖了潜在的问题,导致债务不断增加、贫富差距扩大和社会规范的瓦解。这不仅仅是一个政治时刻,而是一次全面的体制崩溃,受到技术进步的推动——监控、人工智能以及潜在的集中式数字货币——这些技术强化了控制并侵蚀了个人自由。
从地缘政治角度来看,美国主导的世界秩序正在瓦解,俄罗斯和中国的崛起形成了一个强大的对抗力量。这种转变,加上内部的分裂,预示着美国可能的分裂,从区域自治到彻底解体,甚至可能爆发毁灭性的全球冲突。
作者强调准备工作——财务多元化(包括黄金和比特币)、技能建设(粮食生产、医学知识)以及社区建设——以及精神韧性。最终,驾驭这次“第四次转折”需要认识到其周期性本质,并积极塑造未来,而不是被动地等待它,并在2035年左右有可能迎来复兴。
牛排与奶昔店(Steak ‘n Shake)将于12月1日起改用A2牛奶,理由是其更容易消化,并可能缓解酪蛋白A1不耐受者。A2牛奶来自仅产生A2型蛋白质的奶牛,且不含生长激素。这一改变与越来越多的研究结果相符,研究表明与同时含有A1和A2蛋白的传统牛奶相比,A2牛奶可以减少消化不适。
这家快餐连锁店也在采用传统的烹饪方法,确认他们的薯条是用100%的牛肉油炸的——这一举措得到了美国卫生部长罗伯特·F·肯尼迪的赞赏,他提倡回归使用牛肉油而不是植物油。牛排与奶昔店之前已经完全取消了薯条中的植物油。尽管美国心脏协会建议限制饱和脂肪的摄入量,但该公司的决定反映了更广泛的趋势,即优先考虑感知到的健康益处和传统食材。目前,牛排与奶昔店在美国24个州运营着近400家门店,低于鼎盛时期的600家。
自八月特朗普-普京峰会以来,美国主导的乌克兰和平努力在很大程度上失败了,袭击事件不断升级,制裁也在增加。俄罗斯认为美国没有认真促使乌克兰做出领土让步——这是结束冲突的关键因素——并表示仍然愿意谈判,但前提是谈判能够重启。
克里姆林宫表示,潜在的特朗普-普京会晤至关重要,并提及此前在阿拉斯加达成的“谅解”作为进展的基础。然而,俄罗斯警告说,只要乌克兰“谈判之门”仍然关闭,它将继续其军事行动。
尽管乌克兰总统泽连斯基不断呼吁西方提供支持并要求对战争罪进行审判,但俄罗斯正在顿巴斯地区取得进展。克里姆林宫暗示,任何重新的和平进程都取决于华盛顿遵守阿拉斯加协议,暗示美国方面缺乏承诺。最终,俄罗斯预计将加强其战场地位,随着时间的推移,可能会降低妥协的动力。
AI笔记初创公司Fireflies,最近估值10亿美元,揭示了一个令人惊讶的手工起源故事。联合创始人Sam Udotong 承认,早期的“AI”转录服务实际上是由他和联合创始人秘密加入会议,以“Fireflies.ai的Fred”的身份手动记录笔记提供的。
最初收取100美元/月费用,这使他们能够资助开发并支付租金,同时表面上提供AI解决方案。虽然有些人称赞这是一种创业精神,但这种做法也引发了争议。批评者指出,未经邀请参加会议可能导致隐私侵犯和潜在的法律问题。
这一消息在网上引发了争论,人们对信任和透明度表示担忧。尽管遭到反弹,Udotong 将其描述为建立公司的必要步骤,一些人也为“先假装成功,再努力实现”的方法辩护。Fireflies的声誉受到的长期影响还有待观察。
## 类人机器人进展与自动化前景
近期报告显示,特斯拉和 Sanctuary AI 在类人机器人领域都取得了进展。特斯拉已开始限量生产 Optimus,并计划明年扩大规模。与此同时,高盛分析师与工业级类人机器人开发者 Sanctuary AI 会面,并对更广泛的自动化格局提供了见解。
来自 Sanctuary AI 的关键要点表明,重点在于改进数据/人工智能学习和手部灵巧性——特别是利用液压技术来实现力量和触觉反馈。有趣的是,他们认为并非所有类人机器人*都需要*双足行走,认为安全性、有效载荷和功耗是至关重要的设计考虑因素。
最重要的是,Sanctuary AI 预计**汽车和工业领域将率先广泛采用类人机器人**,这得益于现有的自动化基础设施以及对速度、准确性和可靠性的关注。虽然小规模部署正在进行中,但广泛的行业规模化仍然**需要 2-3 年的时间**,可能导致大量工作岗位流失。Sanctuary 计划将大部分制造业务外包,但将保留关键部件(如机器人手)的内部生产。
反堕胎活动家乔安娜·豪的筹款活动在南澳大利亚引发了法律审查。豪发起了一场“宾果式”筹款活动,支持者可以“购买”预计会在关于晚期堕胎限制的议会辩论中使用的词语或短语(如“孕妇”或“虚假信息”),价格从1到70美元不等。其想法是讽刺性地从使用这些术语的政客那里获得资金。
该计划迅速受到绿党议员罗伯特·西姆斯批评,他质疑其是否符合彩票和筹款法律。南澳大利亚州总检察长凯亚姆·马赫尔现在已将此事提交给消费者和商业事务部门进行调查。
这场争议发生在激烈的辩论期间,最终导致限制晚期堕胎的法案被否决。豪此前因涉嫌恐吓行为(她否认)而被禁止进入议会区域,她一直致力于限制堕胎途径的活动。
## 餐饮业面临逆风
高盛分析师参加餐厅金融与发展会议(RFDC)后报告了一个令人担忧的趋势:餐厅的经营环境正在恶化,尤其对低收入和中等收入消费者影响较大。与会者一致指出,消费者正在转向在家用餐,Aldi和Trader Joe's等杂货店以及便利店正在从快餐和快休闲连锁店那里抢占市场份额。
与此同时,餐饮业越来越关注人工智能(AI),以应对不断上涨的成本并提高效率。普遍的共识并非完全自动化,而是一种混合模式,即AI协助人工进行任务,例如劳动力安排、库存和得来速点餐。
这些发现表明,关键人群的财务压力正在增加,这可能会影响政治格局,因为可负担性将成为一个中心议题。该报告强调了“两种消费者世界”并描绘了餐饮业未来面临的严峻前景。
## Raycore.jl:高性能光线-三角形求交引擎
Raycore.jl 是一个新推出的 Julia 库,专为快速的光线-三角形求交计算而设计,利用边界体积层次结构 (BVH) 在 CPU 和 GPU 上实现加速。它旨在为 Makie 可视化生态系统提供一个逼真的光线追踪后端,同时也设计成一个通用的工具,可应用于光传输、热传递和声学模拟等领域。
Raycore 利用 Julia 的优势——与 C/C++ 相当的性能、通过 KernelAbstractions.jl 提供的优秀 GPU 支持以及灵活的多分派系统——提供了一种高级且可扩展的光线追踪方法。尽管存在初始编译时间和 GPU 代码复杂性等挑战,但持续的开发旨在缓解这些问题。
主要特性包括快速的 BVH 构建/遍历、CPU/GPU 兼容性、分析工具以及随场景尺寸增加的强大性能扩展性。交互式教程引导用户从基本概念到高级 GPU 优化。未来的开发重点是完整的 Makie 后端、探索替代加速结构以及进一步的性能改进。
Raycore.jl 欢迎社区贡献,为那些寻求推进高性能光线追踪的人士提供了一个易于访问的代码库。