## 基于阳光的自动深色模式 网站越来越多地提供深色模式，一项引人注目的增强功能是根据用户的位置和一天中的时间自动启用它。这涉及到确定本地日出和日落时间，以调整主题以达到最佳的观看舒适度。 位置可以通过地理位置API（在用户许可下）或后端API（如geolocation-db.com）获取。`SunCalc` NPM包然后根据纬度、经度和日期计算日出、日落、黎明和黄昏时间。通过将当前时间与这些太阳事件进行比较，网站可以动态地在亮色和深色主题之间切换——甚至可以结合“黄昏”模式，利用黄金时段的时间。 然而，开发者必须考虑到极地地区等边缘情况，在这些地区太阳可能不会每天升起或落下，并且始终优先考虑用户偏好。用户可能有可访问性需求（例如散光，在这种情况下，浅色背景上的深色文本更可取），应该通过CSS `@media (prefers-color-scheme: dark)` 或 JavaScript 的 `window.matchMedia('(prefers-color-scheme: dark)')` 来尊重。最终，自动设置应该补充而不是取代手动深色模式切换。

## 2025年全球工作时长：差异巨大 Visual Capitalist 的一项最新分析，基于 World Population Review 的数据，揭示了全球工作时长存在显著差异，并预测了2025年的平均值。全球平均工作时长为每周38.7小时，而各国工作时长从每周不到26小时到超过54小时不等。 不丹以每周平均54.5小时居首，其次是苏丹和莱索托。许多南亚和东南亚国家——包括阿联酋、巴基斯坦和印度——也显示出较长的工时，这通常与劳动密集型产业和社会保障体系不完善有关。 相反，荷兰、挪威和丹麦等西欧和北欧国家报告的工时最短，平均低于30小时，这得益于高生产力和强大的劳动保护。美国的工时约为36.1小时，低于全球平均水平，但高于许多其他发达国家。这些数据突显了经济发展与工作生活平衡之间的明显相关性，发展中经济体通常由于经济需要而需要更长的工作时间。

## 柏林雄心勃勃的气候计划：树木 vs. 交通 柏林参议院最近通过了《气候适应法》，强制到2040年种植56万棵树——这是在一次成功的公民倡议之后，城市气候运动取得的胜利。《树木+法案》要求在街道沿线每15米种植一棵树，尤其是在容易受热的地区，目标是拥有总共一百万棵城市树木。 然而，该计划的范围超出了植树造林。该法案还要求城市指定170个“热点地区”进行重新设计，优先考虑行人、自行车骑行者和公共交通，而非汽车，通过拆除铺装、创建自行车道和减少停车位来实现。还将建立1000个“降温岛”，以缓解热浪。 虽然受到气候活动家的欢迎，但该法案因其对通勤者和企业的影响而受到批评，可能会导致更少的停车位和对汽车用户的压力增加。人们也对该项目的财政可行性表示担忧，考虑到柏林现有的预算赤字和对联邦资金的依赖，一些人将其称为脱离经济现实的“政治乌托邦”。

## 小网络，大成果：重塑二进制加法 最近的AI研究集中于大型神经网络，但令人惊讶的是，为特定任务设计的*小型*网络（<1000个参数）也能产生有效解决方案。这项探索训练了一个微型网络来执行8位二进制加法，包括处理溢出。 最初使用了更大的网络，但即使大幅减少到仅422个参数（3层：12、10、8个神经元）后，它仍然表现出色。 关键在于一个专为二进制逻辑设计的自定义激活函数（“Ameo”），并结合后续层中的tanh函数。分析表明，该网络并没有学习传统的数字加法器电路。相反，它巧妙地在其第一层实现了一个数模转换器（DAC），将二进制输入转换为模拟信号。然后，这些信号被映射到类似正弦波的模式，反映了计数过程中二进制数字的周期性切换。 后续层完善了这些信号，使其“饱和”以达到目标-1/1输出。这种方法表明神经网络可以发现意想不到的、高效的解决方案——在这种情况下，模仿模拟信号处理来执行数字任务。 这引发了关于通过更智能的架构大幅减少当前大型模型尺寸的潜力的问题，尽管作者也承认了“苦涩的教训”中强调的关于规模和蛮力方法的挑战。 该项目突出了梯度下降从随机性中持续发现非凡模式的力量。

启用 JavaScript 和 Cookie 以继续。

您的请求已被阻止，原因是网络策略。请登录或在此处创建帐户以恢复浏览。如果您正在运行脚本或应用程序，请在此处注册或使用您的开发者凭据登录。此外，请确保您的User-Agent不为空，并且是独特且具有描述性的，然后重试。如果您正在提供替代的User-Agent字符串，请尝试改回默认设置，因为这有时会导致阻止。您可以在此处阅读Reddit的服务条款。如果您认为我们错误地阻止了您，或者想要讨论更轻松地获取所需数据的方式，请在此处提交工单。联系我们时，请提供您的Reddit帐户以及以下代码：4b573463-9aac-4251-ad8a-73e00631f765。

## OpenAI 的 GPT OSS 120B 现已在 Cerebras 上可用 OpenAI 首个开放权重的推理模型 GPT OSS 120B 现已在 Cerebras 上可用，提供显著的性能提升。该 1200 亿参数模型在编码、数学和健康查询等任务的准确性方面可与 OpenAI 的 o4-mini 相媲美，但速度更快。 在 Cerebras 推理云上，OSS 120B 可达到高达每秒 3,000 个 token 的速度——比领先的 GPU 云快 15 倍，将推理任务的完成时间从分钟缩短到秒。Artificial Analysis 的独立测试证实，Cerebras 提供了最佳的速度和延迟，首次 token 响应时间低于一秒，并且具有一流的准确性。 Cerebras 的定价为每百万输入 token 0.25 美元，每百万输出 token 0.69 美元，提供具有竞争力的性价比优势，与中位 GPU 云相比，每美元提供的 token 数量多 8.4 倍。GPT OSS 120B 可通过 Cerebras Cloud、HuggingFace、OpenRouter 和 Vercel 访问。

拉里猫已成为唐宁街10号备受喜爱且长久存在的象征，他经历了六位首相，并且自19世纪初以来一直是居住时间最长的猫。2011年，拉里被收养以解决鼠患问题，这只虎斑猫——官方被称为“首席捕鼠官”——很快以其悠闲的态度和频繁的出场赢得了公众的喜爱，甚至连巴拉克·奥巴马和弗拉基米尔·泽连斯基等世界领导人都被他迷住。 尽管偶尔受到批评（有人称他“太胖太懒”），拉里仍然享有广泛的声誉，拥有大量的社交媒体粉丝，并收到来自世界各地的粉丝邮件。他以迎接客人、“检查安保”和策略性地小睡而闻名，经常在门口附近打盹——这让园丁非常头疼。 在动荡的政治时期，拉里的稳定提供了一种受欢迎的常数，他的外交手腕也颇具传奇色彩，尽管并非所有人都喜欢他（据报道，特蕾莎·梅不喜欢他！）。一部新的第四频道纪录片将探讨英国对这位身居特殊政治地位的动物的迷恋。

``` v0.2.0 - 2025年11月 依赖类型。SMT验证。原生有限状态机。基于BEAM。一种强类型、依赖类型编程语言，为经过实战检验的BEAM虚拟机带来数学上的正确性保证。构建验证比便利性更重要的系统。现在包含12个完全编译的标准库模块和全面的文档。 ```

启用 JavaScript 和 Cookie 以继续。

arXivLabs是一个框架，允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都接受并拥护我们的开放、社群、卓越和用户数据隐私等价值观。arXiv致力于这些价值观，并且只与秉持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法？了解更多关于arXivLabs的信息。

## 友好的属性：一种用于简洁数据定义的 Ruby 模式 RailsBilling 的作者，一个用于 Stripe 集成的 Rails gem，详细介绍了一种名为“友好的属性”的新模式，它源于在定义订阅计划时重复代码的挫败感。 最初，创建具有不同名称、间隔和金额的计划需要多行代码，作者使用基于哈希的结构将此过程简化为更易读的一行：`Billing::Plan.find_or_create_all_by_attrs!(1.month => {standard: 10, pro: 50, enterprise: 100}, 1.year => {standard: 100, pro: 500, enterprise: 1000})`。 这种模式通过智能地将各种结构（哈希、数组、单个值）转换为标准的键值属性来简化数据输入。 类型用于推断含义——整数变为金额，符号变为名称，持续时间变为间隔。 它具有灵活性，允许以任何顺序排列参数，甚至允许部分定义（例如，`billing_plan :pro`）。 除了计划创建之外，“友好的属性”在测试和控制台交互中也证明了其用处。 虽然不适合像 JSON 这样的数据存储格式，但它在需要手动数据输入或代码简洁性的场景中表现出色，体现了 Ruby 专注于人类可读、令人愉悦的代码。 作者分享了一个将该模式应用于物联网应用程序访问控制的概念性示例，突出了其在计费之外的潜力。

## 苹果因《数字市场法》合规性面临欧盟投诉 欧盟的《数字市场法》（DMA）旨在提高数字市场的竞争和用户选择，但苹果因其iOS应用程序政策可能破坏这些目标而受到审查。最近的一份投诉，由民间社会组织提出，指控苹果通过其强制性的“公证”流程和对第三方应用商店的限制性要求违反了《数字市场法》。 苹果的公证要求所有应用程序——即使是App Store之外的应用程序——在安装前必须获得苹果的批准，从而有效地维持了对软件分发的控制。与此同时，替代应用商店的高额财务和下载要求（100万欧元的信用证或100万欧盟下载量）不成比例地影响了较小的开发者和非营利项目，例如F-Droid。 该投诉认为，这些做法构成了守门行为，阻碍了互操作性并限制了用户选择——而这些正是《数字市场法》试图解决的问题。倡导者提出了一种去中心化的策展模式，类似于F-Droid，作为一种可行的替代方案，强调透明度、社区审查以及用户对软件验证的控制。此案凸显了《数字市场法》效力的关键考验，在于其挑战科技巨头力量和促进更开放数字生态系统的能力。

## 揭开德古拉城堡的化学成分 来自物质与系统研究所的研究人员正在分析 Cetatea Poenari，即15世纪罗马尼亚的弗拉德三世堡垒——启发德古拉传说的历史人物。该项目旨在了解建造这座雄伟山地堡垒所使用的建造技术和材料，并可能为现代可持续建筑实践提供信息。 研究团队使用X射线荧光和扫描电子显微镜分析了堡垒中的一块砖，结果显示其成分与当地来源的材料一致。该砖主要由硅、铝和铁组成——典型的该地区粘土砖成分，并含有来自附近的喀尔巴阡山脉和阿尔杰什河的微量矿物质。 分析证实，建造者使用了易于获得的粘土和沙子，并在传统的窑炉中以中等温度（750-900°C）烧制砖块。钙的存在表明几个世纪以来，砖块经历了风化和与石灰基砂浆的相互作用。最终，这项研究表明，Poenari 经久不衰的力量并非源于超自然力量，而是源于熟练地利用当地资源和可靠的石工技术。

## 选择你的第一个买家画像 开始使用买家画像时，最好一开始只关注*一个*。本指南将帮助你选择优先考虑的画像，采用三项评估标准：**产品优势**（你的产品与他们需求的契合度）、**市场规模**（确保可行的细分市场）和**分销策略**（如何真实地触达他们）。 首先，列出最多三个不同的潜在画像。然后，使用问卷评估每个画像，为每个标准打分（-2到+2）。虽然量化方法是可行的，但核心建议是**选择你最了解的画像**。 深入的了解能够带来有效的沟通，并避免在无法建立联系的细分市场中浪费精力。考虑你的上市策略与该画像是否一致——如果这并非你的优势，请避免针对需要复杂销售流程的角色。你能否轻松想象出能引起他们共鸣的内容？ 一旦选定，将重点转移到构建引人注目的**价值故事**上——你将如何专门向*这个*画像传达益处。

## 本地优先 Web 应用与 HTMX 的优势 许多用户觉得网页越来越慢，令人沮丧，原因在于加载广告、AI 摘要以及像 Jira 这样普遍迟缓的应用。一种潜在的解决方案在于一种名为**本地优先**的设计范式，在这种范式中，UI 和数据都驻留在本地，并与远程服务器同步更改——从而带来更流畅的体验。 这种方法与传统的服务器端渲染 (SSR)（如 Github）形成对比，后者需要为每次交互进行持续的服务器往返通信。作者提倡将本地优先原则与 **HTMX** 结合使用，HTMX 是一种轻量级的“反 JavaScript”框架。 其想法是将服务器渲染的代码编译成 WebAssembly (WASM)，并通过服务工作线程直接在浏览器中运行。这使得应用程序能够拥有基于 JavaScript 的速度，同时减少对复杂前端代码的依赖。服务工作线程拦截请求，在本地处理，并在后台同步数据。 本质上，这创造了一种高度响应、本地驱动的体验，同时仍然能够进行服务器同步。具体实现细节和挑战将在后续文章中探讨。

## AI 资金现实调查：从炒作到政府依赖 近期市场动荡，由 OpenAI 的首席财务官引发，揭示了关于 AI 繁荣的一个迫在眉睫的真相：除了最初的投资和债务之外，资金是一个主要障碍。虽然“神奇七侠”股票飙升，但对 AI 开发所需的大量资本支出（capex）的担忧被驳回。然而，OpenAI 承认美国政府可能需要“兜底”其 1.4 万亿美元的承诺，打破了自给自足的幻想。 这引发了市场抛售，特别是对 Nvidia 的影响，因为投资者意识到 AI 革命可能严重依赖纳税人支持——这种情况就在一个月前就被预测到。OpenAI 最初试图控制损失，声称没有寻求救助，但进一步的披露表明该公司积极游说政府提供补贴，通过税收抵免和贷款担保，这反映了中国国家主导的方法。 核心问题很明确：AI 的增长需要超出私人资本的资源。现在的问题不是 *是否* 政府会干预，而是 *如何* 干预。像与英特尔的交易一样——提供股权以换取支持——所设定的先例表明，纳税人应该在 AI 的潜在收益中占有一席之地，而不仅仅是更高的水电费。AI 军备竞赛已经到来，其资金正在从市场转向政府。

最近一项研究调查了将文本提示转换为图像是否能减少在使用 OpenAI API 时产生的令牌使用量和成本，起因是对图像输入令牌消耗的观察。该实验使用了 Karpathy 关于数字卫生的博客文章，提示 ChatGPT 使用文本和图像输入来总结其中的建议。 结果显示，使用图像时，GPT-5 的提示令牌减少了 **40%**。然而，这种节省在大多数模型中被 **完成令牌的大幅增加** 所抵消。完成令牌的成本更高，这意味着对于除 GPT-5-chat 之外的所有模型，使用图像的总成本都 *更高*。 作者得出结论，虽然节省令牌是可能的，但完成令牌使用量的增加可能会抵消任何财务收益，使得基于图像的方法通常 **不值得**，尽管有可能降低提示成本。仔细考虑模型和令牌定价至关重要。

这个项目是Macintosh Quadra 650/800 / Centris 650安装了68060并使用合适的适配器的ROM修改集合，旨在使其达到最低限度的功能。目前它可以启动未修改的System 7.1安装。很多功能无法正常工作，仍需完成；我不指望完成它。感谢Jockelill提供MMU ROM映射的线索，感谢Aprezbios提供废弃的060芯片用于实验。证明：https://www.youtube.com/watch?v=KXSWiKu-ASA 这只是一个实验性的概念验证，不提供任何明示或暗示的担保。除非你清楚自己在做什么，否则请不要急于复制！构建Retro68或标准的m68K GCC工具链，并将makefile指向它。运行make并祈祷。将生成的镜像刷到Quadra兼容的ROM SIMM上，例如Caymac销售的那些。我声明对该仓库中的任何材料不拥有所有权。请随意使用。参考内容的许可证各不相同，请适当署名原始团队。

在最近的一次采访中，俄罗斯外交部长拉夫罗夫强调了美国在处理黎凡特和乌克兰冲突时奉行的双重标准。他指出，美国在以色列/巴勒斯坦和叙利亚问题上提出的解决方案中倡导的人权、安全和文化保护原则，在其对乌克兰的处理方式中却明显缺失。 拉夫罗夫将俄罗斯对乌克兰“去纳粹化”的要求，比作美国呼吁根除极端主义，并建议采用叙利亚式的联邦化模式，以保障乌克兰境内俄语使用者的文化权利。 俄罗斯坚持对其争议领土的主张，但拉夫罗夫暗示，如果停火巩固，可能会在地方自治权方面达成妥协。 这不仅仅是一种批评，更是一种战略举措，旨在根据美国认可的先例提出可行的解决方案。 尽管不太可能立即影响目前正在升级言论的唐纳德·特朗普，但俄罗斯持续的进展和乌克兰可能出现的攻势失败，可能会为这些提案的考虑创造机会。

## 百年长寿的秘诀 越来越多的人活到100岁以上，被称为“超级长寿者”，他们持续保持认知和身体健康。研究人员正在研究促成这种长寿的原因，在百岁老人如104岁的包帕西斯修女和98岁的苏·赖特的生活中发现了共同点。 关键因素包括持续的“黄金睡眠”——不多也不少——以及一生保持健康的体重。同样重要的是通过阅读和游戏等活动持续刺激大脑，并进行规律的体育锻炼，甚至只是简单的日常活动。 强大的社交联系至关重要，既能提供支持，又能带来目标。或许令人惊讶的是，接受衰老并找到管理压力的方法——通过祈祷、爱好或仅仅是回忆祖先——也起着至关重要的作用。虽然疾病并非总是可以避免，但一些百岁老人完全“逃脱”疾病，而另一些人则推迟了疾病的发生。 最终，感恩的心态和积极的心态，就像包修女每天的肯定语一样，似乎是漫长而充实生活的重要组成部分。

## 不均衡的通货膨胀：价格上涨与下跌的情况 尽管总体通货膨胀已趋于稳定，但美国消费者体验到的价格变化却因购买的商品不同而差异巨大。最近的数据（2024年9月 - 2025年9月）显示，情况非常不均衡。 **显著的价格上涨**出现在必需品上，例如**牛肉和小牛肉（14.7%）**，以及汽车维修（7.7%）、房屋保险（7.5%）和电力（6.4%）。糖果等食品主食也变得更贵，加剧了消费者对食品成本的普遍担忧。 然而，**一些行业正在出现通货紧缩**。**IT硬件及服务**和**女装**的价格均下降了2%，而**汽油**下降了0.4%。劳工统计局会根据质量改进调整IT价格，这意味着即使标价稳定，实际成本也可能下降。 这些数据表明，虽然总体通货膨胀可能正在降温，但其对家庭预算的影响仍然各不相同，并且取决于消费习惯。

Cerebras是一家最近估值81亿美元的人工智能技术公司，在完成11亿美元融资后，正通过其“Cerebras Code Pro”服务提供访问GLM-4.6的权限，GLM-4.6是一款性能卓越的开源编码模型。 GLM-4.6在代码生成方面表现出色，在工具调用方面取得了领先的分数，并且在Web开发性能方面与Sonnet 4.5相当，速度超过每秒1000个token。它被设计为通过API密钥与流行的AI代码编辑器（如Cline和RooCode）无缝集成。 Cerebras提供三个等级：免费选项（访问受限）、“Pro”等级（50美元/月，用于中等使用量，每天最多2400万token）和“Max”等级（200美元/月，用于繁重开发工作流程，每天最多1.2亿token）。这使得开发者能够在不破坏现有工具和工作流程的情况下，利用强大的AI编码辅助。

## 丙烯匹配：颜色转换工具 丙烯匹配是一个资源，旨在帮助艺术家和设计师找到与特定十六进制代码或命名的CSS颜色最匹配的丙烯颜料颜色。它提供了一个包含150多种标准网络颜色的综合列表——从常见的色调如“蓝色”和“红色”到更细微的色调如“雾玫瑰色”和“淡金黄褐色”。 本质上，它弥合了数字颜色规范（用于网页设计）与丙烯绘画的物理世界之间的差距。这个工具对任何需要在丙烯艺术作品中准确再现数字颜色的人都有用，确保一致性和期望的结果。它通过提供一个现成的参考点，简化了通常具有挑战性的颜色匹配过程。

## 美国各州SNAP依赖度一览 补充营养援助计划 (SNAP) 是美国最大的粮食援助项目，约有八分之一的美国人受益，人均每月援助金为180美元。最新数据显示，各州SNAP依赖度存在显著差异，反映了经济需求和生活成本的差异。 新墨西哥州的依赖度最高，有21.5%的居民领取福利，几乎是全国平均水平的两倍。俄勒冈州 (18.1%) 和路易斯安那州 (17.5%)紧随其后。生活成本较高的州，如夏威夷（人均361.78美元）、纽约（218.44美元）和马萨诸塞州（215.64美元），发放的平均福利较高。 相反，威斯康星州和明尼苏达州等中西部州由于生活成本较低，提供的福利较低。西部各州的参与度最低，怀俄明州为4.6%，但仍为数万民众提供关键援助。总的来说，SNAP是一张重要的安全网，每月在全国范围内分配数十亿美元的援助金。

自上任以来，特朗普总统一直采用浮动关税和出口管制策略，扰乱了中国本已脆弱的经济。最近的休战包括关税降低（对中国商品降低47%，对美国商品降低33%），以及中国承诺限制芬太尼前体物质、购买美国大豆，并暂时暂停稀土出口管制。作为回报，美国暂停了港口费用和一项限制性出口规则。 这种动态局面中，中国国家主席习近平对特朗普表现出不同寻常的尊重，表明北京对特朗普不可预测的谈判风格感到担忧。专家认为，这种不可预测性——一种“混合策略”——迫使中国暴露其弱点，例如其在稀土矿物方面的优势。 中国试图利用这些矿物反噬，适得其反，引发全球担忧，并加速美国通过与澳大利亚、日本的协议以及国内倡议实现供应链独立。虽然中国可能继续使用稀土作为杠杆，但分析人士认为其市场不足以承受长期的压力，而且美国还拥有技术限制和制裁等替代工具。目前的休战被视为暂时的，取决于双方履行承诺。

## 美国人口老龄化：2024年快照 最近美国人口普查局的数据显示，人口老龄化趋势仍在持续。2023年至2024年间，65岁及以上人口增长了3.1%（达到6120万），而18岁以下人口*减少*了0.2%（降至7310万）。 这种转变缩小了这两个年龄组之间的差距——从2020年的超过2000万到2024年的不足1200万。自2020年以来，65岁及以上人口的增长速度明显快于劳动年龄成年人（18-64岁）和儿童。 值得注意的是，老年人数量超过儿童的州数量从2020年的三个增加到2024年的十一个。类似的趋势也出现在都市区，现在有112个都市区的老年人数量超过儿童——几乎占美国所有都市区的30%。这种人口结构变化在人口较少的县份中尤为明显，突显了全国各地社区老龄化日益严重的情况。

这篇博文详细介绍了作者从 Kindle Paperwhite 切换到 Boox Palma 电子阅读器的过程。作为一名长期读者，作者欣赏电子墨水屏的背光、一致的格式、阳光下的可读性和便携性。虽然对 Kindle 满意了六年，但其尺寸、亚马逊关于图书所有权的政策、广告泛滥以及导入非亚马逊电子书的困难，促使作者寻找更方便的选择。 二手购买的 Boox Palma，价格为 140 欧元，被证明是理想的选择。它像手机一样大小且轻巧的设计使其真正可以放进口袋，即使在拥挤的空间里也能舒适地阅读。作者特别看重 Palma 的完整 Android 系统——提供应用自由度——出色的屏幕质量、可定制的锁屏以及专用的翻页按钮。 作者承认 Palma 对于现有的 Kindle 用户来说并非必需品，但对于那些优先考虑便携性和更自由阅读体验的人来说，它是一次显著的升级。作者希望未来能够获得自定义 ROM 的支持，以进一步提升设备性能。