2024-12-07

36 篇热帖

1. Every UUID Dot Com (everyuuid.com)

Every UUID V4 网站摘要

核心功能与目的

该网站名为 “Every UUID V4”,是一个在线应用。其核心功能是提供一个可搜索的 UUID v4 列表,用户可以通过滚动浏览所有生成的 UUID v4,直到找到一个“喜欢的”UUID。网站描述为:“A searchable list of every UUID v4 - scroll till you find a new favorite.”(一个包含所有 UUID v4 的可搜索列表——滚动直到找到新的最爱。)

技术实现

  • 页面结构:基于现代单页应用构建,主体内容由一个 <div id="root"></div> 承载,通过 JavaScript 动态渲染。
  • 资源加载
    • 引入了 Google Fonts 的 Lato 字体(包含 400 和 700 字重)。
    • 加载了特定的样式表 (index.7f57adad.css) 和 JavaScript 文件。
    • 采用了模块化 JavaScript 方案,同时提供了 type="module" 的现代模块脚本和带有 nomodule 属性的传统脚本,以确保不同浏览器的兼容性。
  • 搜索引擎与社交媒体优化
    • 配置了完整的 <meta> 标签,包括标题、描述。
    • 针对 Open Graph (Facebook 等) 和 Twitter Card 进行了专门优化,设置了类型、URL、标题、描述和预览图片 (opengraph-image.png),以便在分享时展示丰富信息。
  • 作者:网站由 nolen (eieio) 创建。
2. Tokyo is set to introduce a four-day workweek for government employees (www.cnn.com)
4. My second year without a job (shilin.ca)

《我失业的第二年》摘要

财务状况

  • 初始资金:两年前辞职时拥有8万美元存款。
  • 当前状态:资金已耗尽,处于失业状态。
  • 支出评估:月均支出约3300美元,与蒙特利尔平均生活成本(3750美元/月)相当,自认消费习惯合理。
  • 原定目标:计划在2025年实现100万美元收入,目前尚未达成。

工作与项目

  • 合作项目:全年与四位创始人合作开展四个项目:
    1. Guitartonic:出于兴趣构建的音乐应用,具有成就感。
    2. 金融科技产品:与Nima合作,因愿景不合而失败。
    3. Wonderbook:尝试重启旧项目,改版后流量仍持续下降,项目已停滞。
    4. Blymp:与Zane合作的项目,四月推出MVP后获得首批客户,七月起独自运营,目前月收入约600美元,是唯一产生收益的项目,计划明年继续。

居住情况

  • 合住环境:居住在蒙特利尔市中心一栋维多利亚式老宅,与其他三位创业者合租。
  • 社区价值:该合住项目旨在促进创业者间的协作与启发,定期组织桌游、聚餐和共同工作活动,对心理健康产生积极影响。
  • 住房开支:月租1250美元,占月度预算的三分之一至二分之一,为维持生活质量而未选择更廉价住处。

个人兴趣与成长

  • 音乐
    • 钢琴:六月开始学习,已掌握包括《Lumières》在内的五首曲目,视其为兼具难度与美感的作品。
    • 吉他:通过Guitartonic项目重燃热情,学会小调五声音阶即兴演奏。
  • 运动
    • 攀岩:加入训练队备战比赛,后转向户外攀岩,投入装备并开始先锋攀登。
    • 铁人三项:六月起开始训练,于九月参赛;游泳体验愉快,跑步因曾伤膝而心存顾虑,但攀岩训练增强了臀部力量,改善了膝盖状况。
  • 健康管理
    • 肠胃问题:持续两年不适,怀疑与压力或药物副作用有关。
    • 饮食调整:年末开始尝试FODMAP饮食,症状显著改善,目前正在逐步重新引入食物以识别不耐受源,该过程促使作者更多自行烹饪。

总结与展望

  • 整体感受:尽管在商业收入方面未达预期,但作者认为这是充实、充满关爱的一年,音乐、运动和友情为无薪工作提供了重要支撑。
  • 生活哲学:秉持“保留好事、剔除坏事、获取更多好事”的原则,今年并无重大不良事物需要摒弃。
  • 未来展望:期待2025年——失业的第三年,愿成为一个付出多于索取、更具耐心并与自我建立更深连接的年份。
5. Show HN: Countless.dev – A website to compare every AI model: LLMs, TTSs, STTs (countless.dev)

Countless.dev 网站摘要

网站概述 Countless.dev 是一个专注于AI模型对比的在线工具。其核心目标是为用户提供一个集中、免费的平台,以便轻松比较来自不同提供商(如OpenAI、Anthropic、Google等)的各类AI模型,特别是大语言模型(LLMs)。

核心功能 该网站提供三个主要功能模块,可通过页面顶部的导航按钮切换:

  1. 模型库:展示和浏览各种可用的AI模型。
  2. 价格计算器:提供一个综合性的工具,帮助用户根据使用需求估算不同模型的API成本。
  3. 对比功能:允许用户并排比较不同模型的特性与价格,以做出更合适的选择。

特点与价值

  • 集中化信息:将分散在各提供商的模型信息、定价和功能汇总到一处,简化了用户的调研和决策过程。
  • 免费工具:作为一个免费的Web应用程序(WebApplication)供所有人使用。
  • 实时数据:提供实时更新的定价数据,确保对比信息的准确性。
  • 广泛覆盖:涵盖多种类型的AI模型(LLMs、TTSs、STTs)及多家主流AI服务商。
6. Maps.me co-founder tries to close down Organic Maps open-source fork (github.com)

地图服务组件代码开源争议与解决

事件背景: Organic Maps项目决定公开其关键组件“元服务器”的源代码。该组件此前仅供内部团队使用,用于根据用户地理位置(通过GeoIP信息)动态重定向用户至最合适的CDN服务器,以加速地图数据下载,并支持无需应用商店审核即可动态重新配置服务器。

技术实现与问题: 元服务器基于Cloudflare Workers实现,通过返回JSON响应来路由用户。项目方认为,此技术选择可能导致对大公司技术的依赖,并承诺未来将寻求开源替代方案。此前,该组件未公开源码主要是为了防止未授权的项目分叉滥用捐赠支持的CDN资源。

近期代码仓库许可变更: 2021年,贡献者Alexandr Borsuk在MIT许可下贡献了该组件代码。但在2024年11月23日,该贡献者在未与其他贡献者讨论的情况下,移除了MIT许可证,并附加注释“No MIT yet, sorry.”,这实质上将本应开源的代码仓库私有化。随后,又启用了日志收集功能,与项目对用户隐私的承诺相悖。

Organic Maps的应对措施:

  1. 代码恢复开源:将2024年11月23日许可变更前的代码在MIT许可下重新公开。
  2. 移除私有化变更:撤销了“无MIT许可”提交及随后启用日志的提交。
  3. 更新版权声明:将版权信息更新为“Copyright 2024 Organic Maps Contributors”。
  4. 禁用日志收集:恢复为之前的配置,不再收集日志。
  5. 呼吁技术替换:公开倡议用开源方案替代Cloudflare技术。
  6. 公开致歉与透明度承诺:项目方就此事向社区道歉,并重申对隐私、透明和开源价值观的承诺,邀请社区独立审查代码。

项目方立场: Organic Maps团队强调,他们优先考虑透明度和开源协作,此事件及应对措施旨在维护项目的开源精神,并确保用户对代码的完全访问和贡献能力。

7. TikTok divestment law upheld by federal appeals court (www.cnbc.com)

2024年12月,美国哥伦比亚特区联邦上诉法院一致裁定,支持一项要求中国字节跳动公司在明年1月19日前剥离其旗下短视频应用TikTok的法律,否则该应用将在美国面临实质上的禁令。法院以国家安全为由,驳回了TikTok关于该法律违宪并侵犯美国1.7亿用户第一修正案权利的主张。

裁决要点:

  • 国家安全理由: 法院认为,该法律是为应对来自“外国对手”(指中国)的、证据充分的国家安全威胁而“精心设计”的,且其内容“针对性强”,符合宪法。
  • 驳回TikTok诉求: 裁定书指出,TikTok从未明确否认其曾按照中国政府的指示操纵内容。法院全面驳回了TikTok关于该法律违反第一修正案(言论自由)、第五修正案(平等保护)、构成非法剥夺公权法案或征收私人财产等所有宪法主张。
  • 法律后果: 如果字节跳动未能按时剥离TikTok,苹果、谷歌等应用商店以及互联网托管服务提供商将被要求停止支持TikTok,从而导致应用无法使用。

各方反应与后续行动:

  • TikTok: 表示将向美国最高法院提出上诉,寻求推翻这一裁决,并预计会申请紧急禁令以在上诉期间维持现状。该公司批评禁令基于“不准确、有缺陷和假设性的信息”,将“压制美国人的声音”。
  • 美国政府: 司法部长梅里克·加兰称,此举旨在阻止中国政府“将TikTok武器化”,以收集美国人敏感信息、秘密操纵内容并危害国家安全。
  • 公民自由团体: 美国公民自由联盟批评该裁决开创了“危险先例”,赋予政府过度权力来压制在线言论。

政治背景与不确定性:

  • 该法律于2024年4月由总统拜登签署,获得两党支持,源于国会议员对TikTok与中国政府关系的担忧。
  • 候任总统特朗普对此事的立场存在变数。他曾在第一任期试图禁止TikTok,但在与字节跳动主要投资者、共和党巨额捐助者杰夫·亚斯会面后,态度转向暧昧,曾在竞选中暗示支持TikTok。其过渡团队未明确表态是否会执行该法律。
  • 最高法院并无义务受理此案,其最终决定将直接影响该法律的执行。
8. Mise: Dev tools, env vars, task runner (github.com)

mise:开发工具、环境变量与任务运行器

核心功能

mise 是一个开发环境管理工具,其核心目标是在每次命令运行前自动准备一致的开发环境。它将项目所需的开发工具环境变量任务统一定义在一个 mise.toml 文件中,确保无论是在新终端、代码检出还是 CI 作业中,环境配置都从相同的设置开始。

主要功能包括:

  1. 工具管理:安装并切换各种开发工具(如 node, python, terraform 等),支持同时管理多个版本。
  2. 环境变量管理:按项目目录加载环境变量,支持从 .env 文件及其他来源读取。
  3. 任务运行器:定义并运行项目任务,用于构建、测试、代码检查和部署等。

快速入门

安装与配置

通过提供的脚本一键安装:

curl https://mise.run | sh

安装后需将 mise 集成到你的 Shell 中(根据使用的 Shell 类型,将相应的激活命令添加到配置文件,如 .bashrc, .zshrc 等)。

基础用法

  • 执行特定工具版本的命令
    mise exec node@26 -- node -v
    
  • 全局安装或切换工具
    mise use --global node@26 go@1
    
  • 管理环境变量(通过 mise.toml 或命令行):
    # mise.toml
    [env]
    SOME_VAR = "foo"
    
    mise set SOME_VAR=bar
    
  • 运行任务(需在 mise.toml 中定义):
    [tasks.build]
    run = "echo building..."
    
    mise run build
    

综合项目示例

mise.toml 文件可以集中管理一个项目的所有开发依赖:

[tools]
terraform = "1"
aws-cli = "2"

[env]
TF_WORKSPACE = "development"
AWS_REGION = "us-west-2"

[tasks.plan]
run = "terraform plan"

[tasks.deploy]
depends = ["plan"] # 任务依赖
run = "terraform apply"

通过 mise install 安装所有定义的工具,然后 mise run deploy 即可按顺序执行任务。

文档与支持

  • 完整文档见:mise.en.dev
  • 项目主要通过 GitHub Discussions 进行交流,分为“公告”、“功能想法”和“故障排除与错误报告”等类别,以替代传统的 GitHub Issues。

特别致谢

感谢 Namespace 为 mise 提供 CI 服务。

9. Postgres for everything (e/Postgres) (github.com)

PostgreSQL 万能应用 (e/Postgres) 项目总结

该项目旨在演示如何将 PostgreSQL 用于“一切”场景。其灵感来源于相关文章和GitHub Gist,旨在维护一个不断更新的资源列表,追踪PostgreSQL的各种新应用和工具。

核心理念

保持简单,只使用Postgres。

项目内容概览

项目内容组织为多个类别,涵盖了从基础功能到高级应用的广泛场景:

基础与通用功能

  • 定时任务:使用 pg_cronpg_timetable
  • 嵌入式Postgres:支持在浏览器、Node.js等环境运行的 PGLite,以及内存中实现的 pgmicro
  • 消息队列:包括 pgmqpg-bosspgqueuer 等基于PostgreSQL的队列实现,以及使用 SKIP LOCKED 等高级特性。
  • 分析:集成DuckDB的 pg_analyticspg_duckdb、列式存储扩展如 pg_mooncake,以及连接ClickHouse的 pg_clickhouse
  • GIS与地图postgis
  • 审计日志temporal_tablessupa_auditpgMementopgaudit
  • 访问控制与授权aclpgcryptopgjwt 等。

搜索

  • 全文搜索:BM25实现(pg_searchplpgsql_bm25)。
  • 向量搜索pgvectorVectorChordpgaipgvectorscale
  • 混合搜索:结合BM25与向量搜索的PL/pgSQL实现。

数据模型与处理

  • 时间序列TimescaleDBpg_timeseries
  • 列式存储paradedbhydracstore_fdw
  • NoSQL支持:原生JSON类型、FerretDB
  • 图数据Apache Age
  • 外部数据wrappers
  • HTTPpgsql-httppg_net

API与查询语言

  • API平台PostgRESTHasura
  • GraphQL及替代语言PostGraphilepg_graphqlgraphjinplprql

事件、复制与CDC

  • 包括 pgactivepgstreamelectricwalexpeerdbdebeziumpglogical 等用于复制、变更数据捕获和事件通知的工具。

其他实用工具

  • 缓存pogocachereadyset
  • 单元测试pgtappgtestdb
  • HTML与应用SQLpageOmnigrespg_render
  • 迁移pgrollpg-schema-diffpgschema
  • 性能调优Supabase Index AdvisorDexterPGHero 等。
  • 监控pgMonitor
  • 扩展与存储:支持Iceberg表的 pg_lake、连接池 supavisor/pgbouncer、分片工具 spqr/pgdog、存储引擎 OrioleDB
  • 用户界面BaserowNocoDBMathesar
  • 命令行客户端pgclipgweb
  • 数据可视化EvidenceMetabaseggsql
  • 包管理pgxmandbdev
  • 语言服务器postgres-language-server
  • 数据隐私与安全postgresql_anonymizer
  • 金融账本pgledger

该项目持续欢迎社区贡献,以扩展这个展示PostgreSQL多功能性的资源列表。

11. Mistakes as a new manager (terriblesoftware.org)

从个人贡献者到工程经理:常见错误与经验教训

从个人贡献者(IC)转型为经理是职业生涯的重要一步,在快速发展的科技行业尤为如此。这一转变带来了新的挑战和学习机会。作者回顾了自己初任工程经理头几年的经历,总结了多数新经理可能面临的共性问题,旨在与其他新经理建立联系并提供支持。

🤝 委派任务

最常见的陷阱是下意识地不愿委派任务。转型为经理后,许多人仍难以舍弃旧职责,不放心将曾由自己负责的工作交给团队成员。

  • 问题:常以“他们做不到和我一样好”为借口,但这阻碍了团队和自身的成长。
  • 核心:委派并非随意分派工作,而是赋能团队、建立信任,并真正履行领导者的职责。

🧠 多巴胺来源的转变

作为IC,工作的直接满足感常来自“交付新事物”。成为经理后,这种直接奖励消失,可能导致长期的空虚感。

  • 挑战:需要重新“调整”大脑,从其他方面获取成就感,例如提供反馈、看到下属成长、撰写全面的绩效评估等。
  • 角色转变:经理不再是舞台上的明星,而是协助者。虽然不再直接交付项目,但帮助整个团队交付所有项目。

🔍 重质量而非数量

新经理容易误将团队规模扩大等同于个人职业成功,认为这能体现管理能力或带来加薪。

  • 误区:追求更多的团队成员或更多的团队。
  • 真相:真正的成长源于团队产出的质量,而非成员数量。专注于提升团队水平,创建一个能激发新思路、成就卓越工作的环境。一个高效协作的小团队,往往能胜过一个不协调的大团队。

⚖️ 参与程度的平衡

在项目中投入多少精力是一个微妙的问题。介入过多是微观管理,介入过少则显得漠不关心。

  • 解决方案:采用“引导式自主”模式。设定清晰的目标和期望,然后退后一步,让团队自行决定实现方法。
  • 关键:提供指导和支持,但不剥夺团队的独立性,从而培养责任感和成长,同时确保与项目目标保持一致。

👁️ 管理他人对你的看法

作为IC,你的工作成果显而易见。作为经理,情况更复杂,需要主动管理他人对你的角色和贡献的看法。

  • 对内(团队成员):确保团队理解并认可你作为“成功助推器”的角色。你的贡献从个人成就转变为团队成功。
  • 对外(利益相关者、管理层等):主动沟通团队的成就,以及你的领导力如何促成这些成功。目的不是争功,而是让团队工作可见,并准确反映你领导力的积极影响。这需要谨慎平衡。

🌟 重新定义成功

IC常有的冒名顶替综合征,在经理(尤其是新经理)身上会达到新高度。

  • 自我质疑:常怀疑自己的工作价值。
  • 成功标准:可以简化为两个问题:
    1. 我的团队在正常交付工作吗?
    2. 他们开心吗?
  • 如果两个问题的答案都是“是”,那么你做得非常出色。

总结:每位新经理都会犯错,但每个错误都是成长的机会。成为熟练的经理需要时间和持续学习。拥抱挑战,将错误转化为管理职业生涯中的里程碑。

13. Structured Outputs with Ollama (ollama.com)

Ollama 结构化输出功能概述

Ollama 新增了结构化输出支持,允许通过 JSON 模式约束模型输出格式。该功能已集成到 Ollama 的 Python 和 JavaScript 库中。

主要应用场景

  • 从文档中解析数据
  • 从图像中提取信息
  • 结构化所有语言模型的响应
  • 相比 JSON 模式具有更高的可靠性和一致性

使用方法

  1. 安装与更新

    • 下载最新版 Ollama
    • 升级相应语言库:
      • Python: pip install -U ollama
      • JavaScript: npm i ollama
  2. 请求方式 通过 format 参数传入 JSON 模式,支持 cURL、Python 和 JavaScript 调用。

  3. 示例代码

    • cURL:通过 POST 请求传递包含模式的 JSON 数据
    • Python:使用 Pydantic 定义模式并传递 model_json_schema()
    • JavaScript:使用 Zod 定义模式并通过 zodToJsonSchema() 转换

实际应用示例

  1. 文本数据提取 从文本描述中提取宠物信息,定义包含名称、动物类型、年龄等字段的模式。

  2. 图像描述 结合视觉模型(如 llama3.2-vision)分析图像,返回包含物体、场景、颜色等结构化数据。

  3. OpenAI API 兼容性 支持通过 OpenAI 客户端库调用,使用 response_format 参数指定模式。

使用建议

  • 使用 Pydantic(Python)或 Zod(JavaScript)定义响应模式
  • 在提示中添加“return as JSON”帮助模型理解需求
  • 设置 temperature=0 以获得更确定性的输出

未来发展方向

  • 暴露 logits 以实现受控生成
  • 提升结构化输出的性能与准确性
  • 为采样过程添加 GPU 加速
  • 扩展 JSON 模式之外的格式支持
14. Tell HN: Need help, locked out of Google account with 10 years of personal data
15. An invisible desktop application that will help you pass technical interviews (github.com)

这篇文章介绍了GitHub平台的核心功能和工具,旨在支持开发者从编码到部署的完整工作流程。以下是基于提供内容的摘要:

主要功能和工具

  • AI 代码创作:包括GitHub Copilot(AI辅助编码)、GitHub Spark(构建和部署智能应用)、GitHub Models(管理和比较提示)以及MCP Registry(集成外部工具)。
  • 开发者工作流程:GitHub Actions(自动化工作流程)、GitHub Codespaces(即时开发环境)、Issues(计划和跟踪工作)和Code Review(管理代码变更)。
  • 应用程序安全:GitHub Advanced Security(查找和修复漏洞)、Code security(构建时代码安全)和Secret protection(防止泄露)。

解决方案和分类

  • 公司大小分类:适用于企业、中小型团队、初创公司和非营利组织。
  • 用例分类:包括应用现代化、DevSecOps、DevOps和CI/CD等。
  • 行业分类:涵盖医疗保健、金融服务、制造业和政府等领域。
  • 探索主题:AI、软件开发、DevOps和安全;以及类型:客户故事、活动、电子书和业务洞察。

社区和支持资源

  • 社区:GitHub Sponsors(资助开源开发者)和项目如Security Lab、Maintainer Community、Accelerator、GitHub Stars和Archive Program。
  • 支持和服务:文档、客户支持、社区论坛、信任中心和合作伙伴资源。
  • 企业解决方案:企业平台、AI驱动的开发者平台,以及附加服务如GitHub Advanced Security、Copilot for Business和高级支持。

总结

GitHub提供一个综合性的AI驱动开发者平台,专注于提升代码质量、自动化工作流程、确保安全性和支持企业级需求。平台功能覆盖从代码创作到部署的全生命周期,并通过分类和资源帮助不同规模和行业用户找到适用解决方案。

16. Fructose in diet enhances tumor growth: research (source.washu.edu)

果糖促进肿瘤生长的新机制:肝脏的“转化”作用

一项来自华盛顿大学圣路易斯分校的新研究发现,膳食中的果糖能够显著促进多种癌症(如黑色素瘤、乳腺癌和宫颈癌)的生长,但其关键机制并非肿瘤细胞直接消耗果糖,而是通过肝脏的代谢转化间接实现的。

研究背景与发现

  • 果糖消费激增:过去五十年,由于高果糖玉米糖浆在饮料和超加工食品中的广泛使用,人类的果糖摄入量大幅增加。从一个世纪前平均每人每年5-10磅,增至如今的数十磅。
  • 核心发现:研究人员在动物模型中观察到,高果糖饮食能显著加速肿瘤生长(某些情况下速率提高两倍以上),且不改变动物的体重、空腹血糖或胰岛素水平。然而,将果糖直接供给体外培养的癌细胞时,癌细胞几乎不吸收利用它。

作用机制:肝脏的“中介”角色 研究通过代谢组学分析揭示了这一过程:

  1. 肝脏转化:肝脏拥有代谢果糖所需的生化机制,能将摄入的果糖转化为多种脂质,特别是溶血磷脂酰胆碱(LPCs)
  2. 脂质供给肿瘤:LPCs等脂质会释放到血液循环中。癌细胞本身难以直接合成大量细胞膜所需的脂质,因此倾向于从环境中摄取。LPCs因其水溶性,成为癌细胞高效获取的“营养”。
  3. 促进肿瘤生长:肿瘤细胞利用这些由果糖转化而来的循环脂质作为构建细胞膜的原料,从而支持其不受控制的增殖。研究在多种癌症中均观察到了这一共同机制。

意义与展望

  • 饮食干预的潜力:该研究为通过调整饮食(减少果糖摄入)来辅助癌症管理提供了理论依据。但研究者也指出,由于高果糖玉米糖浆存在于众多日常食品中,避免摄入并非易事。
  • 新的治疗思路:研究提示了靶向健康细胞(如肝细胞)代谢的癌症治疗新策略。未来或可通过药物干预肝脏的果糖代谢通路,切断肿瘤的脂质供应,从而抑制其生长。
  • 未来研究:研究团队正与临床伙伴合作探索相关临床试验。同时,一项获得2500万美元资助的大型国际项目也已启动,旨在深入研究果糖摄入与50岁以下人群癌症发病率上升之间是否存在关联。

该研究由美国国立卫生研究院(NIH)等机构资助,成果发表于《自然》杂志。

17. The largest open-source dataset of car designs, including their aerodynamics (news.mit.edu)

摘要:

MIT工程团队公开了名为DrivAerNet++的开源数据集,这是迄今为止规模最大的汽车空气动力学开源数据集。该数据集包含超过8000种基于当今主流车型生成的汽车设计,每款设计均提供了三维模型及其在流体动力学模拟下的空气动力学性能数据。

核心要点:

  1. 数据集构成

    • 设计基础来源于奥迪和宝马提供的三种典型乘用车基线模型(快背式、阶梯背式、旅行背式)。
    • 通过系统性的形变操作,对每款基线模型的26个参数(如长度、车身底部特征、挡风玻璃坡度、轮距等)进行微调,生成数千种独特设计。
    • 运用优化算法确保生成的设计彼此不同。
  2. 数据模态与表示

    • 每种设计均以多种格式提供,包括网格、点云以及设计参数与尺寸的列表,以适配不同的AI模型。
    • 数据集包含空气动力学数据,如“表面场”和“流线”,展示了空气绕车身的流动情况。
  3. 构建与规模

    • 研究团队利用MIT超算中心进行了超过300万CPU小时的计算,并生成了39 TB的数据。
    • 最终形成了涵盖当今道路上最常见乘用车类型的、物理准确的三维汽车形态库。
  4. 目的与应用

    • 旨在填补汽车设计领域,特别是空气动力学方面高质量开源数据的空白。传统汽车设计过程封闭且迭代缓慢,而AI工具缺乏大规模训练数据。
    • 该数据集可用于快速训练生成式AI模型,使其在几秒内生成具有优化空气动力学性能的新设计,从而可能显著提升燃油效率和电动汽车续航里程。
    • AI模型也可用于逆向估算:输入一个特定设计,快速预测其空气动力学性能,无需进行昂贵的实物制造和测试。
  5. 意义与影响

    • 为下一代AI在工程领域的应用奠定了基础,有望促进高效设计流程、削减研发成本,并推动汽车工业向更可持续的未来发展。
    • 能将传统需要数年的设计验证周期缩短至几分钟内验证数百个设计。

该数据集及相关的AI应用方法将在12月的NeurIPS会议上进行介绍,由MIT、慕尼黑工业大学和BETA CAE系统公司的研究人员合作完成,并获得了部分机构的支持。

19. We all took the DVD boom era for granted (filmstories.co.uk)

DVD黄金时代回顾:一个被我们视为理所当然的创意包装与花絮盛宴

在20世纪90年代末至21世纪初,DVD的出现彻底改变了家庭影音体验。这个时期被许多影迷视为一个黄金时代,因为家庭影碟不仅画质优于模拟信号的VHS录像带,而且更轻便、制作和发行成本更低。

初期的不足与创新的包装

早期的DVD并非完美。部分影碟的转制画质欠佳(在小型CRT电视上不易察觉),某些发行版需要翻面观看,一些包装盒也容易损坏。然而,DVD最大的贡献在于开启了电影包装与呈现的新方式。

VHS时代,幕后花絮往往作为单独录像带或套装的一部分出售,内容也相对简短。DVD则带来了长达90分钟的深度制作特辑(如约翰·卡朋特的《怪形》)、删减片段预告片故事板等丰富花絮。导演评论音轨(源自LD格式)也在DVD时代得到广泛普及,成为标配。

创意巅峰与多样内容

设计师们创造了精美的动画菜单,发行商也推出了极具创意的包装,如《鬼玩人》的橡胶仿皮“死亡之书”盒装、《搏击俱乐部》附带恶评语录的小册子、《猎人》仿FBI档案的包装等。

替代剪辑版加长版也变得常见,例如《王牌播音员》丢失的素材被剪成独立电影《醒醒,罗恩·伯甘迪》。虽然一些“未分级”版是营销噱头,但也有像**《异形四部曲》套装**(包含9张碟)这样的珍藏品,收录了海量花絮和隐藏彩蛋,成为粉丝心中的传奇。

流媒体的崛起与时代的终结

DVD市场在2005年达到顶峰,随后Netflix的出现(2007年)引发了流媒体革命。随着订阅用户激增,影碟销量逐渐下滑。电影公司因此削减了在DVD花絮上的投入,曾经由大型工作室投资的精美制作特辑、附带书册和明信片的套装,如今更多成为Second Sight、Arrow等小众厂牌的专属领域。

以《异形》系列为例,2012年《普罗米修斯》附带了详尽的纪录片《狂怒之神》,但2017年《异形:契约》的花絮已不如前者深入。2024年的《异形:罗慕路斯》更是成为该系列首部没有导演评论音轨的电影,尽管包含删减片段等花絮,但深度不及从前。

总结

流媒体带来了便利与简洁,但我们难以不怀念DVD时代所展现的想象力与创造力。那个为一部电影精心制作数小时花絮、设计独特包装、挖掘隐藏彩蛋的黄金时代,确实值得我们以一份怀旧的心情去追忆。

20. Mathics 7.0 – Open-source alternative to Mathematica (github.com)

Mathics 7.0 更新摘要

核心改进与新功能

  • 新内置函数:新增了 $MaxLengthIntStringConversionElementsComplexExpandConjugateTransposeLeviCivitaTensorRealAbsRealSignRealValuedNumberQ 等函数。
  • 文档优化:修复了 PDF 文档的多个格式问题(如章节编号间距、边距),进行了大量拼写校对,并将代码文档测试和 LaTeX 生成代码进行了重构与优化。
  • 兼容性提升
    • Plot 在求值时不显示消息。
    • Range[] 现在支持负数步长。
    • 改进了对 DirectedInfinityIndeterminate 的支持。
    • 图形(GraphicsGraphics3D)中的错误图元或指令会以粉色背景显示(在 Django 界面中还会显示工具提示错误信息)。
    • 改进了 $CharacterEncoding 的支持,现在可以在会话中更改。

内部实现与优化

  • 代码重构与现代化:进行了 Python 代码现代化、增加类型注解、移除拼写错误,并升级了 SymPy 和 Python 等关键依赖版本。
  • 性能与未来准备
    • 提取并重组了部分算术函数(如 eval_abseval_sign)。
    • 明确指引内置代码,便于未来实现惰性加载或通过 GNU Emacs 自动加载。
    • 添加了 mpmath 的 LRU 缓存,为未来加速启动和减少初始内存占用做了准备工作。
    • 将内置函数加载方式改为通过显式调用 import_and_load_builtins() 函数,以支持未来的惰性加载模块。

错误修复

修复了多个已知问题,包括但不限于:

  • Definitions 现在兼容 pickle。
  • 改进了 Quantity 表达式的支持(转换、格式化、算术运算)。
  • 修复了图形背景选项失效的问题。
  • 修复了涉及字符串的数值比较、Switch[]InfinityOuter[]SparseArray 上的错误。
  • 修复了 ArrayQ[]SparseArray 的检测。
  • 修正了 DerivativeTrueFalseList[] 的求值。
  • 修复了 Exit[] 无法工作的问题。
  • BaseForm 现已被列入 $OutputForms

依赖与API变更

  • 包版本更新:现在支持 Python 3.11 和 SymPy 1.12。
  • API 变更:内置函数加载现在必须显式调用新的 import_and_load_builtins() 函数,取代了之前隐式、不确定的加载方式。
21. Ham Radio All-in-One-Cable (github.com)

Ham Radio All-in-One-Cable (AIOC) 摘要

核心功能

AIOC 是一个基于 STM32F302 的 USB-C 适配器,可将业余无线电手持设备(HT)连接至电脑。其核心功能包括:

  1. 声卡:用于 APRS 等数字模式,支持多种采样率(推荐 48000 Hz)。
  2. 虚拟串口:用于使用 CHIRP 等软件对电台进行编程,并可通过 DTR/RTS 信号控制 PTT。
  3. CM108 兼容 HID 接口(固件 ≥1.2.0):支持 Direwolf 等软件的 CM108 风格 PTT 控制。
  4. 可编程:可通过 USB DFU 引导加载程序刷写固件。

主要特性与兼容性

  • 成本低廉、易于改装
  • 外形紧凑(3D 打印外壳方案待定)。
  • 兼容 Linux、Windows、macOS。
  • 已测试软件:Direwolf、AllStarLink、APRSdroid、CHIRP、VaraFM 等。
  • 已测试电台:Wouxun UV-9D Mate、Baofeng UV-5R、BTECH 6X2、Quansheng UV-K5 等。

制造与组装

  • PCB 制造:提供 Gerber 文件,建议在 JLCPCB 进行 1.2mm 厚度的 PCB 及 SMD 贴片组装。5 片的成本约为 60 美元。
  • 手工组装:用户需自行焊接 2.5mm 和 3.5mm TRS 连接器(推荐 Monacor PG-204P/PG-203P 或 Adafruit 1800/1798)。提供 3D 打印的焊接导具辅助对准。焊接后可能存在接触不良问题,可通过重新熔锡并施加侧向力解决。

固件编程与更新

  • 初始编程
    1. 短接编程排针最外侧两脚以进入 DFU 模式。
    2. 使用 dfu-util 刷写发布的固件二进制文件。
    3. 拆除短接,重新插入 USB,设备将正常枚举。
  • 固件更新(固件 ≥1.2.0):
    • 直接运行 dfu-util 命令,设备会自动重启进入引导模式并完成刷写。
  • 注意:若设备“变砖”,请使用初始编程步骤恢复。

软件配置要点

  • Direwolf:配置音频设备为 plughw:<x>,0 (Linux) 或 x 0 (Windows),采样率 48000。PTT 可选择 CM108<port> DTR -RTS
  • AllStarLink:设备类型设为 usbradio,双工类型为 1。根据电台型号配置 usbradio.conf 文件。
  • APRSdroid:支持固定的 22050 Hz 采样率(实际约 22052 Hz,误差约 90ppm)。因 AIOC 无法通过软件控制 PTT,发送数据需依赖电台的 VOX 功能。
  • CHIRP:像使用普通编程线一样,选择对应的 COM/ttyACM 端口进行读写操作。
  • VaraFM:PTT 引脚设置为“DTR only”。

硬件版本与新增功能

  • 当前硬件版本:1.2(需配合固件 ≥1.4.0 使用)。
  • 新增功能
    • 支持外部硬件输入(如 COS)。
    • PTT/UART 触点分离焊盘。
    • 可调输入/输出音频电平(线路电平、麦克风电平)。
    • 猎狐模式(莫尔斯信标)。

已知问题

  • 电磁干扰:使用原装天线时,USB 线可能充当“老虎尾”(接地网),导致射频电流干扰 USB 连接。解决方法:在电台和 AIOC 之间的线缆上加装磁环,或降低发射功率,或使用平衡天线(如作者的 EZ-Dipole)。
22. Understanding the Odin Programming Language (odinbook.com)

《理解Odin编程语言》书籍摘要

书籍概述

《理解Odin编程语言》是一本系统教授Odin语言基础与高级概念的书籍。内容涵盖过程、手动内存管理、参数多态性、面向数据设计等多个方面。本书面向具有编程经验、希望了解低级编程的读者,旨在不仅讲解如何编写Odin代码,更深入解释语言设计背后的原因。

作者介绍

作者Karl Zylinski是独立游戏开发者与编程教育者。他是Odin语言首部商业电子游戏《CAT & ONION》的创建者,拥有天体物理学学士学位,并曾于多家知名游戏公司担任引擎与游戏程序员。

读者评价

  • Odin语言创造者Bill Hall高度推荐本书。
  • 读者Kevin D.表示,本书帮助其从Go等垃圾收集语言顺利过渡到Odin。
  • 读者Shaka称赞其写作流畅,易于阅读。

版本更新记录(近期重要版本)

版本 1.10

  • 将第8.3节的教学内容从 Small_Array 改为 [dynamic; N]T(固定容量动态数组),后者使前者弃用。
  • 更新了附录B以使用新类型。
  • 附录A中增加了关于核心库中基于句柄的映射的说明。

版本 1.9

  • 根据2026年2月 core:os 包的重大更新(“os2”),更新了相关代码示例。
  • HTML版本中的外部链接现于新标签页中打开。
  • 修正了约30处语法问题及若干技术错误。

版本 1.8

  • 对字符串章节(第11章)进行了大幅修订与扩充,内容更清晰、更实用,包括UTF-8解码、null终止、常量字符串的歧义性说明以及Windows UTF-16处理(使用新 cstring16 类型)等。
  • 对其他多个章节进行了拼写修正与技术澄清。

版本 1.7

  • 修复了失效的链接,澄清了随机数函数 rand.int_max 的范围,改进了示例代码。

版本 1.6

  • 新增第17.5节,介绍如何使用回调打破循环依赖。
  • 新增第18.6节,简要介绍更复杂的自定义构建脚本。
  • 新增第26.10节,介绍代码生成概念。
  • 多处细节澄清与拼写修正。

版本 1.5

  • 作者对全书进行了一次完整的编辑校对,进行了大量修改以使文本更清晰。
  • 主要改动包括:统一术语(如枚举的“成员”和“值”)、改进多个章节的讲解方式(如循环、自定义迭代器)、新增关于 @init@fini 等的小节、以及将动态字面量移至“需避免事项”章节。

其他信息

  • 最新版本:1.10(购买后重新下载即可获取更新)。
  • 可用格式:主要提供精美的HTML单文件版本,阅读体验最佳,也兼容移动设备。建议从 store.zylinski.seItch 购买,可同时获得HTML和电子书版本。
  • 相关资源:作者在书中和官网提供了配套视频概述及社区(如Discord服务器)支持。
23. DSPy – Programming–not prompting–LMs (dspy.ai)

DSPy 概述

DSPy 是一个 Python 框架,旨在通过结构化编程而非提示来构建可维护、模块化和可优化的 AI 系统。它允许用户将任务定义为类型化的签名,从而简化语言模型(LM)的使用。

核心组件

1. Signatures(签名)

  • 功能:以声明式方式定义任务的输入和输出,替代传统提示管理。
  • 特点:类型化、可移植、易维护和迭代。
  • 示例:定义 ExtractEvent 签名,从邮件中提取事件名称和日期;Triage 签名路由支持票证。

2. Modules(模块)

  • 功能:控制签名的执行策略,无需重写任务代码。
  • 类型
    • dspy.Predict:直接完成。
    • dspy.ChainOfThought:添加逐步推理。
    • dspy.ReAct:集成工具和推理循环。
  • 示例:使用 ReAct 模块结合搜索和计算工具回答问题。

3. Optimizers(优化器)

  • 功能:基于示例和评分函数自动调整提示,优化程序性能。
  • 过程:通过编译程序,在训练集上迭代优化直至质量收敛。
  • 示例:使用 dspy.GEPA 优化器,将 RAG 程序的 F1 分数从 0.41 提升至 0.63。

应用示例

  • 提取与分类:从邮件提取事件细节、分类支持票证。
  • 多模态处理:分析图表趋势和数据点,如季度收入图。
  • 流水线和代理:构建事实检查流水线、使用工具的代理(如计算 GDP 每人)。
  • 优化工作流:编译提取程序,提高准确率从 62% 到 89%,成本仅 $2.18。

发展与社区

  • 起源:始于 2022 年 12 月斯坦福 NLP 研究。
  • 里程碑:包括 Demonstrate-Search-Predict、STORM、BetterTogether 等研究进展。
  • 贡献:新优化器和模块类型首先在社区发布,后应用于生产系统。

生产应用

多个公司在生产环境中采用 DSPy,用于:

  • 元数据提取,成本降低约 550 倍。
  • 相关性判断、提示迁移、聊天机器人、代码修复等。
  • 案例包括 LM 评审、RAG、分类和进化自我改进代理。
25. Ask HN: What are the best programmable holiday lights?
26. OpenAI Reinforcement Fine-Tuning Research Program (openai.com)

OpenAI 强化学习微调研究计划

页面概述

该HTML页面是OpenAI强化学习微调研究计划的访问入口,但页面本身并未直接提供研究项目的详细内容。相反,它是一个技术验证页面,要求用户启用JavaScript和cookies才能继续访问。

技术结构与功能

  • 页面结构:包含一个居中的容器,显示OpenAI的SVG标志(带有动画效果)和一个数据区域。
  • 验证机制:数据区域中嵌入了Cloudflare挑战脚本,用于浏览器安全验证。该脚本动态加载,可能检测自动化访问或恶意行为。
  • 关键要求:页面明确提示“Enable JavaScript and cookies to continue”,表明必须启用这些功能才能查看实际研究项目内容。
  • 代码实现:JavaScript部分处理挑战逻辑,包括时间戳、脚本注入和iframe创建,以确保安全访问。CSS样式支持深色模式,增强用户体验。

限制与缺失内容

  • 页面未展示任何关于强化学习微调研究计划的具体信息,如项目目标、方法或参与方式。
  • 所有实质内容均被挑战系统保护,用户需通过验证后才能获取。

总结

该页面是一个技术屏障,作为访问OpenAI研究项目的前导。其核心功能是安全验证,而非内容展示,因此需要进一步交互才能获得研究计划的详细信息。

27. Biggest shell programs (github.com)

这篇文章列出了被认为是最“实质性”(而非仅按行数计算)的大型Shell程序项目。标准包括:使用数据结构和算法、非自动生成的脚本、非重复性代码,且通常超过5000行。

主要列表(按规模或重要性排列):

  1. akinomyoga/ble.sh:一个纯Bash实现的类fish交互式行编辑器,总代码约87K行(不含注释约63K行)。它非常复杂,使用了原始字节解码、状态机、绘图缓冲区等高级技术。
  2. kalua:OpenWRT附加组件,约56K行符合POSIX标准的Shell脚本。
  3. Relax-and-Recover:备份与恢复工具,约35K行(24K有效代码行)。
  4. rkhunter:Bourne shell编写的安全工具,约21K行,开发于2003-2018年。
  5. drwetter/testssl.sh:单个Bash文件,约21K行,手写完成。
  6. winetricks:在Wine下安装Windows程序的脚本,约22K行。
  7. vegardit/bash-funk:一个Bash库,总计约27K行。
  8. xwmx/nb:一个笔记应用,主程序本身约26K行Bash。
  9. dylanaraps/neofetch:显示系统信息的工具,约10K行Bash。
  10. romkatv/powerlevel10k:Zsh主题/配置框架,约12K行Zsh脚本。
  11. Simplenetes:用约17K行Shell脚本实现的Kubernetes简化版(目前已停止活跃)。
  12. distrobox:在终端内使用任何Linux发行版的脚本,超过7K行。
  13. acme.sh:用于签发和更新SSL证书的脚本,约8K行。
  14. inxi 2.3.56:系统信息工具(已过时,后被Perl版本取代),约16K行Bash。
  15. bashdb:Bash调试器,约14K行。
  16. BaCon:将BASIC程序转换为C的工具,其中有一个版本约10K行Shell脚本实现。
  17. FireHOL:用于构建防火墙的语言和程序,主脚本约9K行。
  18. gxadmin:用于管理工作流引擎的SQL查询和数据处理工具集,约11K行。
  19. mulle-bashfunctions:一个函数库,约6K行,用于更庞大的mulle-sde项目。
  20. x11docker:在Docker/Podman容器中运行GUI应用的脚本,约11.6K行。
  21. bashforth:用约3800行Shell脚本实现了一种Forth编程语言。
  22. yoda:一个更现代、功能更丰富的语言解释器/编译器,规模较小但由bashforth同一作者开发。
  23. wordshell:从命令行管理多个WordPress站点,约7K行。
  24. halcyon:一个安装Haskell应用的系统,约6.6K行,代码风格独特。
  25. bashtop:一个资源监视器,约5.3K行。
  26. abcde:一个CD抓取工具,约5.5K行。
  27. ffmpeg/configure:FFmpeg项目的手写配置脚本,约8.4K行。
  28. h264enc:使用MEncoder进行视频编码的包装脚本,约9.2K行。
  29. thc-segfault:一个主要用Bash构建的pubnix服务器,约3.3K行。
  30. ffhevcffx264:分别为使用FFmpeg进行HEVC和H.264编码的手写包装脚本,各约4K行和3.9K行。

Shell类似语言 / 领域特定语言 文章也提到了一些用Shell编写的或为Shell编写的语言和框架,例如:modernish(可移植Shell方言)、bats(测试DSL)、bashible(类似Ansible的DSL)、clash(面向对象框架)、bash Infinity(标准库和框架)。

较小的程序和资源 包括各种完成脚本(如Zsh的_git完成脚本约8.3K行)、Tomb(约3500行Zsh脚本)、Basalt(纯Bash包管理器及其生态系统),以及一些小型工具如fun/cli-clockjson.bash

背景说明 文末提及,虽然OSH项目能解析超过百万行的Shell代码,但其中大部分是小型程序和重复性较高的发行版包定义(如Alpine PKGBUILD)。最后以一段关于Shell脚本特性与风险的评论作为结束。

28. Lies I was told about collab editing, Part 1: Algorithms for offline editing (www.moment.dev)

文章总结:协同编辑中离线编辑的算法局限性

本文探讨了当前协同编辑算法(尤其是CRDTs和OT)在处理离线编辑场景时的根本缺陷。作者指出,尽管这些算法广泛宣称支持“离线编辑”,但在实践中,当用户离线编辑后重新上线合并时,直接冲突的解析结果往往不符合用户意图,甚至被用户视为数据损坏。

核心问题:

  1. 直觉冲突处理失败:算法对直接编辑冲突的解决方式不直观。例如,在一个实验中,Bob将“Color”改为“Colour”,Alice删除了所有文本。合并后文档仅剩字母“u”,这显然不是任何用户期望的结果。
  2. 离线编辑加剧冲突:离线编辑显著增加了直接冲突的可能性,使得算法的固有缺陷更频繁地暴露。
  3. 算法的根本局限:这些算法仅基于字符操作,缺乏对用户意图的理解,无法遵循因果关系,也无法与用户交互以澄清意图。因此,其合并结果实质上是基于启发式的“猜测”,在直接冲突中注定会产生不可接受的“异常”。

结论与展望: 作者认为,这并非可通过算法改进轻易修复的缺陷,而是协调自由(coordination-free)算法的根本特性。因此,离线协同编辑本质上应被视为一个UI/UX问题,而非纯粹的算法问题。算法可以在解决方案中发挥作用,但核心应转向设计更好的用户界面和交互模式(类似于Git的合并界面),以辅助用户理解和管理冲突。作者对将协同编辑视为UI/UX问题的新研究方向表示乐观,例如Ink & Switch的相关工作。

29. Deep dive into finding RSS feeds (lighthouseapp.io)

深入探查RSS订阅源的查找方法

工具简介

Lighthouse Feed Finder 工具旨在尽可能找到网站存在的RSS订阅源。虽然无法保证完美,但它综合运用了多种机制进行搜索。

标准查找方法

  1. RSS图标链接:部分网站使用标准RSS图标直接链接到订阅源,但这并非普遍做法。
  2. RSS自动发现:大多数网站会在HTML头部通过<link>标签声明RSS源元数据,格式如下:
    <link rel="alternate" type="application/rss+xml" href="订阅源URL">
    
    几乎所有阅读器都实现此标准,但部分网站虽有RSS源却未采用此方式声明。

高级查找策略

当标准方法失败时,可尝试以下高级方法:

  1. 检查其他页面的元数据

    • 检查父级URL(如https://site.com/blog/article的父页面https://site.com/bloghttps://site.com
    • 专门查找博客/新闻页面(如/blog/news),这些页面更可能包含RSS元数据
  2. 检查站点地图

    • 在sitemap.xml中查找包含xmlrssatomfeed等关键词的URL
  3. 检查网站内所有链接

    • 查找在可见内容中直接链接的RSS源(罕见情况)
  4. 猜测常见URL后缀

    • 尝试一系列常见后缀(如/feed/rss/atom.xml?format=rss等)
    • 不仅在输入URL的路径尝试,还在父页面和可能的博客路径尝试
  5. 检查第三方生成源

    • 如OpenRSS等服务可为无源网站生成RSS源

特殊情况处理

  • 主题特定订阅源:新闻网站可能为不同主题提供独立RSS源,工具会找到相关主题源但不会发现其他主题的源
  • 整站爬取:理论上可爬取整个站点查找所有源,但大规模实施不现实

技术限制

  • 请求量问题:查找过程会向目标网站发送大量请求,可能被误认为DOS攻击
  • 缓存机制:工具每小时缓存一次请求以减少影响
  • 机器人防护:强防护可能导致工具无法访问内容

补充方案与未来改进

  • 当前可基于网站HTML自动生成RSS源(易出错,依赖网站结构)
  • Lighthouse未来将增加此功能
  • 用户可通过邮件或Reddit反馈未找到已知RSS源的情况,帮助改进工具
30. Arc Prize 2024 Winners and Technical Report (arcprize.org)

Arc Prize 2024 获奖论文与技术报告

2024 年论文奖项获奖名单

一等奖(奖金 $50,000)

  • 论文标题:《Combining Induction and Transduction for Abstract Reasoning》
  • 作者:Li 等

二等奖(奖金 $20,000)

  • 论文标题:《The Surprising Effectiveness of Test-Time Training for Abstract Reasoning》
  • 作者:Akyürek 等

三等奖(奖金 $5,000)

  • 论文标题:《Searching Latent Program Spaces》
  • 作者:Bonnet & Macfarlane

荣誉奖(奖金 $2,500 每篇)

  • 《The LLM ARChitect: Solving ARC-AGI Is a Matter of Perspective》(Franzen 等)
  • 《Omni-ARC》(Barbadillo)
  • 《Mini-ARC: Solving Abstraction and Reasoning Puzzles with Small Transformer Models》(Fletcher-Hill)
  • 《Towards Efficient Neurally-Guided Program Induction for ARC-AGI》(Ouellette)
  • 《A 2D nGPT Model For ARC Prize》(Puget)

ARC Prize 2025 展望

竞赛组织者致力于将 ARC Prize 从一项实验性项目,发展为通用人工智能(AGI)领域的持久性标杆。2025 年赛事将致力于满足多元参与者的激励需求,包括学术界、独立研究人员、初创公司以及大型实验室。

随着2025年竞赛的启动,预计将推出 ARC-AGI-2——格式相同,但基准测试更为优化。更多竞赛细节将于明年年初公布。

31. Google says AI weather model masters 15-day forecast (phys.org)

谷歌旗下AI实验室DeepMind研发的GenCast模型,在15天中期天气预报上实现了前所未有的准确度与速度。与全球公认的标杆——欧洲中期天气预报中心(ECMWF)的顶级业务模型相比,GenCast在2019年1320个真实场景测试中,于97%以上的案例中展现出更优的预报技能。

该模型使用1979年至2018年共四十年的气温、风速和气压数据进行训练,能在短短八分钟内生成15天的预报,而传统模型则需要数小时。GenCast不仅在日常天气预测上表现更佳,在预测极端高温、极端低温和强风速等极端事件方面,也“持续超越”现有领先系统。

研究指出,更精准的极端天气风险预警有助于保护生命、减少财产损失。随着气候变化导致极端天气日益频发和剧烈,此类技术具有重要现实意义。ECMWF负责人称此举为“AI融入天气预报的第一步”,并表示在气候变化带来的社会压力下,任何能加速进步的新方法都极受欢迎。

不过,有专家指出,此类AI预报系统仍依赖于如ECMWF运营的现有物理预报模型。该研究成果已发表于《自然》杂志。

32. Can life emerge around a white dwarf? (www.centauri-dreams.org)

白矮星周围存在生命的可能性

近期研究表明,天体生物学的研究范围已从类日恒星扩展至红矮星甚至褐矮星,而白矮星作为恒星残骸,其周围孕育生命的潜力正受到重新评估。银河系中超过97%的恒星最终将演化为白矮星,这一普遍性使其成为天体生物学中不容忽视的研究对象。

白矮星体积微小(例如0.6倍太阳质量的白矮星半径仅约1.36个地球半径),表面引力和密度极高但光度很低。尽管白矮星在红巨星阶段可能破坏原有行星系统,但其周围的星周物质(如碎裂的小行星形成的尘埃盘)可能促进新行星的形成。研究发现,白矮星冷却后的宜居带可保持稳定长达约70亿年,轨道范围约在0.006至0.06天文单位之间。在此区域内,行星能长期处于适宜液态水存在的温度条件,为生命起源和演化提供了充足的时间窗口——这与地球上生命出现并发展出技术文明所需的时间跨度相当。

然而,当前对白矮星周围行星大气的受辐射影响机制了解尚不充分,且观测上存在挑战:白矮星亮度低、体积小,行星凌日概率仅约0.006。未来大型地面望远镜(如极大望远镜、巨型麦哲伦望远镜)和空间望远镜(如南希·格雷斯·罗曼望远镜、宜居世界望远镜)将有助于更精确地探测这类系统。

研究结论指出,白矮星在宜居期内的有效温度可为类地生命起源和光合作用提供类似地球的条件,且其宜居带在理想轨道(如0.012天文单位)下可能比太阳系的宜居带更为持久。因此,白矮星系可能是生命起源与高级演化的理想宿主。

参考文献
Whyte et al. (202X). Potential for life to exist and be detected on Earth-like planets orbiting white dwarfs. Astrophysical Journal Letters (preprint).
Fontaine, Brassard & Bergeron (2001). The Potential of White Dwarf Cosmochronology. PASP, 113, 409.
Saumon et al. (2022). Current challenges in the physics of white dwarf stars. Physics Reports, 988, 1-63.

33. Does Your Code Pass the Turkey Test? (2008) (www.moserware.com)

《土耳其测试》概述与代码国际化关键点

本文讨论了代码能否在土耳其地区正常运行的“土耳其测试”,揭示了多个因文化差异导致的常见编程错误。

主要问题与解决方案

1. 日期解析问题

  • 问题:土耳其日期格式为“日.月.年”(如 04.07.2008),直接使用 DateTime.Parse 会导致解析错误。
  • 解决:始终明确指定日期格式,使用 DateTimeFormatInfo.InvariantInfo

2. 数字解析与货币格式问题

  • 问题:土耳其使用句点分隔千位(如 4.500),导致数值被错误解析(4.500 可能被理解为 4500)。
  • 解决:明确指定数字格式和区域设置。

3. “土耳其I”问题(大小写转换异常)

  • 问题:土耳其语中,“i”大写变为“İ”(带点),而“I”小写变为“ı”(无点)。使用 String.CompareString.ToLower() 等方法进行不区分大小写的比较时会失败。
  • 解决:使用序数(Ordinal)比较或不变文化(Invariant Culture)进行字符串比较,例如 String.Equals(..., StringComparison.Ordinal)

4. 正则表达式中的数字匹配问题

  • 问题\d 可能匹配非阿拉伯数字字符。
  • 解决:显式指定字符范围 [0-9] 或使用 RegexOptions.ECMAScript 选项。

通过测试的核心建议

  1. 明确指定文化信息:在所有字符串操作、解析和正则表达式中始终指定 CultureInfo 和格式信息。
  2. 合理选择比较方式:需要语言敏感排序时使用 CurrentCulture,否则优先使用序数(Ordinal)比较。
  3. 使用代码分析工具:运行 FxCop 等工具,确保没有 CA1304CA1305 等相关警告。
  4. 进行跨文化单元测试:在“tr-TR”(土耳其)等不同文化设置下测试字符串操作。

核心结论

如果代码能在土耳其环境下正常运行,那么它很可能在全球其他地区也能稳定工作。“土耳其测试”是检验代码国际化健壮性的有效方法。

34. New Gemini model significantly outperforms others on Chatbot Arena (LMSYS) (lmarena.ai)
35. Police illegally sell restricted weapons, supplying crime (www.cbsnews.com)

美国警察非法销售受限武器并助长犯罪问题

核心现象

CBS新闻调查发现,美国全境存在警察系统性非法销售武器的严重问题。过去20年间,在全美23个州、波多黎各和华盛顿特区,至少出现50起警察非法销售武器案件。涉案人员包括警长、警探、警察局长等执法领导,他们利用职务之便获取并转卖武器,包括机枪等战争武器。

犯罪模式

  • 采购渠道:警察部门通过合法途径向酒精、烟草、枪械及爆炸物管理局申请购买受限武器(如机枪),声称用于执法需要。
  • 转卖方式:通过网络、经销商或私下交易高价出售,部分武器溢价高达十倍。
  • 武器流向:部分武器最终流入暴力罪犯、贩毒集团甚至国际军火贩手中,用于实施严重犯罪。

典型案例

  1. 爱荷华州阿代尔市:人口仅794人的小城,警察局长布拉德利·温特利用职权申请购买90挺机枪(包括每分钟可发射6000发子弹的M134加特林机枪),实则为个人牟利。温特最终被判诈骗美国政府、向执法人员撒谎和非法持有机关枪罪,判处五年监禁。

  2. 新墨西哥州走私集团:2011年,一名警察局长、市长和村庄理事被查获向墨西哥贩毒集团走私自动武器和战术装备。

  3. 多州机枪走私网络:十年后,三名警察局长、一名警长和一名前三角洲部队老兵被发现与受制裁的俄罗斯军火商合作,将机枪直接卖给犯罪贩运者。所有人均认罪。

  4. 国土安全部分析师涉案:一名美国国土安全部情报分析师被指为同谋,其案件正在审理中。

系统性漏洞

  • 监管缺失:ATF通常不会评估武器对部门是否合适,也不追踪武器最终去向。前ATF官员表示“没有审计,没有质疑”。
  • 申请审核不足:直到2023年1月,ATF才开始对所有机枪申请进行实质性审查,此前仅确认申请是否来自合法政府机构。爱荷华州过去五年从未因“适用性”拒绝过任何执法部门的机枪申请。
  • 执法阻力:ATF内部备忘录显示,其目标是“教育而非调查”,检察官通常不愿起诉此类案件。2017年备忘录警告警察购买并转卖受限武器的行为属于非法代购。
  • 数据不透明:ATF以涉及隐私为由拒绝公开过去十年向执法部门发放的武器详情,CBS新闻已就此提起诉讼。

问题规模

  • 2017-2021年间,近2.6万支枪支从美国犯罪现场追溯至政府机构、执法部门或军队,但未知有多少是丢失、被盗或被非法出售的。
  • 总务管理局监察长发现,过去15年执法部门报告“失踪”的枪支中,超过三分之二实际是被非法出售或交易,包括乌兹冲锋枪和榴弹发射器等未被追回的武器。
  • 2018年审计发现,美国移民和海关执法局有价值1亿美元的枪支弹药下落不明。

后果与风险

  • 涉案武器被用于贩毒、国际军火交易,甚至导致一名14岁男孩在高中橄榄球赛上被枪杀。
  • 犯罪网络通过社交媒体和论坛招募执法部门人员,形成非法交易链。
  • 前总统特朗普撤销了奥巴马时期限制向执法部门转移军事装备的行政命令,可能加剧武器扩散问题。

涉案结果

在CBS新闻确认的58起执法官员非法销售武器的刑事案件中,56人认罪或被定罪,仅两人在审案件中否认指控。部分涉案人员虽被定罪,但量刑较轻,且被允许保留非法所得财物。