现代大型语言模型(LLM)代理架构严重依赖链式LLM调用，导致成本高、延迟大且可扩展性差。本文提出了一种可微分路由器，它将工具选择建模为可训练函数，而非依赖LLM。这种方法通过强化学习或监督微调从数据中学习工具选择，在LLM外部运行，避免了外部API调用，提高了确定性和可组合性，并降低了成本。实验结果表明，该方法显著降低了成本，提高了性能，并使模型行为更清晰，标志着LLM系统从提示链向程序化迈进了一步。
阅读更多
与特斯拉Semi卡车多年来的研发困境形成鲜明对比，沃尔沃悄然交付了第5000辆电动卡车。自2019年交付首批电动卡车以来，沃尔沃的电动卡车已行驶超过1亿英里，大幅减少碳排放和噪音污染。目前，沃尔沃在欧洲重型电动卡车市场占据47%的份额，连续五年领先。尽管在美国和加拿大市场份额略低，但沃尔沃的电动卡车销量仍远超特斯拉，凸显了其在电动商用车领域的领先地位。
阅读更多
本文为内向者提供了一个系统的方法，帮助他们在社交场合建立人脉。文章强调了事前准备的重要性，包括吃饱喝足，准备一些话题，了解活动信息等。在活动中，建议内向者控制自己的肢体语言，展现自信，并使用一些技巧，例如“延迟的温暖”式的微笑，来开启和维持对话。文章还建议关注细节，记住与他人谈话中的重要信息，并在活动结束后及时跟进，建立更深层次的关系。总而言之，本文的核心思想是：内向者不必为了拓展人脉而改变自己，只需要展现自信，认真倾听，留下深刻的印象即可。
阅读更多
一家公司将项目外包给海外团队，本想节省成本，却因沟通不畅和低质量代码引发一系列问题。低价的海外程序员未能有效解决SQL注入漏洞，甚至创造了一个基于名字的荒谬“安全”机制，导致系统随机报错。最终，内部团队不得不花费更多时间和精力修复错误，暴露了低价外包的巨大风险。这再次证明，高质量的开发并非单纯取决于价格，有效的沟通和技术能力才是关键。
阅读更多
作者怀着对90年代Transputer的热爱，历经波折，成功自制了一块兼容Inmos B004的ISA卡。从eBay淘到二手Transputer板，到设计电路图、制作PCB，再到克服各种bug（包括电路板反向安装、元器件摆放错误、线路噪声等），作者分享了整个过程的细节和经验教训，最终成功运行了1993年的Pascal编译器和光线追踪软件。 这篇文章不仅展现了作者精湛的硬件技能和对复古科技的热情，也体现了开源社区和在线制造平台的便利性。
阅读更多
作者痛斥现代科技公司利用算法和心理学技巧操纵用户，从约会软件Hinge的“Boost”功能到Uber的计价算法，无不体现了这种“零和博弈”的模式。这种行为不仅榨取用户剩余价值，更腐蚀了社会道德，引发了对资本主义未来和社会公平的深刻反思。作者认为，简单的市场调节和用户抵制无法解决问题，最终可能需要更激烈的变革才能打破这种恶性循环。
阅读更多
myNoise团队历经一年艰辛，终于发布了全新安卓应用。文章详细讲述了Android开发的挑战：碎片化设备、应用商店的付费推广机制以及维护成本高昂。作者分享了从最初的iOS成功到Android应用的重建过程，以及团队成员的贡献。新应用上线后，虽然面临负面评价和财务压力，但作者对未来充满信心，并呼吁用户支持，为这个充满爱与挑战的项目助力。
阅读更多
云应用方便易用，但数据完全受制于服务提供商。本文探讨“本地优先”软件，它将数据存储在本地设备，并通过CRDT等技术实现实时协作，兼顾便利性和数据所有权。作者展示了三个原型应用，证明了本地优先软件的可行性，并指出了未来研究方向，包括改进CRDT性能、完善用户界面和探索去中心化网络等。
阅读更多
1687年，牛顿发表了划时代的巨著《自然哲学的数学原理》，解释了宇宙的运行规律，从苹果落地到行星运转，为我们构建了一个可理解的宇宙模型。这部著作的出版，多亏了哈雷的资助，避免了科学停滞不前。牛顿的理论至今仍被广泛应用，从桥梁建造到航天发射，都离不开他的贡献，让我们享受着稳定的生活，不再担忧茶壶会漂浮到太空去。
阅读更多
作者回顾了90年代CGI技术的辉煌，并通过一个Go和SQLite构建的CGI程序，在16线程AMD 3700X处理器上实现了每日处理超过2亿请求的惊人性能。这颠覆了作者长久以来对CGI低效的认知，并指出现代编程语言（如Go和Rust）以及更强大的硬件，使得CGI在多核CPU环境下具备了显著的优势，高效利用多核资源。虽然作者不建议普遍采用这种方式，但这项实验揭示了技术发展的有趣一面，以及对过去认知的重新审视。
阅读更多
从DOS命令行到智能手机，人机交互经历了从“知识在世界”到“知识在头脑”的转变。文章指出，现代设备的设计越来越依赖于隐藏的控制和命令，这使得即使简单的操作也变得困难，新手用户尤其难以上手。作者认为，这与早期人机交互设计原则背道而驰，并呼吁设计师重新重视可见的控制，创造更易用的系统。
阅读更多
Harper，一款本地优先的语法检查软件，因登上Hacker News首页而用户数暴增。然而，与依赖大型服务器的软件不同，Harper在设备端运行，无需担心服务器负载问题。即使用户数激增，也未出现任何卡顿或延迟。这凸显了本地优先软件在可扩展性方面的巨大优势，无需高昂的服务器维护成本和复杂的云架构。
阅读更多
文章探讨了苹果App Store的支付政策，指出苹果要求应用开发者只能选择使用Apple Pay或其他支付服务，两者不能兼得。这限制了消费者的选择，也扼杀了竞争。作者类比机场商店支付方式，指出这种做法荒谬，并呼吁欧盟数字市场法案干预，保障公平竞争，允许开发者同时提供多种支付方式。
阅读更多
GamingOnLinux网站已运营16年，在众多游戏网站倒闭或转型的大环境下依然坚挺。文章作者回顾了网站的历程，并表达了对读者和支持者的感谢。面对AI的冲击和微软Bing新闻的除名，作者呼吁读者关注并支持网站，继续分享文章，保证网站的持续运营。同时，网站也计划改进Steam追踪器和PC信息系统，并探索新的读者互动方式。
阅读更多
这个网站汇集了关于NEC2（数值电磁代码，一种基于矩量法的电磁仿真软件）的文档和代码示例。NEC2由Jerry Burke和A. Poggio于1981年在劳伦斯利弗莫尔实验室为美国海军开发，现已公开发布。网站提供NEC2在Windows环境下的运行指南、教程、示例模型以及用户手册（HTML和PDF版本），涵盖程序描述和用户指南。此外，还提供BiQuad天线的构建细节和NEC仿真模型，以及指向NEC邮件列表和其它相关资源的链接。
阅读更多
参议院财政委员会发布了对众议院“一个美丽的大法案”（H.R. 1）的修正案提案。该提案对合格小企业股票（QSBS）的税收优惠进行了重大扩展，包括分层收益免税（持有时间越长，免税比例越高）、提高每发行人上限（从1000万美元提高到1500万美元，并从2027年开始根据通货膨胀进行调整）以及提高企业总资产门槛（从5000万美元提高到7500万美元，并从2027年开始根据通货膨胀进行调整）。这些变化将为初创公司创始人及投资者提供更多灵活性，降低早期退出投资的税收成本。然而，该提案的最终通过仍存在不确定性，企业应密切关注立法进展。
阅读更多
2023年机器人学习大会（CoRL）上，一个核心问题引发热议：能否通过在大型数据集上训练大型神经网络来解决机器人问题？一部分研究者认为，鉴于大型模型在计算机视觉和自然语言处理领域的成功，这种方法值得尝试，并举例说明了谷歌DeepMind的RT-X和RT-2等模型的初步成果。他们认为，数据和计算能力的进步为这一方向提供了动力。然而，反对者则指出，目前缺乏足够的机器人数据，且不同机器人和环境的差异性巨大，使得大规模数据集的收集成本极高。此外，即使模型能达到较高的准确率，要达到实际应用所需的99.X%的可靠性仍面临巨大挑战。一些人建议结合经典控制方法和学习方法，另一些人则认为需要探索全新的方法。总之，CoRL 2023的讨论揭示了机器人领域面临的机遇与挑战，并为未来的研究方向提供了宝贵的借鉴。
阅读更多
2025年7月1日，欧洲气象卫星组织（EUMETSAT）成功发射了MTG-S1气象卫星，这标志着欧洲天气预报进入了一个新的时代。MTG-S1搭载红外探测器和哥白尼哨兵-4紫外可见近红外光谱仪，能够提供高频大气温度、湿度和微量气体数据，帮助气象学家更早地检测极端天气，延长预警时间，提高预报准确性，从而保护生命和财产安全。此次发射是欧洲合作的成功典范，将极大提升欧洲应对气候变化的能力。
阅读更多
最近，Planetscale CEO和X/Twitter社区对Neon数据库的性能褒贬不一。作者援引《火星救援》中的一段对话：一个系统可能在效率上不如另一个，但却在可扩展性上更胜一筹。这提醒我们，分布式系统设计中没有完美的方案，Neon和Planetscale各有优劣，适用于不同的场景。网络上的负面评价和争议虽然能吸引眼球，但却掩盖了这个事实：不存在放之四海而皆准的最佳解决方案。
阅读更多
Codebuff团队回顾了一年来构建最佳编码代理的历程。从最初的CLI工具原型到如今的多智能体架构，他们经历了快速发展，也遭遇了可靠性挑战。文章总结了经验教训，包括优先级设置、功能裁剪以及团队合作的重要性，并展望了编码代理的未来趋势，例如多智能体范式、实时学习和自主代码提交等。
阅读更多
欧盟委员会公布了一份路线图，计划到2030年让执法部门能够合法有效地访问公民数据，这意味着他们可能能够解密私人数据。此举是“ProtectEU”战略的一部分，该战略旨在增强欧盟的内部安全。然而，该计划引发了隐私专家的担忧，他们担心此举会削弱加密技术，并可能带来新的安全漏洞。路线图涵盖数据保留、合法拦截、数字取证、解密、标准化以及AI解决方案等六个关键领域。尽管欧盟委员会声称会平衡执法需求和隐私保护，但专家们认为强大的加密技术是安全的基石，而非敌人。
阅读更多
X-Clacks-Overhead HTTP头部源自Terry Pratchett的Discworld系列小说，灵感来自小说中名为“Clacks”的信号塔网络。为了纪念已故的Pratchett，互联网用户在其HTTP头部中加入“GNU Terry Pratchett”信息，这是一种无声的致敬方式，类似于小说中父亲通过Clacks网络永久传递儿子名字的方式。Mozilla、Debian和Xml.com等网站都加入了这一信息，以此纪念Pratchett及其作品。
阅读更多
这篇文章讲述了 Commodore PET 早期 BASIC 解码器中一个奇特的错误，该错误源于其对空格的处理方式。早期 BASIC 解码器会忽略关键字之间的空格，导致“LET THEN”被识别为“LETHEN”，从而引发语法错误。文章深入探讨了 BASIC 的标记化过程，解释了为什么忽略空格可以提高效率，并分析了 Commodore BASIC 1.0 的解码器代码，最终揭示了这个错误的根本原因以及在后续版本中的修复方法。
阅读更多
Gecode是一个开源的C++约束求解器工具包，以其卓越的性能和模块化设计而闻名。它支持整数、布尔值、集合和浮点数等多种约束类型，并包含超过70个全局约束。Gecode不仅拥有先进的分支启发式算法和多种搜索引擎（包括并行搜索），还支持MiniZinc，并具有自动对称性破坏和重启机制等高级特性。其丰富的文档和超过5万个测试用例保证了其可靠性和易用性。在2008年到2012年的MiniZinc挑战赛中，Gecode更是包揽了所有金牌，展现了其强大的性能优势。
阅读更多
一项新的研究表明，大型语言模型（LLM）的能力正在以惊人的速度发展，其完成复杂任务的能力大约每七个月翻一番。研究人员使用“任务完成时间范围”这一指标，衡量LLM完成一项任务所需的时间与人类所需时间的对比。结果显示，到2030年，最先进的LLM可能能够以50%的可靠性完成等同于人类一个月工作量（40小时/周）的软件任务。这引发了人们对LLM潜在益处和风险的广泛关注，同时也指出硬件和机器人技术等因素可能会限制其发展速度。
阅读更多
随着AI编码工具的兴起，程序员的角色正在发生转变。作者以自身经历为例，讲述了从开发者到CTO的转变，以及随之而来的成就感下降。AI虽然提高了效率，但也降低了编程的挑战性和成就感，程序员将更多地扮演管理者角色，协调AI工具和团队成员。这引发了对未来程序员职业发展和行业人才需求的思考：程序员的价值将如何定义？如何保持持续的学习和技能提升，以应对AI时代的挑战？
阅读更多
本文批判性地审视了人工智能行业当前的现状，指出其存在七大问题：夸大AGI的临近性，过度关注产品吸引力而非实用性，大型语言模型的幻觉问题持续存在且未得到有效解决，对AI风险的表述摇摆于恐慌与乌托邦之间，缺乏可信的盈利模式，AI领域的准垄断现象以及对AI代理的过度炒作。作者认为，这些问题源于行业内追求短期利益、缺乏自我反思和对真实世界的责任感，最终可能导致AI技术发展偏离正确的方向，并对社会造成负面影响。
阅读更多
2024年，构建自主编码代理被认为需要复杂的内部技巧。但事实证明，只需一个更强大的基础模型就足够了。Claude Sonnet 3.7是目前的佼佼者，它并非最聪明的模型，但胜在能够坚持任务并做出更好的决策。如今，构建AI编码代理的门槛已大幅降低，开源方案非常优秀，甚至可以在GitHub Actions上免费运行Codex代理。市场竞争激烈，厂商需关注分发和训练更好的模型，才能脱颖而出。
阅读更多
面对对数据隐私和数字主权的担忧，法国里昂市率先行动，正式启动从微软软件转向开源替代方案的计划。他们将逐步用ONLYOFFICE替换Microsoft Office，用基于Linux的操作系统替换Windows，并推出名为Territoire Numérique Ouvert (TNO)的开源协作平台，整合Jitsi、Nextcloud、Zimbra、Chamilo和Matrix等工具。此举得到了200万欧元的资助，并已在法国多个地方政府得到应用。里昂的举动是否会引发更多欧洲国家效仿，值得关注。
阅读更多
一位热爱Hacktoberfest的开发者，因为多年穿坏了他珍藏的免费T恤，决定自己动手制作。然而，寻找高分辨率的Hacktoberfest历年T恤衫设计图却异常艰难。文章讲述了他从网络上搜集各种低分辨率图片、logo，并尝试AI upscaling却效果不佳的经历，最终无奈之下打算自行设计。文章呼吁有资源的网友提供高分辨率设计图，帮助他完成心愿。
阅读更多