Hacker News 中文摘要

Elixir v1.20 实现了渐进式类型系统，无需类型注解即可进行类型推断和检查，能高效发现运行时错误且误报率极低。该系统基于2022年提出的集合论类型理论，在类型推断基准测试中表现优异，通过了13个类别中的12项。新版本可自动检测死代码和已验证的程序错误，同时保持开发者的低负担。

这篇文章介绍了Cloudflare Radar提供的全球网络流量数据，包括流量总量变化、移动设备流量占比、机器人流量占比等趋势分析，以及按地理位置、国家和自治系统划分的流量分布特征。

人工智能将深刻改变人类社会，但当前发展由少数亿万富翁掌控。桑德斯主张公众应持有大型AI公司半数股份，以确保技术造福大众而非加剧不平等，避免权力过度集中带来的灾难性后果。未来AI应由民主力量主导，用于改善民生、消除贫困、应对气候危机。

苹果新款MacBook Neo市场需求旺盛，销量远超预期，公司已将产量提升一倍以满足消费者需求。

作者Andrew Gallant被诊断出患有抗NMDA受体脑炎，这是一种自身免疫性疾病，会导致大脑炎症。文章描述了他最初出现的流感样症状、心理焦虑以及随后几周加重的下颌疼痛和平衡问题等经历，表达了对这种不明原因症状的恐惧。

优步为控制成本对Claude Code等AI工具设限，将员工每月单工具使用额度设为1500美元。这一政策源于公司2026年AI预算在四个月内耗尽，反映出AI编程工具意外爆红带来的预算失控问题。相比鼓励过度使用的排行榜制度，这种限额措施更为理性务实。

ESP32-S31是一款双核RISC-V架构的多协议SoC芯片，由乐鑫科技推出，具有高性能和丰富的连接功能。该芯片支持多种无线通信协议，适用于物联网等应用场景。

Let's Encrypt计划采用Merkle树证书(MTCs)来实现后量子安全的Web PKI，在保持TLS速度与可靠性的同时增强认证安全性。随着量子计算发展，传统加密面临威胁，美国国家安全局已要求2030-2035年过渡到后量子算法。MTCs被视为实现后量子网络认证的关键方案。

Capstone是一个轻量级跨平台、多架构的反汇编框架，旨在成为安全社区二进制分析和逆向工程的终极工具。它支持多种处理器架构，提供简洁API和详细指令分解功能，包括隐式寄存器读写语义。采用纯C语言实现，提供多种编程语言绑定，兼容主流操作系统，具有线程安全、高性能和嵌入式支持等特点，适用于恶意软件分析等场景。

谷歌推出Gemma 4 12B多模态模型，专为笔记本电脑设计，兼具高效能与移动优先特性。该模型填补了轻量版E4B与高端26B MoE之间的空白，首次在中型模型中支持原生音频输入。Gemma系列下载量已突破1.5亿次，开发者已将其应用于可穿戴设备等多种场景。