Grok 4 Fast现已支持200万上下文窗口 -- Grok 4 Fast now has 2M context window
xAI提供了多款AI模型，包括语言模型和图像生成模型，按百万token或每张图像计费。其中Grok 4相比Grok 3有显著差异，如仅支持推理模式、不支持某些参数等。不同模型在上下文长度、速率限制和价格上各有特点。
火狐浏览器强制引入LLM功能 -- Firefox Forcing LLM Features
Mozilla在Firefox中默认启用LLM和AI功能且未提供图形界面关闭选项，引发用户不满。这些功能导致CPU和内存占用过高，且服务条款涉及用户数据问题。用户需手动修改配置文件才能禁用，即使设置相关参数为false后仍会出现AI菜单选项。作者分享了彻底禁用这些功能的配置代码。
我是马克·扎克伯格 -- I Am Mark Zuckerberg
这篇文章介绍了一位与Facebook创始人马克·扎克伯格同名的印第安纳州破产律师马克·S·扎克伯格。他经常被误认为是科技富豪，但实际上专注于为当地人提供破产法律服务。文章以幽默口吻强调这位律师与科技界扎克伯格的区别，并突出其专业领域是帮助人们解决财务问题而非社交媒体。
Opencloud – 用Go语言编写的Nextcloud替代方案 -- Opencloud – An alternative to Nextcloud written in Go
这是OpenCloud服务器的主代码仓库，包含用Go语言编写的后端服务代码库。
"Boring公司因向检修孔倾倒钻井液被罚近50万美元" -- Boring Company fined nearly $500K after it dumped drilling fluids into manholes
马斯克的隧道公司Boring因向拉斯维加斯下水道排放钻探废液被罚款50万美元。当地水务部门称，该公司不仅拒绝停止排放，还假装配合检查后继续偷排，导致污水处理设施受损。这些含化学物质的废液已造成多名工人皮肤灼伤。
小报体：点击诱饵标题编程语言 -- Tabloid: The Clickbait Headline Programming Language
Tabloid是一种模仿点击诱饵新闻标题风格的图灵完备编程语言。它用夸张的标题式语法编写程序，如"SHOCKING DEVELOPMENT"表示条件判断，"YOU WON'T WANT TO MISS"用于输出。所有输出会自动大写并加感叹号，旨在用娱乐化的方式编写代码。该语言由微软程序员开发，已在GitHub开源。
法官驳回免除Flock录像适用《公共记录法》的请求 -- Judge denies request to exempt Flock footage from Public Records Act
法院驳回了关于Flock Safety摄像头数据应豁免于公共记录法的请求，裁定该数据不属于豁免范围。
法官裁定教育部党派性离职邮件违反第一修正案 -- Judge says Education Dept partisan out-of-office emails violated First Amendment
法官裁定美国教育部自动回复邮件中的党派内容违反宪法第一修正案。
铁甲——经过形式验证、具备实时能力的类Unix操作系统内核 -- Ironclad – formally verified, real-time capable, Unix-like OS kernel
Ironclad是一款基于SPARK和Ada语言开发的开源操作系统内核，具有形式化验证特性，支持实时任务和POSIX兼容接口。它采用GPLv3许可证，完全由自由软件构成，不含专有固件，提供强制访问控制和硬实时调度功能，适用于通用和嵌入式场景。
最大货运帆船完成首次跨大西洋航行 -- Largest cargo sailboat completes first Atlantic crossing
全球最大货运帆船完成首次跨大西洋航行，创造了历史性时刻。这标志着可持续航运技术取得重要突破。