印度低成本航空公司IndiGo凭借十年扩张，占据了印度国内航空市场约64.4%的份额，在66%的航线上几乎垄断。其竞争对手如SpiceJet和Air India则苦苦挣扎。尽管市场需求增长放缓，票价承压，IndiGo凭借低成本运营和稳健的国际扩张战略，巩固了其市场地位。然而，IndiGo面临着需求减弱和定价权下降的挑战，其垄断地位的未来仍存在不确定性。
阅读更多
一个看似简单的JavaScript日期过滤器导致日本用户的后台数据在早上9点前丢失。原因是`new Date('YYYY-MM-DD')`创建的是UTC午夜时间，在日本（UTC+9）显示为早上9点。因此，“大于1月1日”实际上意味着“大于1月1日早上9点”。解决方案是明确设置午夜时间，避免UTC默认值。
阅读更多
Observable推出了一款基于GitHub的全新笔记本，支持在任何文本编辑器中创作，并通过Notebook Kit进行预览或构建。这款笔记本旨在成为一流的编辑器，结合AI赋能、实时协作、Observable工作区共享以及Observable画布进行数据可视化探索和演示，以提升生产力。无论是开源用户还是商业用户，Observable都欢迎使用其产品。
阅读更多
Dropbox 宣布停止其密码管理器服务，并建议用户迁移到 1Password。文章详细介绍了数据迁移到 1Password 或其他密码管理器的步骤，强调了数据安全性的重要性，并提供了团队管理和用户通知的建议。Dropbox 强调在迁移过程中数据安全得到保障，并鼓励用户利用 Dropbox 的其他安全功能。
阅读更多
作者正在重写 Yakread 阅读应用并将其开源，同时实验其 Clojure Web 框架 Biff 的新功能。为解决原有 10k 行代码库的维护问题，作者采用了三个主要架构方法：1. 使用 XTDB 和 RocksDB 实现 materialized views，以提高查询速度；2. 将应用逻辑与副作用分离，使代码更纯净，方便测试；3. 使用 Pathom 构建可重用的数据访问层，提高代码的可维护性和可读性。这些方法提高了代码的可测试性、可观察性和可维护性，为 Biff 框架带来了新的改进方向。
阅读更多
本文提出了一种系统设计原则的初步分类法，它从计算机系统的多个领域中提炼出来，旨在创建一个共享的简洁词汇表，帮助学生、研究人员和从业人员更好地理解系统结构和权衡，比较不同领域的系统设计，并更清晰地沟通设计选择。文章总结了40多个通用的系统设计原则，并将其组织成主题组，这些主题组反映了系统设计的熟悉方面，例如模块化、可扩展性、可伸缩性和容错性。每个原则都带有简短的符号，方便快速参考。文章强调设计意图而非具体的实现机制，旨在为系统设计提供一个更连贯的思维导图。
阅读更多
作者使用一台2.5岁的64GB MacBook Pro M2成功运行了1060亿参数的GLM-4.5 Air模型（44GB 3bit量化版本），并仅用一个提示词便生成了一个完整的Space Invaders游戏HTML和JavaScript代码。这展现了近年来大型语言模型在代码生成方面的显著进步，即使在相对老旧的硬件上也能获得令人惊叹的结果。作者还测试了该模型生成SVG图像的能力，同样取得了不错的效果。
阅读更多
作者与其妻子尝试使用XMPP（通过Snikket客户端）进行所有通话和聊天，并取得了显著成功。此前使用Matrix时，音频和视频通话存在不稳定性。而Snikket则提供了可靠的语音和视频通话，以及无缝的文字消息和图片分享功能，即使在网络切换频繁的情况下也表现出色。作者妻子作为普通用户也轻松上手，使用体验良好。唯一的不足是Snikket不支持多域名，这限制了与更多XMPP用户的沟通。
阅读更多
arXivLabs是一个框架，允许协作者直接在我们网站上开发和共享新的arXiv功能。与arXivLabs合作的个人和组织都已接受并认可我们开放、社区、卓越和用户数据隐私的价值观。arXiv 致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。有想法能为arXiv社区增值的项目吗？了解更多关于arXivLabs的信息。
阅读更多
本文档详细定义了一种新型编程语言的语法规则，涵盖了类型、表达式、模式、函数定义、类型定义等多个方面。通过一系列上下文无关文法规则（BNF范式），精确描述了语言的结构，为编译器和解释器的实现提供了坚实的基础。 这是一种功能强大的语言，支持函数式编程、模式匹配和类型推断等高级特性。
阅读更多
FreeBSD 的包管理系统 PKGBASE 引起了一场争议。用户发现，执行 `pkg delete -af` 命令后，非 PKGBASE 版本的 FreeBSD 系统只会删除第三方软件包，而 PKGBASE 版本的系统则会删除几乎所有系统基础组件，包括 vi 编辑器等关键工具。这引发了对系统稳定性和 POLA（原则上操作的简单性）的担忧，因为同一命令在不同系统下的行为差异巨大，可能导致系统不可用。
阅读更多
ACM宣布将在2025年底前全面转向开放获取（OA）出版模式，这标志着计算研究领域一个里程碑式的事件。ACM将通过ACM Open（一种基于机构出版产出的订阅模式）和改进的ACM数字图书馆（提供高级版和基础版）来实现这一目标。ACM Open为机构提供无限的开放获取出版，并提供对ACM数字图书馆的完全访问权限。此举旨在消除研究障碍，加速创新，并反映了ACM对其社区的承诺。
阅读更多
一款瑞士制造的iPhone保护壳，能让你的旧款iPhone秒变USB-C接口，无需更换新设备！前三批产品已售罄，现在预订可获得优先购买权。该保护壳支持无线充电、MagSafe充电和快充，并兼容CarPlay。但需要注意的是，一些需要从手机供电的配件（如耳机）仍需使用Lightning接口。
阅读更多
你是否想过为什么很少有人会打印并装裱智能手机照片？本文揭示了其中的原因。通过对比iPhone照片和专业相机照片，作者指出iPhone相机在处理照片时存在明显的缺陷：鱼眼镜头导致图像畸变，尤其体现在人物的肢体和面部特征上；为了增强亮度，iPhone进行大量的计算处理，反而破坏了重要的面部细节和阴影；背景虚化效果也远不如专业相机自然。总而言之，iPhone照片虽然方便快捷，但在细节和真实感方面无法与专业相机媲美，因此不适合打印和装裱。
阅读更多
本文揭开了I/Q信号的神秘面纱。I/Q信号并非传统音频处理中的常见信号，但在无线通信中却至关重要。文章深入探讨了I/Q信号与正弦波、傅里叶变换的关系，并通过向量、点积等数学概念解释了I/Q信号的正交性，以及如何在通信系统中实现更高效的调制解调。最终，文章解释了为什么在数字信号处理中，使用复数来表示I/Q信号更方便高效。
阅读更多
本文介绍了使用HTMX框架进行URL驱动状态管理的优雅方法。通过将URL参数作为单一数据源，开发者可以轻松处理过滤、排序、分页和搜索等功能，而无需引入复杂的客户端状态管理库。这种方法使得应用状态具有书签功能、可分享性，并且浏览器历史记录也能正常工作，同时简化了调试过程。文章详细阐述了服务器读取URL参数、表单和隐藏字段协调状态以及使用`hx-push-url`自动同步URL这三个步骤，并探讨了生产环境中的注意事项，例如URL长度限制和参数验证。
阅读更多
田宫株式会社前社长兼会长田宫俊作先生于7月18日逝世，享年90岁。他带领田宫公司从木材商转型为世界知名的精密塑料模型制造商，其产品涵盖塑料模型、遥控车和迷你四驱车等。他注重细节，甚至为复刻保时捷934，亲自拆解了一辆911。他为模型行业带来的精益求精和独特的品牌形象，将永远铭刻在人们心中。
阅读更多
两位宇航员Sunita Williams和Butch Wilmore在国际空间站(ISS)的意外延期任务中，经历了长达170多天的太空生活，远超最初计划的数周。本文探讨了长期太空生活对人体健康产生的各种影响，包括体液重新分布导致的肿胀、视力障碍、骨质疏松、辐射暴露以及心理健康挑战。研究人员通过对比宇航员Scott Kelly与其地球上的双胞胎兄弟Mark Kelly，揭示了微重力对人体的影响。尽管太空生活充满挑战，但宇航员们为了探索太阳系，甘愿承受这些风险，这促使NASA持续研究，为未来更长期的太空任务作准备。
阅读更多
Patrick Bryant提出的分离点算术(DPA)彻底颠覆了我们对数值计算的认知。它通过分离整数尾数和点位置，利用整数运算执行所有计算，将舍入延迟到最终输出，从而消除了浮点运算中常见的舍入误差。这项技术在金融、科学和人工智能等领域具有广泛的应用前景，有望显著提升计算精度和效率。DPA的实现方法简洁高效，其开源代码已发布在GitHub上，欢迎大家共同探索和改进。
阅读更多
Anthropic的AI代码助手Claude Pro和Max突然增加了每周使用限制，激怒了大量付费用户。这引发了业内对AI公司“先无限使用，后限流”的商业模式的质疑。文章指出，这种做法破坏了开发者对平台的信任，并建议AI公司应 upfront and transparent pricing。相比之下，Kilo Code则采取了透明的按次付费模式，并提供了300%的限时奖励积分，以此作为对比。
阅读更多
维基媒体基金会正对英国在线安全法案（OSA）的分类条例提起法律挑战。该条例可能将维基百科归类为最高风险网站，要求其进行严格的身份验证，这将威胁到志愿贡献者的隐私和安全，并损害维基百科的运作。基金会认为，此举将对全球知识共享造成严重影响，并呼吁法院保护维基百科这一重要的公共资源。此案也得到了英国志愿贡献者的支持，他们认为该条例威胁到言论自由和知识共享。
阅读更多
作者成功构建了一个稳定的强化学习训练基础设施，可在4个裸机节点上扩展到32个H100 GPU，用于训练超长视野的基于终端的编码代理。通过这个项目，作者开发的Terminal-Agent-Qwen3-32b在terminal-bench上获得了最高分，而且是在未经训练的情况下！作者利用rLLM框架，并添加了针对终端代理训练的自定义环境和基础设施。该项目使用了价值百万美元的计算资源进行训练，并最终在terminal-bench排行榜上排名第19位，超越了斯坦福大学和OpenAI的多个顶级代理。作者还开发了一套完整的工具和系统提示，以指导代理高效完成任务。由于计算成本高昂，作者未能进行完整的训练，但提供了已测试的训练代码和数据集，期待有更多资源投入到该项目中。
阅读更多
Hologram 0.5.0 版本发布，带来重大性能提升和诸多新特性。核心客户端操作执行时间从毫秒级缩短到微秒级，足以处理实时交互。此版本新增了完善的会话和 Cookie 管理、基于 HTTP 的传输层、实时重载功能、增量编译等。还引入了高性能 Bitstring 实现、CRDT 支持等，为未来分布式功能奠定基础。超过 950 次提交，改进开发者体验和运行时性能。
阅读更多
在DistrictCon的Junkyard竞赛中，研究人员成功利用了两款已停产的网络设备（Netgear WGR614v9路由器和BitDefender Box V1），并凭借其创新的漏洞利用技术获得亚军。该研究揭示了过时硬件的持续安全风险：厂商停止更新后，未修补的漏洞仍然存在，成为攻击者的完美目标。研究人员通过分析漏洞并构建利用链，获得了设备的远程root权限。 这项研究强调了选择安全设备时，需要关注厂商的支持周期和社区固件选项的重要性，并提醒消费者和安全从业者关注物联网设备的整个安全生命周期。
阅读更多
欧盟委员会初步认定中国电商平台Temu违反了数字服务法（DSA），原因是其未充分评估平台上销售的非法商品的风险。调查发现Temu平台上存在大量违规产品，例如危险玩具和电子产品，其2024年10月的风险评估不准确，措施不足。欧盟可能对Temu处以高达其全球年营业额6%的罚款。Temu表示将继续与欧盟委员会合作。欧盟还在调查Temu的其他DSA违规行为，包括其缓解措施的有效性、成瘾性设计特性以及数据访问等方面。
阅读更多
文章探讨了当今社会中不同类型权力（人力、资本、代码）运作速度差异带来的问题。科技公司利用代码杠杆快速改变世界，而教育、政府等机构因依赖人力或资本杠杆，反应速度缓慢，导致社会资源被过度消耗，民主规范、社会信任等公共领域被破坏。作者提出需要提升“杠杆素养”，设计跨越不同杠杆层次的组织和决策机制，才能避免文明崩塌，实现可持续发展。
阅读更多
硅谷常常将技术解决方案包装成中立且普世的良药，例如区块链。然而，文章指出，这种“效率”、“竞争”和“安全”的定义往往是主观的，甚至可能破坏关键的政府基础设施。区块链作为一种笨重的数据库，其无所不能的承诺并未兑现，反而更像是为一些不法之徒牟利提供了工具，揭示了技术解决方案主义的空虚。
阅读更多
CopyParty是一个令人惊叹的项目，它能将几乎任何设备（包括你的旧电脑）变成一个功能强大的文件服务器，支持任何网络浏览器进行可恢复的上传和下载。它具有友好的用户界面，支持各种文件类型，并提供丰富的功能，例如文件索引、媒体预览、音频转码、权限控制等等。只需运行`copyparty-sfx.py`即可快速上手，或者访问地下室NUC上的只读演示服务器。CopyParty的目标是简单易用，功能强大，并且在各种环境下都能运行良好，是一个理想的紧急文件传输解决方案。
阅读更多
丹麦在其欧盟轮值主席国任期的第一天，重新提出了备受争议的儿童性虐待材料（CSAM）扫描法案，即所谓的“聊天控制”提案。该提案旨在强制所有在欧洲运营的通讯服务扫描用户聊天内容，即使是加密的聊天内容。该提案自2022年5月以来一直未能获得所需多数支持，引发了对隐私的担忧和对加密技术的潜在破坏。丹麦力挺该法案，计划在10月14日通过，但其具体内容和妥协方案尚未公布。此举可能对用户隐私和数据安全造成重大影响，并引发技术专家和人权倡导者的强烈反对。
阅读更多