Kotlin 2.0.0 新特性 (kotlinlang.org)
Kotlin 2.0.0 发布，新 Kotlin K2 编译器稳定！K2 编译器带来显著的性能提升，加速了新语言特性的开发，统一了 Kotlin 支持的所有平台，并为多平台项目提供了更好的架构。Kotlin 2.0.0 还包含 Compose 编译器、改进的智能转换、Kotlin 多平台改进、新的实验性 Power-assert 编译器插件、对 JVM、Native、Wasm 和 JS 平台的更新以及标准库的改进。
维基媒体企业版 - 面向大型语言模型、人工智能训练等的API (enterprise.wikimedia.com)
维基媒体企业版提供企业级 API，用于搜索引擎、大型语言模型、深度学习等领域。它可以丰富用户体验，改进对用户问题的解答，并增强搜索结果，无论平台规模大小。它提供对维基媒体项目的实时访问，可以检索或流式传输任何语言的数据，并访问专为维基媒体企业版打包的元数据。
我想要灵活的查询，而不是RAG (win-vector.com)
文章作者认为当前人工智能领域对检索增强生成（RAG）的过度热情存在问题。作者认为大型语言模型（LLM）的价值更多体现在其灵活的自然语言查询界面，而不是其生成能力。作者以寻找西西里食谱为例，说明了灵活的查询界面比LLM的生成结果更有用。作者认为，与其依赖LLM生成大量可能相关的信息，不如专注于提高查询和检索的效率，才能更有效地找到所需信息。
苹果需要解释那个导致已删除照片重新出现的问题 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/24931350/236792_iPhone_15_Pro_and_15_Pro_Max_product_photos_AJohnson_0006.jpg)
苹果公司最近发布了一个修复程序，解决了iOS和iPadOS 17.5.1中一个导致已删除照片重新出现的罕见问题。该问题与数据库损坏有关，但苹果公司并未对此作出详细解释。这一事件引发了用户对苹果公司如何存储照片数据以及用户是否可以真正信任其已删除数据的质疑。尽管苹果公司一直标榜自己是一家注重用户隐私的公司，但其在这一事件中的沉默态度与其所宣称的价值观相矛盾。
微软 Phi-3 食谱：开始使用 Phi-3 的入门指南 (github.com)
微软 Phi-3 食谱是一本关于如何使用微软 Phi-3 系列的指南。Phi-3 是由微软开发的一系列开放式人工智能模型，是最强大且经济高效的小型语言模型 (SLM)，在各种语言、推理、编码和数学基准测试中优于同等规模和更大规模的模型。
数字时代的缔造者戈登·贝尔逝世，享年89岁 (arstechnica.com)
计算机先驱戈登·贝尔于5月17日逝世，享年89岁。作为数字 equipment 公司（DEC）的早期员工，贝尔在几款 influential 小型计算机系统的开发中发挥了关键作用，并与妻子共同创办了第一家大型计算机博物馆。他参与了PDP-1系统、PDP-4、PDP-6等多个 influential DEC 系统的架构设计，并在20世纪70年代以工程经理的身份，在监督VAX小型机产品线方面发挥了关键作用。退休后，他仍然活跃于企业家、政策顾问和研究人员的角色。
一种新的知识存储方式 (breckyunits.com)
本文介绍了一种全新的知识存储方法，使用纯文本文件，仅用空格和换行符来存储表格化知识。这种方法相较于传统的二进制存储格式具有许多优势，可以将所有表格化的科学知识以可计算的形式存储在一个超长的文本卷轴中。该方法的核心是四个概念：度量、概念、测量和注释。文章详细解释了这四个概念的定义和使用方法，并通过实例演示了如何将知识存储在这种格式中。文章还介绍了ScrollSets，它是该系统的第一个实现，并讨论了该系统的增强功能和潜在应用。
Linux 6.10 满足 Hans Reiser 对 ReiserFS 的最后一个请求 (www.phoronix.com)
Linux 6.10 版本将包含最后一项由前首席开发者 Hans Reiser 要求的 ReiserFS 文件系统变更。ReiserFS 的创建者 Hans Reiser 在几个月前写信公开道歉，并对 ReiserFS 在 Linux 内核中的未来提出了最后一个请求：在移除 ReiserFS 之前，在 README 文件中添加 Mikhail Gilula、Konstantin Shvachko 和 Anatoly Pinchuk 的贡献，并删除他之前关于他们没有被提及的任何言论。SUSE 的 Jan Kara 接受了这个请求，并将相应的更改提交到了 Linux 6.10 内核中。
iTerm2与人工智能炒作过载 (xeiaso.net)
iTerm2是一款流行的macOS终端模拟器，最新版本集成了AI功能，包括自然语言命令生成和代码生成。虽然这些功能很有用，但也引发了争议，因为许多用户对AI炒作感到厌倦，并担心隐私问题。一些用户甚至因为AI集成而放弃使用iTerm2，认为开发者在未经用户同意的情况下强加了这些功能。
新型Shadow Hand机器人手：为强化学习而生 (spectrum.ieee.org)
知名机器人公司Shadow Robot推出了全新三指Shadow Hand机器人手，专为强化学习设计，具备强大的耐用性和易修复性。这款机械手采用模块化设计，每个手指均可轻松更换，并配备了光学触觉传感器，能够精确检测微小的力。相比该公司之前的五指Shadow Hand，新型机械手更注重耐用性和性能，而非拟人化和尺寸，旨在满足机器人研究对硬件和软件极限的探索需求。
消失的句号之谜 (tjaart.substack.com)
本文讲述了作者在七年前开发一个文档模板系统时遇到的一个奇怪bug。客户反映说，他们发送给客户的电子邮件中缺少一个句号，但只有特定客户收到邮件才会出现这种情况。作者经过调查发现，问题出在SMTP客户端的代码中，该代码会将超过一定长度的邮件正文拆分成多行，而如果句号出现在新行的开头，它就会被SMTP服务器删除。作者通过修改代码解决了这个问题，但几个月后，另一个团队在使用相同代码时也遇到了同样的问题，导致一些客户收到的邮件中缺少小数点，从而产生了严重后果。
999、911、000、111 等紧急呼叫号码即将过时？ (www.theregister.com)
文章指出，随着技术的进步，传统的紧急呼叫号码，例如999、911、000和111，正面临着挑战。由于VoIP和移动通信的普及，依赖地面基础设施的传统系统在断电时无法使用，且地理定位也存在问题。作者认为卫星通信是更好的解决方案，并建议将紧急通信功能整合到卫星互联网服务中，以构建一个全球通用的、可靠的紧急呼叫系统。
你的Wi-Fi路由器如何变成苹果 AirTag (krebsonsecurity.com)
马里兰大学的研究人员发现，苹果公司收集并公开分享其设备可见的所有 Wi-Fi 接入点的精确位置信息，这使得他们能够跟踪全球数十亿台设备的位置，包括非苹果设备，如 Starlink 系统。他们利用这些数据监测了加沙地区的破坏情况，以及俄罗斯和乌克兰军队的行动，甚至在许多情况下还能确定他们的身份。研究人员发现，通过在地图上圈出苹果定位 API 索引的其他较小区域，他们可以监测 Wi-Fi 接入点如何随时间移动。例如，他们通过圈出乌克兰的冲突地区，确定了乌克兰和俄罗斯军队使用的 Starlink 设备的位置和移动情况。他们还发现，某些常用的旅行路由器会增加潜在的隐私风险。
从Claude 3 Sonnet中提取可解释特征 (transformer-circuits.pub)
这篇论文介绍了Anthropic如何使用稀疏自编码器从Claude 3 Sonnet模型中提取可解释特征。研究发现，这些特征高度抽象，涵盖多语言、多模态，并能概括同一概念的抽象和具体实例。一些特征与安全相关，例如代码中的安全漏洞、偏见、欺骗和犯罪内容。论文还探讨了特征的可解释性、对模型行为的影响，以及与其他方法的比较。
TEXTAREA元素应用ROWS=和COLS=属性时出现问题 (bugzilla.mozilla.org)
该文章是Mozilla bugzilla网站上关于TEXTAREA元素应用ROWS=和COLS=属性时出现问题的错误报告。报告指出，在禁用覆盖滚动条的情况下，TEXTAREA元素应用ROWS=和COLS=属性时，会出现水平/垂直滚动条额外空间的问题。该问题已存在多年，经过多位开发者的讨论和尝试修复，最终确定为与bug 1830576重复，现已关闭。
从Claude 3 Sonnet中提取可解释特征 (transformer-circuits.pub)
这篇论文介绍了Anthropic团队如何将稀疏自编码器应用于Claude 3 Sonnet模型，以提取可解释的特征。研究发现，这些特征高度抽象，能够识别代码中的错误、安全漏洞以及偏见等问题。团队使用特征操控技术证明了这些特征对模型行为的影响，例如，操控特定特征可以诱导模型产生与该特征相关的输出。 论文强调了这项研究的初步性质，并指出需要进一步研究以理解这些潜在安全相关特征的含义。
微软Edge浏览器将使用AI翻译为流媒体视频配音 (www.pcworld.com)
微软计划在Edge浏览器中使用人工智能技术，为来自路透社、CNBC、彭博社和Coursera等主要视频网站的视频提供实时翻译字幕或配音。该功能将首先支持西班牙语到英语以及英语到德语、印地语、意大利语、俄语和西班牙语的翻译，未来计划增加更多语言和视频平台。
.NET Aspire 正式发布：简化 .NET 云原生开发 (devblogs.microsoft.com)
.NET Aspire 是一个新的技术栈，旨在简化 .NET 云原生服务的开发，现已正式发布。它汇集了工具、模板和 NuGet 包，可以更轻松地构建分布式应用程序。Aspire 引入了 App Host 项目，允许开发者使用 C# 描述和配置构成分布式应用程序的各个应用程序项目和托管服务。Aspire 还包括一个基于 Web 的仪表板，用于显示正在运行的应用程序的有用信息，包括 OpenTelemetry 数据。此外，Aspire Components 简化了数据库、消息传递、缓存和云服务的连接，增强了应用程序的弹性和可观察性。
如何在谷歌中关闭人工智能概述并将“网页”设置为默认搜索引擎 (tenbluelinks.org)
本文介绍了如何在谷歌搜索中关闭人工智能概述功能，并将“网页”设置为默认搜索引擎。文章详细列举了在安卓、iOS、Windows和MacOS系统下，使用Chrome和Firefox浏览器进行设置的步骤。该方法利用OpenSearch技术，通过添加URL参数udm=14来实现。
自1775年以来的商业繁荣与萧条 (fraser.stlouisfed.org)
这篇1943年的文章以图表形式，精确地描绘了自1775年以来价格通胀、联邦债务、商业、国民收入、股票和债券收益率的过去和现在趋势，并专门研究了战后时期。
Roame 招聘创始后端工程师 (www.ycombinator.com)
Roame是一家YC孵化的初创公司，致力于利用信用卡积分和里程，为用户搜索最佳航班兑换方案。公司正在招聘一位创始后端工程师，负责后端系统的搭建和扩展，并协助前端API的开发。 理想的候选人需具备5年以上软件开发经验，精通Golang，熟悉移动系统、React和Node.js，以及AWS和Google Cloud，并有处理大规模代码库的经验。 Roame注重高效工作、主动性和责任感，提倡坦诚直接的沟通方式，并鼓励团队成员相互支持和共同进步。
微软与可汗学院合作，在美国为所有教育工作者推出免费人工智能助手 (www.nbcnewyork.com)
微软正在与辅导机构可汗学院合作，为美国所有教师免费提供生成式人工智能助手。这款名为“可汗教师助手”的程序可以帮助教师备课、分析学生表现、规划作业，并为教师提供提升自身学习的机会。该程序已于周二向美国所有教育工作者免费开放。微软和可汗学院还计划通过微软Phi-3人工智能技术提供新的开源小型语言模型，为学生提供更多人工智能驱动的数学辅导。
使用CLIP进行多模态检索和排序的套娃表征学习 (www.marqo.ai)
这篇文章介绍了一种名为套娃表征学习 (MRL) 的技术，该技术允许在向量数据库中灵活调整嵌入大小，从而在效率和粒度之间取得平衡。通过 MRL，嵌入可以压缩成更小的维度，同时在检索和排序任务中保持性能。总而言之，MRL 在不影响多模态检索和排序任务性能的情况下实现了经济高效的灵活性。
Backblaze如何扩展其存储云 (www.backblaze.com)
本文介绍了Backblaze如何使用名为CVT Copy的内部应用程序来扩展其存储云，该应用程序用于大规模执行驱动器迁移。文章详细解释了CVT流程，包括选择要迁移的Vault、设置源Vault和目标Vault、启动迁移过程、读取和写入文件、验证迁移以及重定向读取。该文章还强调了CVT在数据密度、耐久性和环境可持续性方面的优势。
Match Group、Meta、Coinbase 等公司成立反诈骗联盟 (www.engadget.com)
Match Group、Meta、Coinbase 等公司成立了名为“科技反诈骗”的新联盟，旨在合作预防网络欺诈和金融诈骗。该联盟将致力于打击诈骗者使用的工具，教育和保护消费者，并打击快速演变的金融诈骗。联盟成员将合作识别和预防网络欺诈，并利用各自在互联网上的不同影响力，更全面地了解威胁和最佳实践。
影子禁令如何悄然改变网络舆论 (insights.som.yale.edu)
耶鲁大学管理学院的研究人员发现，社交媒体平台可以通过“影子禁令”来操纵用户观点或加剧两极分化。“影子禁令”是指在用户不知情的情况下，限制其内容的可见度，例如降低帖子在其他用户时间线上的出现频率。研究人员通过模拟社交网络发现，即使表面上对两方观点都进行“影子禁令”，平台也可以通过选择性地放大或屏蔽某些链接来实现操控舆论的目的。
CADmium：专为浏览器打造的本地优先CAD程序 (mattferraro.dev)
本文介绍了一款名为CADmium的全新开源CAD程序，该程序旨在在浏览器中运行，采用本地优先的模式。CADmium基于一系列现代技术构建，包括用于3D视窗的Three.js、用于状态管理的Svelte、用于连接Svelte和Three.js的Threlte，以及用于本地运行的Electron。文章还探讨了CADmium的核心组件，包括2D约束求解器、B-rep内核、历史跟踪器、3D用户界面和文件格式，并强调了使用Rust编写的开源B-rep内核Truck的优势，以及使用JSON作为文件格式的益处。