本文探讨了利用大型语言模型（LLM）实现递归的新方法。作者通过设计一个不断更新自身状态的递归提示，让LLM生成一系列提示，最终逼近目标状态，类似于代码中的递归函数。文章以斐波那契数列为例，演示了如何通过递归提示实现计算，并讨论了LLM在处理递归过程中可能出现的错误，以及如何利用LLM已有的知识库来解决问题，例如，借鉴人类心算的方式，利用已知的代数规则和原子规则逐步化简问题。此外，文章还提到了ReAct和ACT-R等相关研究，以及如何处理LLM可能出现的错误结果。
阅读更多
布隆过滤器是一种概率数据结构，用于快速、高效地判断一个元素是否在一个集合中。它通过哈希函数将元素映射到位向量中的多个位，设置这些位为1。查询时，同样进行哈希，如果所有对应位都为1，则元素可能在集合中；否则，元素一定不在集合中。布隆过滤器存在误判的可能性，但其空间效率和速度优势使其在处理大规模数据时非常实用。文章详细介绍了布隆过滤器的原理、哈希函数选择、大小选择以及实际应用场景，并列举了不同系统中布隆过滤器的实现方式。
阅读更多
作者使用GPT-3生成了一份Datasette入门教程，结果令人惊艳。GPT-3不仅准确地描述了Datasette的功能和安装步骤，甚至连命令行参数和API接口都描述得相当准确，尽管存在一些细微的错误。这篇文章不仅展示了GPT-3强大的文本生成能力，也引发了人们对AI在技术文档编写方面的思考，以及如何有效地利用提示词工程来获得最佳结果。
阅读更多
《命运石之门》中，世界仿佛自带自动纠错机制，抹去不符合既定轨迹的事件和人物。主角冈部伦太郎不断试图改变过去，拯救挚友，却总是遭遇失败，这如同一个运行中的模拟程序，在修正“错误”。最终，冈部消失，世界恢复“正常”，暗示了其行为是模拟程序中的异常，被系统自动清除。这引发了对我们是否也生活在类似模拟世界中的思考。
阅读更多
微软发布了Linux版本的Process Monitor (Procmon)，这是一个强大的系统调用追踪工具，类似于Windows上的Sysinternals套件中的Procmon。它允许开发者方便地追踪Linux系统上的系统调用活动。该工具支持命令行选项，可以监控特定进程和系统调用，并可以选择将结果保存到数据库文件中。开发者还可以通过GitHub参与项目贡献，修复bug，添加新功能。
阅读更多
刘易斯与克拉克探险队留下的600粒巨型泻药“雷鸣药丸”，其主要成分是稳定的汞盐。这些药丸的残留物帮助考古学家精准定位了探险队的多个营地。通过分析土壤中汞含量的异常，他们发现了旧厕所坑，并根据军事手册推断出营地的布局。这揭示了19世纪初医学实践的局限性，当时流行的“英雄医学”疗法，尽管有时有效，但常常弊大于利。
阅读更多
本期播客探讨了企业对开源软件的依赖与实际贡献开源的业余维护者群体之间的巨大脱节。访谈揭示，这个问题由来已久，其对软件安全、稳定性和未来的影响才刚刚开始显现。数据显示，大量实际使用的开源代码由非全职甚至无偿的爱好者维护，这与企业和组织的认知存在偏差。访谈呼吁关注业余维护者的实际困境，并从他们的需求和限制出发寻找解决方案，而非简单地提供资金援助。
阅读更多
一个由Kevin Buzzard领导的国际合作项目正在使用Lean定理证明器来形式化证明费马大定理。该项目获得了英国工程和物理科学研究委员会的资助，由伦敦帝国理工学院主办。这个非标准研究项目旨在用计算机验证一个著名的数学难题的证明，其意义在于探索数学证明的形式化和自动化验证的可能性，这对于未来数学研究具有深远的影响。
阅读更多
第二年参加湾区创客盛会Open Sauce，我与退休无线电工程师父亲一同见证了数百个展品，从疯狂科学到复古电子设备，应有尽有。活动中，我与YouTube上的创客达人相遇，例如修复老式HP铯原子钟的CuriousMarc，以及在现场修复设备的TubeTime和Ken Sheriff。此外，我还参与了关于逆向工程的讨论小组，并与NASA宇航员Matthew Dominick交流了他使用开源工具搭建家庭实验室的经验。Open Sauce不仅展示了创新的科技项目，也展现了创客社区的热情与活力，令人期待2026年的盛会。
阅读更多
本文探讨了太阳能光伏发电的快速发展及其未来潜力。尽管目前太阳能发电仅占美国总发电量的4%，但其成本在过去70年里下降了近万倍，并预计将进一步下降。然而，太阳能发电的间歇性是其主要挑战，因为它无法按需发电。文章通过模拟分析，探讨了增加太阳能板容量和储能系统来应对间歇性的策略，并指出，随着太阳能和储能成本的持续下降，“过度建设”以满足更多电力需求在经济上将变得可行。最终，太阳能的低成本和不断下降的趋势使其成为一种具有竞争力的能源选择，但其间歇性问题仍需进一步解决。
阅读更多
本文深入探讨了90年代Tektronix TDS684B示波器惊人的5Gsps采样率背后的技术。作者通过拆解和测量，发现其核心在于一个未知的ADG286D芯片，它很可能是一个模拟CCD FIFO存储器，以极高的速度捕获模拟信号，然后以较低的速率(8MHz)数字化。尽管ADC输入信号噪声很大，但示波器最终显示的波形却非常干净，这其中的处理过程仍需进一步研究。这台老式示波器在当时的硬件条件下实现如此高的采样率，展现了其卓越的设计和工程实力。
阅读更多
尽管JSON和微服务盛行，但XML及其转换语言XSLT仍在金融、医疗等领域发挥着关键作用。许多团队误将XSLT替换为冗长的通用代码，导致开发周期延长，系统性能低下。本文阐述了XSLT的优势，包括其声明式模式匹配、高效的内存使用（通过流处理）、XPath查询能力、模块化设计、错误处理以及与JSON等非XML数据互操作的能力。XSLT 3.0的出现更是增强了其现代数据处理能力。作者呼吁重视XSLT，并建议选择合适的专业人员进行XSLT开发，以提升效率和系统稳定性。
阅读更多
为了打击乘客携带超大行李登机的现象，瑞安航空考虑将员工识别超大行李的奖励提高一倍。目前，员工每发现一件超大行李可获得1.5欧元的奖励，乘客则需支付额外费用。瑞安航空首席执行官迈克尔·奥利里表示，不符合尺寸规定的行李将被拒载或托运，并收取高达75欧元的费用。他强调将继续奖励员工严格执行行李规定，并表示不欢迎那些不遵守规则的乘客。
阅读更多
本文回顾了四十年来二次型代数理论的重大进展，特别是代数几何方法的引入如何彻底改变了该领域。文章追溯了二次型概念的起源，从古巴比伦和古希腊的早期工作到费马和拉格朗日的里程碑式定理。重点介绍了米尔诺猜想的证明，以及利用代数几何工具（如二次超曲面和代数循环）研究二次型的新方法。文章还探讨了与二次型相关的场的不变量（u-不变量和毕达哥拉斯数），并讨论了关于二次型维数和分裂模式的开放性问题。
阅读更多
arXivLabs是一个允许协作者直接在arXiv网站上开发和共享新功能的框架。参与arXivLabs的个人和组织都秉持着开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，并且只与遵守这些价值观的合作伙伴合作。如果你有想法可以为arXiv社区增值，请了解更多关于arXivLabs的信息。
阅读更多
几百年前，番茄并非餐桌上的常客，反而被视为罪恶的象征。欧洲人一度认为番茄有毒，甚至将其与曼德拉草联系起来，认为它具有催情作用。这种误解部分源于富人使用的含铅餐具，番茄的酸性会析出铅毒。直到1820年，美国新泽西州的罗伯特·吉本·约翰逊上校在萨勒姆法院前公开食用番茄，才最终打破了这种误解，番茄从此走上寻常百姓家。
阅读更多
1987年，《Computer Language》杂志刊登了一篇文章，详细介绍了微软最新的操作系统OS/2。文章指出，OS/2凭借其多任务处理能力、全功能应用程序编程接口（API）以及对未来硬件的可扩展性，有望成为未来十年Intel 80286/80386微型计算机的操作系统。OS/2的架构分为三层：内核和系统服务、Windows Presentation Manager（WPM）以及OS/2 LAN Manager。文章重点介绍了OS/2内核及其提供的各种系统服务，包括进程创建与执行、内存管理、设备服务、文件管理和进程间通信等。OS/2采用抢占式调度程序和时间分片技术，支持保护模式和实模式，可以运行MS-DOS应用程序。此外，OS/2的动态链接库技术提高了代码复用性和可扩展性。文章最后展望了OS/2未来的发展方向，包括对80386的支持和功能增强。
阅读更多
一项由安特卫普大学等多家欧洲机构合作完成的国际研究发现，四种阔叶树的地下木质部在冬季并未停止生长。该研究发表在《自然-生态与进化》杂志上，挑战了我们对树木生长季节性的传统认识，为我们理解森林生态系统碳循环提供了新的视角。研究团队观察到，即使在冬季低温条件下，这些树木的根系和地下茎仍持续进行木质部生长，这可能对森林的碳储存和气候变化响应具有重要意义。
阅读更多
谷歌大力推进AI搜索，先后推出AI Overviews和AI Mode。AI Overviews直接在搜索结果顶部显示摘要，减少点击网页的必要性；而AI Mode则更彻底，完全取代传统搜索，以问答形式提供信息，并支持后续提问。虽然AI Mode最初测试效果良好，但它对网页链接的依赖性降低，可能损害网站生态。文章探讨了谷歌这种做法的利弊，以及其对整个互联网生态的影响，指出谷歌为了赢得AI竞赛，不惜牺牲网页链接，这可能导致一个全新的互联网生态的形成，但同时也可能扼杀现有的网站生态。
阅读更多
德州农工大学研发的CLARKE系统利用人工智能和无人机图像，可在几分钟内评估建筑物、道路及其他基础设施的灾害损失。该系统已在2024年的飓风季节中得到应用，其速度和效率显著提高了灾后救援响应速度，尤其在偏远地区，它能快速提供全面的损害报告，帮助救援人员绕过受损道路。CLARKE系统经过超过21000栋房屋的灾害图像训练，能够识别各种类型的灾害造成的损害，并已获得一线救援人员的积极评价。
阅读更多
本文深入探讨了Linux桌面系统长期以来未被广泛采用的深层原因。作者指出，Linux发行版之间软件兼容性差，软件更新频繁导致bug和兼容性问题层出不穷，缺乏资金支持导致软件质量参差不齐，硬件驱动支持不足，以及Linux社区的沟通挑战等问题，都严重阻碍了Linux桌面系统的普及。尽管Linux在服务器领域表现出色，但在桌面领域，它仍然面临诸多挑战，难以与Windows等成熟系统竞争。
阅读更多
T-Mobile宣布将光纤网络服务扩展至全美50多万户家庭，并推出三款最高2Gbps对称速度的套餐，并提供五年价格锁定和自动支付折扣。此次扩张受益于与Lumos的合资企业以及即将完成的Metronet收购。T-Mobile计划在2030年底前覆盖1200万至1500万户家庭，与AT&T和Verizon等竞争对手抗衡。此外，还推出了为期10年价格锁定的“Fiber Founders Club”优惠套餐，但仅限部分地区且限时提供。
阅读更多
作者讲述了其从Advent of Code 2015的Day 7难题出发，逐步深入系统编程和语言开发的历程。他先尝试自行设计编程语言“mango”，后转向构建自己的字节码虚拟机“turbine”。为了实现虚拟机，他深入研究了图灵机和CPU架构，设计了简单的指令集和寄存器，并用C语言编写了虚拟机和简易汇编器。整个项目展现了作者对系统编程的热情和扎实的技术功底，最终实现了一个可运行简单程序的虚拟机。
阅读更多
这篇论文研究了西班牙安达卢西亚地区利益集团在社交媒体上的数字传播策略。研究发现，这些集团主要由公司和商业协会组成，其在社交媒体上的互动性极低，很少与公众进行互动交流。虽然使用了部分政治传播和宣传技巧，但其传播活动几乎没有明确的政治目标，更倾向于维护自身正面形象而非进行积极的游说活动。研究结果提示，安达卢西亚利益集团的数字传播策略可能并非以游说为主要目的，而是采取了一种较为被动的策略。
阅读更多
现有的Transformer模型难以生成一分钟长的视频，因为自注意力机制在处理长序列时效率低下。为解决此问题，研究人员尝试使用测试时训练(TTT)层，其隐藏状态本身就是一个神经网络，表达能力更强。将TTT层添加到预训练的Transformer模型中，使其能够根据文本故事板生成一分钟长的视频。实验结果表明，与Mamba 2、Gated DeltaNet和滑动窗口注意力机制等基线方法相比，使用TTT层的模型生成的视频更连贯，能够讲述复杂的故事，在人类评估中领先34 Elo点。尽管结果有待改进，但这项研究为生成更长、更复杂视频提供了新的思路。
阅读更多
PolySubML 是一种结合全局类型推断、子类型和高级多态性的编程语言。本文探讨了 PolySubML 如何设计良好的类型错误信息，并解释了现有语言在改进类型推断错误信息方面常常不足的原因。作者提出了五条规则：1. 切勿猜测或回溯；2. 不要妄下结论；3. 要求用户澄清意图；4. 允许用户编写显式类型注释；5. 不要将静态类型推断包含在运行时执行模型中。通过遵循这些规则，PolySubML 成功地解决了类型推断带来的许多常见问题，显著提高了代码的可调试性。
阅读更多
作者历时数年，不断迭代，终于将一个开源硬件以太网交换机项目从最初的失败走向了成功。从2012年使用低端FPGA的失败尝试，到如今使用XCKU5P FPGA实现48个1G端口和双10/25G上行链路的强大交换机，作者经历了漫长的学习和积累过程。期间，他设计了高精度探头和软件工具，并不断优化硬件设计和软件架构。虽然项目仍有许多挑战，但作者充满信心，预计在2026年完成最终产品。
阅读更多
研究者发现大型语言模型在学习过程中趋向于收敛到一个共享的潜在表征空间，这被称为“柏拉图式表征假设”。这一假设意味着不同模型学习到的是相同的特征，即使模型架构不同。 文章以“墨索里尼或面包”游戏为例解释了这种共享表征的可能性，并通过压缩理论和模型泛化能力进行论证。 更重要的是，基于这一假设，研究者开发了一种名为vec2vec的方法，可以无监督地转换不同模型的嵌入空间，甚至实现了高精度文本嵌入反演。这项技术未来可能应用于解码古代文字（例如线性A）或翻译鲸鱼语言，为跨语言理解和人工智能发展带来新的可能性。
阅读更多
Meta公司再次从苹果公司挖走两名人工智能高管，此前已斥巨资挖走苹果AI团队负责人。此次挖角涉及苹果AI基础模型团队的核心成员，引发业界关注。苹果AI团队正经历动荡，或将转向使用OpenAI等外部模型，以应对自身模型的不足，并影响Siri等功能的未来发展。
阅读更多