TeX Live 2025 ISO 发布!
TeX Live 2025 ISO镜像终于发布了!你可以通过多种方式获取它,例如直接下载(注意镜像同步需要时间,部分镜像可能尚未更新),或者通过种子文件下载。作者连续七年负责TeX Live ISO种子的创建和初始分发,并对TeX和LaTeX在过去近二十年里带来的高效和乐趣表达了由衷的感谢。
阅读更多
TeX Live 2025 ISO镜像终于发布了!你可以通过多种方式获取它,例如直接下载(注意镜像同步需要时间,部分镜像可能尚未更新),或者通过种子文件下载。作者连续七年负责TeX Live ISO种子的创建和初始分发,并对TeX和LaTeX在过去近二十年里带来的高效和乐趣表达了由衷的感谢。
阅读更多
一位在谷歌工作了19年的资深工程师离开了公司,他长期参与Go语言的开发工作。文章回顾了他14年的Go语言开发历程,从最初的编译器前端开发到后来的语言特性改进(例如泛型),以及对Go项目整体方向的贡献。作者认为Go语言仍有很大的发展空间,并表示未来希望继续为Go语言贡献力量。
阅读更多
作者重读了乌苏拉·勒奎因的《地球海》系列小说,这次阅读的是一套完整的带插图版本,插画由他喜爱的查尔斯·维斯创作。这套书包含六部小说、一些短篇故事和附录,篇幅巨大。作者对插画的质量褒贬不一,认为虽然精美,但与维斯以往的风格略有不同。尽管书页尺寸巨大,字号略小,阅读体验略显不便,但整体阅读体验仍然令人满意。作者认为,《地球海》系列小说依旧精彩,尤其是第四部《特哈努》的黑暗和残酷令人印象深刻。这套新版让作者重新欣赏了这个经典奇幻世界,并对作者在构建世界和人物方面的高超技巧赞叹不已。
阅读更多
为了应对日益严重的“阅读危机”,丹麦政府宣布将取消目前全欧洲最高的25%书籍销售税。这一举动旨在鼓励更多公民购买书籍,预计每年将使国家财政损失3.3亿丹麦克朗(约合5100万美元)。OECD的最新教育报告显示,24%的丹麦15岁青少年无法理解简单的文本,比十年前增加了4个百分点,这引发了丹麦政府的担忧。丹麦出版行业此前也曾呼吁减税,认为政府有责任保证所有丹麦人(包括儿童和成人)都能获得实体书。
阅读更多
传统观点认为多边形数量决定渲染性能,但现代渲染更受微小三角形的影响。文章指出,微小三角形(小于10x10像素)的渲染成本呈指数级增长,因为GPU会计算整个2x2像素块,即使三角形只覆盖其中一个像素。作者建议关注“线框视图密度”,当视图接近实心时,应切换到更低细节等级的模型,或直接使用单个LOD和远处遮挡物(imposter)。Epic的Nanite技术通过计算着色器和屏幕空间着色器来解决这个问题,将微小三角形的渲染成本降到最低。
阅读更多
arXivLabs是一个框架,允许合作者直接在我们网站上开发和共享新的arXiv功能。与arXivLabs合作的个人和组织都秉承并接受了我们开放、社区、卓越和用户数据隐私的价值观。arXiv致力于这些价值观,并且只与遵守这些价值观的合作伙伴合作。 有一个项目的想法可以为arXiv的社区增加价值吗?了解更多关于arXivLabs的信息。
阅读更多
尽管此前承诺停止竞标英国公共部门合同,但日本IT巨头Fujitsu仍在继续参与大型IT项目招标,引发英国议员和上议院议员的强烈质疑。这与Fujitsu供应的Post Office Horizon系统故障导致数百名邮局分局局长被错误定罪的丑闻有关。尽管Fujitsu表示只应政府要求才参与竞标,但其仍中标了北爱尔兰土地注册系统项目,并继续竞标其他政府合同,包括价值3.7亿英镑的TSS项目。议员们担忧Fujitsu在赔偿受害者问题悬而未决的情况下,继续获得政府巨额合同,损害政府声誉,并要求政府对此进行评估和解释。
阅读更多
Rust 社区长期以来面临着未初始化缓冲区处理的难题。John Nunley 和 Alex Saveau 提出了一种新方法,使用 Buffer trait 来解决这个问题。该 trait 允许安全地读取未初始化缓冲区,并为 `&mut [T]` 和 `&mut [MaybeUninit]` 提供了实现。此外,它还支持利用 Vec 的剩余容量,并封装了不安全的 `Vec::set_len` 调用。该方法已集成到 rustix 1.0 中,并发布为独立库 buffer-trait,未来可能成为 Rust 标准库的一部分。
阅读更多
研究人员开发了一种新型脂质纳米颗粒(LNP X),能够高效地将mRNA递送至静息的CD4+ T细胞,无需预先刺激。这与现有的LNP制剂形成鲜明对比,后者需要激活T细胞才能有效递送mRNA。LNP X的改进在于其脂质成分,它包含SM-102和β-谷甾醇,从而提高了mRNA的胞质递送效率和蛋白质表达。研究还表明,LNP X能够递送编码HIV Tat蛋白的mRNA,有效逆转HIV潜伏感染,并能递送CRISPRa系统,激活HIV转录。这项研究为开发新型HIV疗法提供了新的可能性,有望显著改善患者预后。
阅读更多
芬兰小镇Pornainen建成了全球最大的沙子电池,利用废弃的滑石粉储存热能,为当地地热供暖系统提供电力。该电池储热量达1000兆瓦时,可持续供热一周,并减少60%的木屑消耗。与昂贵的锂电池相比,沙子电池的原材料成本低廉,建设也相对简单,极具经济性,为可持续能源发展提供了新的思路。
阅读更多
CD Projekt Red (CDPR) 发布财报,宣布《赛博朋克2077》续作(暂称《赛博朋克2》)已从概念阶段进入预制作阶段,目前已有96名开发者参与其中。虽然官方未公布具体发售日期,但公司表示会在“适当的时候”推出。同时,《赛博朋克2077》的资料片《往日不再》销量突破1000万份,并将于6月5日作为任天堂Switch 2的首发游戏发行。此外,CDPR还庆祝了《巫师3:狂猎》十周年,并宣布该游戏销量已突破6000万份。
阅读更多
GroMo 举办的 FinArva AI 黑客马拉松 2025,由 AWS 赞助,旨在利用 AI 和产品创新解决印度最棘手的金融分销问题。参与者将有机会设计针对印度下一批用户的智能解决方案,获得独家指导,向顶级金融科技领导者展示他们的想法,并角逐超过 100 万卢比的奖金。此次活动面向所有大学生、在职专业人士和 AI 爱好者,团队规模为 3-5 人。
阅读更多
美国联邦贸易委员会(FTC)指控通用汽车(GM)及其OnStar系统未经用户充分告知和同意,收集、使用并出售数百万车辆用户的精确地理位置数据和驾驶行为信息,并将这些数据出售给保险公司等机构。FTC已发布一项拟议令,禁止GM在五年内将此类数据出售给消费者报告机构。此举源于《纽约时报》的调查,该调查发现GM收集客户的驾驶习惯数据(包括急刹车、夜间驾驶和超速等),并将其出售给保险公司,导致许多车主保费上涨。GM回应称已采取措施,包括停止Smart Driver计划并停止向数据分析公司出售数据。FTC的命令需经过30天的公众意见征询期后才能生效。
阅读更多
尽管公开宣称AI带来巨大商机,但越来越多的S&P 500公司在其财务文件中将AI列为重大风险。Autonomy Institute的研究显示,四分之三的S&P 500公司已更新风险披露,详细说明了与AI相关的风险,包括网络安全威胁(如深度伪造和恶意代码生成)、数据隐私、知识产权以及对第三方AI供应商的依赖。一些公司甚至警告称,AI投资可能无法获得预期回报。虽然公众关注AI带来的失业问题,但企业更担心AI损害自身利益及暴露敏感数据。这一转变反映了企业对AI风险的日益重视。
阅读更多
美国国家标准与技术研究院(NIST)研发出世界上最精确的原子钟,基于囚禁的铝离子,其精度达到了惊人的19位小数。这项突破性进展源于20年的持续改进,不仅精度比之前的记录高41%,稳定性也提高了2.6倍。研究团队巧妙地将铝离子与镁离子配对,利用“量子逻辑光谱”技术克服了铝离子难以操控的难题。此外,他们还重新设计了离子阱和真空腔,解决了离子微运动和氢气干扰等问题,并利用来自JILA的超稳定激光进一步提升了精度。这项成就为重新定义“秒”以及探索量子物理新领域铺平了道路,甚至可能用于探测自然基本常数的变化。
阅读更多
Go 1.23 引入了标准化的迭代器,它们功能强大,可作为闭包使用。然而,官方文档对迭代器的分类含糊不清。本文作者建议将迭代器分为“纯”和“杂”两类,“纯”迭代器在每次调用时都从头开始,而“杂”迭代器则可能保留状态。文章探讨了不同类型的迭代器,以及在性能和一致性之间如何权衡利弊,最终指出Go迭代器仍在发展中,其规范和术语仍需完善。
阅读更多
构建有效的生成式AI工作流程面临组合爆炸问题,Syftr是一个开源框架,它利用多目标贝叶斯优化自动识别在准确性、成本和延迟约束下帕累托最优的工作流程。Syftr 通过高效搜索大量的配置空间,找到在准确性和成本之间取得最佳平衡的工作流程,并在CRAG Sports基准测试中取得了显著成果,将成本降低了近两个数量级。Syftr 支持多种组件和算法,并与其他优化工具兼容,为生成式AI系统的构建提供了一种高效可扩展的方法。
阅读更多
还在为学习Helm而苦恼吗?这份简易指南将带你快速掌握Helm的核心知识,并通过实际案例讲解如何高效管理Kubernetes部署。内容涵盖Helm基础、安装配置、高级特性、自定义图表创建以及依赖管理等,适合开发者、系统管理员和DevOps工程师快速上手。无需冗长的学习过程,即可掌握Helm精髓,提升工作效率。
阅读更多
Apple TV+上线五年多,除了《泰德·拉索》的爆红,一直难以获得主流关注。制作人Alex Berger吐槽Apple TV+的营销策略糟糕,以其制作的法国剧集《La Maison》为例,尽管在欧洲大获成功,但由于Apple几乎没有进行任何宣传,导致鲜有人知。这并非个例,Apple TV+对非英语剧集的营销力度尤其不足,许多优质剧集因此被埋没,凸显了其营销策略的巨大缺陷。
阅读更多
Matrisk AI公司在构建车辆碰撞地理空间风险评分时,意外发现车辆识别码(VIN)和碰撞时间线的对比分析可能暗示着保险欺诈。通过分析数百万起车祸数据,他们发现某些VIN在短时间内多次发生事故,且存在频繁更换保险公司的情况,以及深夜单车事故等可疑模式。这些模式与已知的保险欺诈手法相符,例如,在一个6个月的滚动窗口内,同一个VIN发生至少5次事故。虽然这不能作为最终的欺诈证据,但这些发现为保险公司提供了早期识别高风险车辆和潜在欺诈行为的线索,有助于优化资源配置,减少保险欺诈造成的损失。
阅读更多
Context Engineering(上下文工程)正成为AI领域的热门话题,它超越了简单的Prompt Engineering(提示工程),关注为大型语言模型(LLM)提供充分的上下文信息,使其能够有效解决问题。文章指出,AI代理的成功与否主要取决于上下文质量,而非模型本身。Context Engineering并非简单的指令,而是包含初始指令、用户提示、短期记忆、长期记忆、外部信息检索、可用工具和结构化输出等多个方面。一个成功的AI代理,例如能够根据邮件安排会议,需要整合日历、邮件历史、联系人信息等上下文,才能生成人性化的回复,而非简单的机械式回应。文章强调,Context Engineering 是一个动态系统,需要在正确的时间提供正确的信息和工具,以确保LLM能够完成任务,这才是构建强大可靠AI代理的关键。
阅读更多
Spillhistorie.no采访了Super Cars的两位开发者Andrew Morris和Shaun Southern,讲述了这款1991年Amiga经典赛车游戏背后的故事。游戏灵感源于Super Sprint,加入了武器和策略元素,并以其独特的幽默问答环节而闻名。开发过程中面临着严格的期限和技术挑战,例如在Atari ST版本中处理图形和AI。尽管盗版猖獗,但Super Cars系列仍取得了不错的销量,并留下了良好的口碑,两位开发者至今仍对续作充满期待。
阅读更多
SerenityOS项目的Ladybird浏览器引擎在其LibJS JavaScript引擎中存在一个Use-After-Free (UAF)漏洞。该漏洞源于解释器参数缓冲区的错误管理,攻击者可通过精心构造的代理函数对象和恶意`[[Get]]`处理程序触发该漏洞。利用该漏洞,攻击者可以实现任意内存读写,最终获得代码执行权限,例如执行`/calc`命令。研究人员利用Fuzzilli模糊测试工具发现了该漏洞,并通过一系列步骤,包括内存泄露和伪造对象,最终实现了漏洞利用。
阅读更多
亚马逊创始人杰夫·贝索斯宣布华盛顿邮报评论版块将聚焦“个人自由和自由市场”两大支柱,引发轩然大波。这一决定导致评论版主编辞职,并遭到部分员工和读者的强烈反对。贝索斯认为互联网已能涵盖各种观点,此举旨在明确立场,但此举被批评为压制不同声音,与华盛顿邮报此前坚持的客观公正的新闻理念背道而驰。此次变革也引发了对新闻自由和媒体独立性的担忧。
阅读更多
YC孵化的Legion Health公司正在招聘顶尖AI工程师,致力于构建AI驱动的精神医疗系统。他们不专注于AI诊断,而是利用AI优化运营,提升患者护理效率和可及性。工程师将参与LLM工作流程优化、AI模型改进(调度、风险评估、收入周期自动化)、反馈循环优化以及基于强化学习的AI训练等工作。理想候选人拥有3年以上AI/ML工程经验,精通Python和ML(LLM、NLP、PyTorch/TensorFlow),并对医疗AI有兴趣。
阅读更多
CES 2025展会上,一款名为Nuwa Pen的智能笔惊艳亮相。它内置三个微型摄像头,可以将你写在纸上的内容实时数字化,并存储到配套的应用程序中。你甚至可以通过应用内置的大型语言模型搜索笔记内容,提出问题。虽然目前准确率有待提高,但Nuwa Pen为手写笔记的数字化提供了一种全新的方式,其“无限画布”功能也极具创意,对于需要快速记录和检索信息的用户来说非常实用。
阅读更多
本文介绍了一种利用超声波进行数据传输的有趣方法。作者巧妙地将数据编码成超声波信号,通过手机的麦克风和扬声器实现设备间的近距离通信。虽然该方法存在一些局限性,例如抗干扰能力弱、速度慢等,但它展现了利用日常设备进行非传统通信的可能性,并启发人们思考其在实际应用中的潜力,例如辅助会议软件识别附近设备。
阅读更多
阿里巴巴达摩院推出了全新多模态模型Qwen VLo,它不仅能理解图像内容,还能根据理解生成高质量图像。该模型采用渐进式生成方法,从左到右、从上到下逐步构建图像,确保最终结果一致和谐。Qwen VLo支持多种语言指令,能执行图像编辑、风格迁移等复杂任务,甚至能理解自身生成的图像内容。目前该模型仍处于预览阶段,但其强大的多模态能力展现了AI在图像生成领域的巨大潜力。
阅读更多
Qodo Gen CLI是一个强大的命令行界面工具,用于构建、管理和运行AI代理。它允许开发者创建自定义代理,自动化软件开发生命周期(SDLC)中的工作流程,并将AI能力集成到任何IDE中。Qodo Gen CLI支持多种LLM、灵活的部署方式,并提供终端和浏览器交互界面。它可以自动化代码审查、文档生成、测试覆盖率等任务,提高开发效率,让开发者专注于核心功能开发。
阅读更多