Hasty Briefs - 每日科技新闻摘要

双语

GitHub's new dashboard experience now the default
18 days ago
- 新仪表板现已成为所有用户的默认视图。
- 重新设计的仪表板有助于专注于重要工作，并简化下一步行动。
- 在一个地方查看活动代理会话、问题和拉取请求，并带有筛选器和每个列表最多12个项目。
- 单独的“动态”标签用于更新，使动态与生产力仪表板区分开来。
- 直接从仪表板开始工作，例如，将问题分配给Copilot代理或通过Copilot聊天打开PR。
- 用户可以随时使用下拉菜单切换回之前的体验。
- 欢迎在社区讨论中提供反馈。
U.S. may have overthrown Venezuela due to chat with Grok
18 days ago
- 特朗普花了数小时询问埃隆·马斯克的AI聊天机器人Grok，关于委内瑞拉人对抓捕尼古拉斯·马杜罗的反应，随后下令执行了在1月抓获这位领导人的任务。
- 该行动最初取得成功，但比预期更为混乱；马杜罗目前被美国拘留，面临毒品指控，而委内瑞拉尚未举行自由选举。
- 特朗普对人工智能的痴迷日益加深，包括在Truth Social上发布AI生成的图像，其中一些具有种族主义色彩，同时他抵制加强政府监管的呼吁。
- 特朗普推出了America.gov，这是一个由人工智能驱动的门户网站，旨在简化获取政府服务的流程，例如求职、医疗保险注册和护照续签。
Why should I have to pay more for buses if I don't use a smartphone?
18 days ago
- 文章强调了需要统一的方法来解决智能手机技术对课堂内外儿童的负面影响。
- 在苏格兰，22岁以下的人使用实体国家权益卡可免费乘坐公交车，避免了对智能手机的依赖。
- 更便宜的公交卡选项常常隐藏在智能手机应用后面，惩罚了没有兼容设备的用户。
- 作者使用非标准手机操作系统来避免Android和iOS的始终在线模式，导致每年多花264英镑购买公交卡。
- 生活成本危机使得公共交通的获取依赖于特定的手机软件变得不可接受。
- 其他公司，如超市，也将忠诚计划限制为仅限应用程序访问，扩大了数字鸿沟。
Homo Promptus
19 days ago
- 人工智能逐渐自动化了编码、电子邮件管理和办公室工作等任务，最初得到了接受。
- 人工智能扩展到创意领域（写作、艺术、音乐、视频）引发不安，因为失去了个人创意表达渠道。
- 说话者最终没有任何可以创造的活动，依赖人工智能提供建议和决策。
- 这种在休闲和选择上对人工智能的依赖标志着从智人到提示人的转变。
- 这段文字反映了对过度依赖人工智能导致人类能动性和创造力减弱的批评。
LLaMA Now Goes Faster on CPUs
19 days ago
- Justine 为 llamafile 编写了84个新的矩阵乘法内核，将 CPU 上的提示评估速度比 llama.cpp 提升了30%到500%。
- 这些内核针对 ARMv8.2（树莓派5）、Intel Alderlake 和 AVX512（Zen4）CPU 进行了优化，对于L2缓存中的矩阵，实现了比MKL快2倍的速度。
- Llamafile 使用 Cosmopolitan Libc 将 llama.cpp 打包成一个单文件跨平台二进制文件，可在六种操作系统上运行。
- 对于少于1000个token的提示，性能提升最为显著，因此这些内核仍在改进中。
- 新的内核专注于 q8_0、f16、q4_1、q4_0 和 f32 数据类型；随着这些改进，量化可能成为瓶颈。
- 基准测试显示，在树莓派5、Intel i9-14900K、Mac Studio M2 Ultra 和 AMD Threadripper 7995WX 上有显著的加速。
- 一个实际例子：通过 shell 脚本使用 TinyLLaMA 作为垃圾邮件过滤器，在 RPI5 上秒级运行，在 Intel 上毫秒级运行。
- 技术方法包括外循环展开和向量化外积，在 Alderlake i9-14900K 上实现高达 810 gigaflops。
- 内核是用 C++ 实现的，采用自定义线程模型，与 llama.cpp 的自旋锁屏障无缝集成。
- 这些改进已在 MIT 许可下上游贡献给 llama.cpp。
Mass Layoffs at Red Hat Not Limited to This Week or to Oct First
18 days ago
- Red Hat 的大规模裁员不仅限于本周或10月1日，而是一个持续进行的过程。
- IBM 对人力资源的控制导致裁员持续进行，员工陆续收到辞退通知。
- 许多受影响的员工被转移到 IBM，但可能面临绩效改进计划（PIP）或重组行动（RA）。
- 媒体的沉默和漠不关心值得注意，Red Hat 裁员10%却未引起显著媒体报道。
The STT-LLM-TTS voice stack is dead
19 days ago
- 作者在未找到现有解决方案后，构建了call4me——一款代表用户拨打电话的托管语音助手。
- 该系统通过使用GPT-Live实现直接语音到语音转换，避免了传统的级联式STT-LLM-TTS架构，从而降低延迟并保留语调信息。
- 拨号前，智能体会收集所有必要信息（个人资料字段及每次通话需求），以避免通话过程中出现意外。
- 一个“后台”文本模型负责处理决策和工具（如按键操作、向用户提问等），而语音模型则专注于对话本身。
- 系统包含处理电话菜单（键盘输入、国际电话的音频提示音）的机制，并能从死胡同中恢复。
- 该系统运行在Cloudflare上，借助Workers、Durable Objects以及Telnyx实现电话功能。由于GPT-Live和电话线路均使用G.711 μ-law编码，音频路径无需转码，因此非常简单。
- 关键经验：避免音频转码、将语音与决策分离、验证模型行为，以及在拨号前收集所有信息。
An Update on Orion for Linux and Windows
19 days ago
- Kagi 将结束 Orion 在 Linux 和 Windows 上的开发，并将两者开源以供社区继续维护。
- 规模较小的 Orion 团队将专注于 macOS 和 iOS 版的 Orion，以改进这些版本。
- Orion 是独立构建的，没有分叉 Chromium，强调了多种浏览器引擎的必要性。
- Linux 测试版将运行至 2026 年 10 月 2 日，但 Kagi 不再提供进一步更新。
- Kagi 不会发布 Windows 版本；源代码将提供给社区。
- Kagi 正在寻找开源基金会或个人来管理 Linux 和 Windows 项目。
- 建议当前用户不要将 Linux 测试版作为主要浏览器，因为支持有限。
Introducing Pyronaut
19 days ago
- Pyronaut 是一个基于 GraalVM 和 Micronaut 构建的高性能 Python 应用平台，提供 AOT 编译、构建时验证和源代码处理。
- 它使 Python 服务能够在 JVM 生态系统中运行，具有可扩展、低延迟的性能，吞吐量比 FastAPI 快 2.6 倍，比 Flask 快 6.5 倍。
- Pyronaut 将 Python 的 asyncio 直接与 Netty 事件循环集成，支持 async/await、流式处理（SSE、websockets）以及 Java 响应式库（如 Reactor）。
- 它包含 Micronaut Data，支持构建时 SQL 查询计算、编译时验证，以及 JDBC、R2DBC、Hibernate、MongoDB 和 Azure Cosmos DB 等数据库。
- 该平台将 Python AST 与 Java 编译器融合，使 Micronaut 的功能（序列化、OpenAPI、Kafka 监听器、MCP 工具）在 Python 中可用，并进行构建时处理。
- Pyronaut 提供友好的 CLI，包含开发、测试和部署命令，支持 JVM 和 GraalVM Crema 以实现优化执行。
- 应用程序可以使用 Docker 进行容器化，支持峰值吞吐量（JVM）或更快的启动速度（Crema 原生基础镜像）。
- 它允许同时使用 Python 和 Java 库，并通过 Testcontainers 实现基于 Docker 的自动测试资源，简化全栈开发。
- 性能基准测试显示，Pyronaut 以低延迟维持 35,351 RPS，并旨在通过未来取消 GIL 来接近 Java 级别的性能。
- Pyronaut 支持在单个虚拟机上运行整个堆栈（例如 Python、React SPA），还支持直接运行 Java 代码，利用 Micronaut 的功能。
- 该项目专注于通过构建时验证实现早期错误检测，既有利于人类开发者，也有利于 AI 编码代理。
- 未来的发展包括静态类型检查器、直接编译为 JVM 字节码、改进的原生库支持以及取消 GIL 以提高吞吐量。
- Pyronaut 在 Commonhaus 基金会下开源，并提供大量文档和入门指南。
Change Coupling: Why One-Line Fixes Touch Ten Files
21 days ago
- 变更耦合是决策者理解系统结构的感知工具，而非需要优化的质量指标。
- 不良的变更耦合会增加认知负荷，并因需要在多个不相关文件中进行修改而拖慢开发进度。
- 存在多种类型的耦合（物理、逻辑、时间、数据、控制、变更），并非所有耦合都是有害的。
- 变更耦合通过变更历史而非静态代码分析来检测，从而揭示隐藏的依赖关系。
- 变更耦合矩阵有助于分析代码：将虽分布在不同位置但常共同变更的代码进行整合；将虽位于同一位置却不常共同变更的代码进行拆分。
- 常见错误包括依赖事件驱动架构或微服务等银弹方案，却未解决根本的变更耦合问题。
- 变更耦合会带来隐性成本，例如认知负荷、协调开销，并可能导致业务关键代码僵化。
- 可行步骤包括：识别机会、协调并规划变更、定期进行评审以持续管理变更耦合。
So You Think You Could Be an Electrician?
19 days ago
- 尽管学费不断上涨，大学毕业生在整个职业生涯中的收入仍远高于没有学位的人，而公立州内学费的有效净价格相对较低且呈下降趋势。
- 技工职业存在重大的身体风险，包括高受伤率、慢性残疾以及因坠落、触电或其他工作特定危险导致的死亡，而这些风险往往被白领工作者低估。
- 高薪、工会化的技工工作竞争非常激烈，需要培训、认证和人脉，这使得它们并不像普遍说法那样容易进入，且内部存在类似白领职业的地位等级。
- 人工智能和自动化可能通过绕过灵巧性要求并简化复杂任务来减少对技工领域人力劳动的需求，从而使技工职业可能无法完全免受技术替代的影响。
- 选择从事技工职业应基于个人适应性、对体力劳动的偏好以及对风险和回报的现实评估，而不是基于简化的道德故事或对必然成功的假设。
Canada, EU plan to link next-gen payment systems, easing transactions
19 days ago
- Canada and the European Union plan to connect next-generation payment systems to enable faster, lower-cost cross-border transactions and support business and investment.
- The partnership, called the “Alliance for the Future,” aims to reduce reliance on U.S.-dominated payment systems, which are seen as a risk due to U.S. unpredictability under President Trump.
- Prime Minister Mark Carney stresses the need for strategic autonomy in payments, critical minerals, AI, and other sectors, and will host EU officials in Montreal to define a new relationship.
- The draft joint statement also covers cooperation on purchasing 50 water bombers, adding subsea cables, completing a Digital Trade Agreement, and collaborating on critical minerals, LNG exports, and the Galileo space program.
- Additional commitments include negotiations for Canada to join the Erasmus+ education program and agreements between competition watchdogs to address anti-competitive conduct.
1 in 4 new California homes is in someone's backyard
19 days ago
- 2025年，ADU占加州所有新建住宅的四分之一，获批41,846套，而独立住宅为43,083套。
- 州优先法剥夺了城市拒绝ADU的权力，要求在没有听证会的情况下在60天内批准或拒绝。
- 从2018年到2025年，加州城市发放了约21.3万份ADU许可证，但仅完成了约10.8万套，部分许可证用于合法化现有车库改造。
- ADU建设蓬勃发展，因为房主直接获得经济利益，无需开发商或细分地块。
- SB 9法案允许地块分割或建双拼住宅，但实施起来复杂得多：洛杉矶第一年仅批准了211份申请中的38份，而同期ADU批准了7,160套。
- 作者选择扩建而非建造ADU，原因是独立公用设施沟渠和后退限制导致的更高成本和风险。
- 花了大约10年26项法案才堵住城市漏洞，例如自住要求、主观设计规则和影响费。
- 州法律禁止城市要求车库改造提供替代停车位；萨克拉门托一项研究发现，超过75%的家庭保留了足够的非路边停车位。
- ADU代表了对地方禁止填充式住宅的成功规避，YIMBY组织进一步推动州优先法。
Dirty Optimization Secrets (C for Playdate)
19 days ago
- Playdate CPU 很快，但内存访问较慢；优化寄存器操作，避免频繁的内存加载。
- 指令缓存很小（Rev A 为 4KB，Rev B 为 16KB）；使用 -Os 并压缩核心代码以适应，将罕见操作放在别处。
- 使用自定义链接脚本和节属性来连续放置核心代码并控制对齐，以提高缓存效率。
- 使用 nm 检查符号，以查看代码大小和地址，确保缓存适应和对齐。
- DTCM（紧耦合内存）更快；使用栈分配数据或自定义低栈池用于频繁访问的变量。
- ITCM 允许将代码复制到 TCM 以更快执行；使用特殊宏和链接符号，但需谨慎处理 Thumb 位和调用。
- 性能可能因缓存未对齐和分支预测表冲突而随机变化；将代码对齐到 32 字节并使用 ALIGN(1024) 技巧。
- 预取可能有助于间接访问，但结果不确定；使用高精度计时器测量。

Hasty Briefsbeta

GitHub's new dashboard experience now the default

U.S. may have overthrown Venezuela due to chat with Grok

Why should I have to pay more for buses if I don't use a smartphone?

Homo Promptus

LLaMA Now Goes Faster on CPUs

Mass Layoffs at Red Hat Not Limited to This Week or to Oct First

The STT-LLM-TTS voice stack is dead

An Update on Orion for Linux and Windows

Introducing Pyronaut

Change Coupling: Why One-Line Fixes Touch Ten Files

So You Think You Could Be an Electrician?

Canada, EU plan to link next-gen payment systems, easing transactions

1 in 4 new California homes is in someone's backyard

Dirty Optimization Secrets (C for Playdate)