美国国税局（IRS）开源了Direct File，一个免费的在线报税系统。该系统基于访谈式流程，支持手机、电脑等多种设备，并提供英语和西班牙语版本。Direct File将税法转化为易懂的问题，答案直接生成标准税表并提交给IRS。其核心是Fact Graph，一个基于Scala的知识图谱，用于处理不完整信息。Direct File还支持将联邦报税数据导入第三方工具，方便州和地方税务申报。该项目由IRS内部团队开发，并得到USDS、GSA等机构的支持。部分代码因隐私和安全原因未公开。
阅读更多
一项新的研究展示了一种脑机接口，能够解码用户的内部思维，准确率高达74%。该设备仅在用户思考预设密码时才开始解码，有效保护用户隐私。这项技术为瘫痪或肌肉控制受限的人恢复语言能力带来了希望，同时也解决了此前脑机接口可能泄露用户隐私的担忧。研究人员利用人工智能模型和语言模型，将来自运动皮层的脑信号转化为语音，词汇量达12.5万。
阅读更多
摩根大通、百胜餐饮集团（旗下拥有肯德基和塔可钟）以及Booking.com等公司的高管们都在热烈讨论人工智能在各自业务中的广泛应用。摩根大通首席执行官杰米·戴蒙甚至表示，该银行有450个AI应用案例。今年第一季度，44%的标普500公司高管在财报电话会议上谈到了AI，可见AI已成为企业提升效率和用户体验的重要工具，其应用范围正不断扩大。
阅读更多
随着物联网设备的激增，Wi-Fi 6E/7 和 WPA3 的普及，以及越来越多的设备接入无线网络，无线网络的未来正经历着令人兴奋的变革。本文探讨了 Wi-Fi 技术的演进，包括 Wi-Fi 6E 和 Wi-Fi 7 如何提升速度、可靠性和安全性，以及 WPA3 如何增强安全防护。文章还重点介绍了 OWE（Opportunistic Wireless Encryption）技术，它能够在无需密码的情况下为访客网络提供安全的加密连接。面对日益增长的连接需求和 BYOD 设备的普及，企业需要采用更安全、更易于管理的 Wi-Fi 架构，才能满足未来的挑战。
阅读更多
一项来自奥胡斯大学和牛津大学的最新研究揭示了令人惊叹的发现：当我们听到持续的节奏或音乐音调时，大脑并非被动地接收声音，而是会实时重组自身结构。研究人员开发了一种名为FREQ-NESS的新型神经影像技术，能够以前所未有的精度绘制大脑内部组织，揭示不同频率脑波在不同脑区间的动态交互。这项突破性技术有望彻底改变我们对大脑运作的理解，并为脑机接口、临床诊断等领域带来革命性的进展。
阅读更多
这是一个基于迁移学习的实时多说话人文本转语音合成（SV2TTS）开源项目，源于作者的硕士论文。该项目包含三个阶段：首先，从几秒钟的音频中创建语音的数字表示；然后，使用该表示作为参考，根据任意文本生成语音。虽然项目较为早期，但支持Windows和Linux系统，并推荐使用GPU加速。项目提供了详细的安装和使用指南，并支持多种数据集。
阅读更多
Mbodi AI，一家由两位前谷歌员工创立的AI机器人初创公司，正在研发一种能够像人类一样学习的机器人平台。该平台使用自然语言，使任何人都可以通过与机器人对话来教它们新技能，并在几分钟内可靠地执行这些技能。Mbodi AI目前正在招聘一位创始研究/机器学习工程师，负责开发和部署最先进的机器学习模型和自主AI系统，以增强机器人的学习和行为能力。该公司由顶级投资者支持，并已与ABB等全球工业合作伙伴开展合作。
阅读更多
本文讲述了一个名为Max的程序员和他15年前用PHP写的图片上传脚本Imagebin的故事。Imagebin代码简洁，只有233行，其中大部分是更新日志。作者尝试用Go重写Imagebin，却发现代码量反而增加了，而且可读性下降。这让他反思了程序设计的复杂性，意识到简洁的代码更易于维护，Max的Imagebin正是因为其简洁性而经久耐用。最终，作者决定保留Max的代码，继续使用PHP。
阅读更多
本文介绍了一种将Datalog程序翻译成SQL查询的新方法。作者巧妙地利用SQL的关联代数特性，将Datalog程序体中的变量绑定环境表示成关系，从而利用SQL引擎高效地执行Datalog查询。这种方法不仅简洁，而且可以通过利用双数技巧实现半朴素求值，进一步提升效率。文中还包含了Python和SQL代码示例，以及与其他Datalog引擎的性能比较。
阅读更多
《我们停止理解世界》和《疯子》两本书，以独特视角讲述了20世纪伟大科学发现背后的故事。作者本哈明·拉巴图特将历史事实与虚构巧妙融合，展现了天才科学家如海森堡、薛定谔、格罗滕迪克等人的疯狂与挣扎，以及他们发现量子力学、化学武器等对世界的深远影响。书中充满梦幻般的场景和令人不安的细节，探讨了科学发现的代价以及人类对知识的无尽追求。
阅读更多
pnpm 最新版本引入了两个重要特性：首先，新增 `minimumReleaseAge` 设置，以延迟安装新发布的依赖项，降低安全风险；其次，支持使用查找函数（finder functions）在 `.pnpmfile.cjs` 中定义自定义查找规则，通过 `pnpm list` 或 `pnpm why` 命令结合 `--find-by` 参数，更精细地查找依赖项，例如根据 peerDependencies 查找特定版本的 React。此外，此版本还修复了一些 bug，例如 Node.js 24 版本的弃用警告和 Ctrl-C 终止进程的退出码问题。
阅读更多
arXivLabs是一个实验性项目，允许合作者直接在arXiv网站上开发和分享新功能。参与其中的个人和组织都认同arXiv的开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观，只与遵守这些价值观的合作伙伴合作。如果你有想法能为arXiv社区增值，那就了解更多关于arXivLabs的信息吧！
阅读更多
英特尔前CEO帕特·格尔辛格和现任CFO兼临时CEO戴维·津斯纳因涉嫌误导股东关于英特尔代工厂业务的财务业绩而面临股东集体诉讼。诉讼称两人违反了受信责任和合同义务，要求返还所有利润、收益和其他补偿。此事件与格尔辛格的重组计划失败以及英特尔巨额季度亏损密切相关，代工厂业务被指为主要亏损来源。该诉讼凸显了英特尔在重塑公司形象和重获股东信任方面面临的挑战。
阅读更多
哈佛大学教授L. Mahadevan致力于运用数学和物理学探索日常现象的形态和功能。从莫比乌斯带的平衡形状到生物形态发生和社会性昆虫群落的复杂因素，他都充满了好奇心。本期播客中，他分享了研究灵感，并解释了凝胶、石膏和LED灯如何帮助揭示生物系统中的形态和功能，以及嘈杂的随机过程如何影响我们对几何的直觉。他研究了大脑褶皱，并用凝胶实验模拟了大脑的折叠过程，以及白蚁如何建造巨型蚁丘来调节温度和通风。
阅读更多
Noloco，一家由Y Combinator投资的快速发展的远程优先公司，正在招聘一名资深产品设计师。你的主要任务是建立Noloco的强大设计基础，使其平台对非技术用户简单易用、功能强大且灵活。这包括定义设计系统、重新设计移动端体验以及帮助开发新产品功能，让企业无需编写代码即可构建出色的软件。这是一个高影响力的角色，你将直接影响Noloco的成功，并有机会在公司发展壮大中获得晋升。
阅读更多
谷歌的Google TV平台虽然拥有超过3亿月活跃用户，但其盈利模式却面临巨大挑战。文章揭露了谷歌在Google TV上的巨额亏损，以及为了争夺市场份额而与亚马逊展开的激烈的“补贴大战”。由于Google TV的盈利能力不足，谷歌正在重新评估其在智能电视领域的战略，甚至可能将其视为一项昂贵的“爱好”。与此同时，YouTube在客厅市场的成功，使得谷歌将资源更多地倾斜到YouTube，进一步削弱了Google TV的地位。
阅读更多
随着日志数据量爆炸式增长，传统的ELK架构暴露出存储成本高、资源浪费严重、维护复杂等问题。本文介绍了GreptimeDB，一个云原生数据库，它采用存储计算分离架构，具有高压缩率、轻量级、易于维护等优势，并通过与Vector结合，演示了完整的日志收集、存储、解析和查询流程，为实时日志监控和数据分析提供了更现代化的解决方案。
阅读更多
本文探讨了汽车制造商如何在碰撞测试中针对特定基准进行优化，而非追求整体安全性。作者以IIHS新增驾驶员侧和乘客侧小重叠测试为例，发现除沃尔沃外，多数厂商在测试引入前均未重视此类碰撞安全。文章指出，许多厂商仅在驾驶员侧进行改进以提高测试分数，而忽略乘客侧安全，直到后者测试加入后才进行相应改进。此外，文章还讨论了碰撞测试的局限性，如测试假人与真实人群的差异、不同测试机构的标准差异、以及实际事故与测试条件的差异等，并建议参考多方数据进行评估，而非仅依赖单一测试结果。
阅读更多
本文探讨了 Kotlin 类型类在数据验证中的应用。作者以一个金融科技初创公司的用户投资组合验证系统为例，逐步讲解如何使用 Arrow Kt 库和 Kotlin 上下文接收器，构建一个基于类型类的泛型、可复用数据验证框架。文章对比了面向对象方法和类型类方法，并详细阐述了类型类在提高代码可维护性和可扩展性方面的优势，以及如何利用 Arrow 库的 `EitherNel` 类型处理验证错误。
阅读更多
从熊的冬眠到昆虫的滞育，自然界充满了生命暂停的奥秘。本文深入探讨了昆虫滞育——一种程序化的发育停滞状态，其在农业、疾病控制和昆虫养殖中具有巨大潜力。数千年来，人类利用轮作等方法间接控制害虫的滞育，如今，科学家们正试图通过操纵滞育的激素和环境因素，更精准地控制害虫，并利用滞育特性提高益虫的养殖效率。研究滞育不仅能带来巨大的经济效益，还能帮助我们更好地理解生命本身的奥秘。
阅读更多
访问网站时，页面显示需要启用JavaScript才能运行应用程序。这提示用户需要检查浏览器设置，确保JavaScript已启用，才能正常访问和使用网站的功能。
阅读更多
本文介绍了如何使用Go 1.23引入的迭代器特性来高效处理分页API。作者以GitHub API为例，演示了如何编写一个自定义迭代器来抽象分页逻辑，使代码更易读、复用。文章重点讲解了迭代器的实现和测试方法，包括使用mock对象模拟API调用和使用pull迭代器进行测试，确保迭代器返回预期结果。通过迭代器，开发者可以将分页逻辑与业务逻辑分离，提高代码的可维护性和可读性。
阅读更多
Ella Maru Studio 是一家将科学专业知识与艺术设计相结合的公司，为科研人员提供高质量的科学插图和动画制作服务。他们拥有博士级别的科学家和专业设计师团队，作品曾刊登在 Nature 和 Science 等顶级期刊上。他们服务的客户涵盖全球顶级大学和科研机构，为科研论文、项目提案和书籍创作出引人注目的视觉效果，帮助科学家们更清晰有效地传达科研成果。
阅读更多
本文档描述了Firefox开发者工具中网络监视器的使用方法，详细介绍了网络请求列表的各项功能，包括：请求列的含义（状态码、方法、域名、文件、URL、协议等）、时间线分析、安全图标解读、特定URL的屏蔽、请求过滤、属性过滤、请求搜索、上下文菜单选项（复制、保存、重发、编辑、屏蔽等）以及HAR数据管理等。文档还列举了其他相关文章，方便开发者深入了解网络监视器的其他功能。
阅读更多
一家公司通过玩任天堂游戏，特别是《银河战士》和《超级马里奥兄弟》，来测试其软件平台Antithesis。起初，他们的AI测试系统在《银河战士》中卡在一个红门前，因为系统优先消灭敌人而消耗了所有导弹。这促使他们开发了一种新的“群体测试”技术，该技术能够在探索状态空间的同时优化目标，例如优先保持更多导弹。这种技术不仅解决了红门问题，还使Antithesis能够以更有效率的方式探索游戏世界，发现游戏中的漏洞，甚至利用游戏机制完成“速通”。这项技术不仅适用于游戏测试，还可以应用于各种软件测试场景，例如寻找内存泄漏或性能异常。
阅读更多
尽管特朗普政府解除了对Nvidia H20芯片对华出口的禁令，但北京却暗中敦促中国公司，尤其政府机构，避免使用这款芯片。此举令Nvidia重返中国市场的计划复杂化。虽然并非明令禁止，但中国政府已向多家公司发出通知，强烈建议停止在政府或国家安全相关工作中使用H20芯片。虽然中国公司仍然渴望获得这款在AI应用中表现出色的芯片，但北京此举旨在推动国产芯片发展，并对芯片的安全性存疑。此举也影响了AMD的AI加速器，而中国本土芯片制造商Cambricon Technologies股价应声上涨。这一事件凸显了中美科技战的复杂性，以及美国政府允许出口H20芯片的决策背后存在的各种矛盾和争议。
阅读更多
本文深入浅出地讲解了A*寻路算法，从最简单的广度优先搜索(BFS)开始，逐步引入了Dijkstra算法（处理不同移动代价）、贪婪最佳优先搜索(Greedy Best-First Search)以及最终的A*算法。文章通过图解和代码示例，清晰地展现了不同算法的运行过程和优缺点，并讨论了它们在不同场景下的适用性，例如地图寻路、游戏AI等。A*算法通过结合启发式函数，在保证找到最短路径的同时，提高了搜索效率，是许多游戏中常用的寻路算法。
阅读更多
代数效应不再是只存在于研究中的概念，它已成为现实软件开发的有力工具。其优势在于：提升代码可测试性，清晰展现代码行为，支持用户自定义控制流抽象。不同于Monad，代数效应更易于理解，并带来直接益处。Flix语言原生支持代数效应，本文以其为例，通过类型和效应系统、效应处理器等概念，并结合AI电影推荐应用，演示了代数效应在实际开发中的应用，包括处理异常、异步操作、协程、生成器和回溯搜索等。
阅读更多
Andreessen Horowitz和OpenAI总裁Greg Brockman领衔的硅谷大佬们正向一个名为“引领未来”的政治行动委员会（PAC）投入超过1亿美元，以对抗明年中期选举中严格的AI监管。该PAC将利用竞选捐款和数字广告，支持有利于AI发展的法规，并反对他们认为会扼杀AI产业的候选人。此举旨在阻止美国出现AI监管的“拼凑局面”，避免因监管不一而减缓创新速度，并防止美国在AI竞赛中落后于中国。
阅读更多
一颗名为2024 YR4的小行星，最初被认为可能撞击地球，后被证实不会与地球相撞，但其新的轨道计算表明它可能在2032年末撞击月球。这次撞击可能产生肉眼可见的闪光，并形成一个直径约1公里的陨石坑，同时向地球抛射大量的月球物质，形成一场壮观的流星雨。虽然对地球本身没有直接威胁，但可能危及月球上的宇航员和设施，以及地球轨道上的卫星。这一事件促使科学家重新评估行星防御策略，考虑将月球纳入保护范围。
阅读更多