《万智牌》的创造者准确地知道它哪里出了问题 (defector.com)
本文讲述了《万智牌》的创造者理查德·加菲尔德对这款游戏的现状感到失望。他认为，随着卡牌数量的激增和稀有卡牌的过度强大，游戏失去了其最初的“魔力”。加菲尔德更怀念早期版本中，玩家只能使用有限卡牌进行对战，这使得每张卡牌都显得更加珍贵和独特。他还批评了《万智牌》线上平台Arena，认为其缺乏面对面对战的社交性和生物性，无法复制真实游戏中玩家通过表情和互动进行交流的体验。
GitHub - fossable/goldboot: 桌面不可变基础设施 (github.com)
Goldboot 是一款构建真实硬件机器镜像的工具，可以帮助用户实现接近不可变基础设施的目标。用户可以通过声明式配置文件定义机器配置，Goldboot 使用该配置在本地机器或 CI 平台上构建镜像，生成的镜像可以通过 USB 或 PXE 启动部署到硬件。Goldboot 类似于 Docker 和 Packer 的混合体，但它构建的是真实硬件的镜像，而不是容器或虚拟机。这些镜像包含操作系统、应用程序、软件补丁和配置，所有内容都打包在一个易于部署的包中。
VMware Workstation Pro 和 Fusion Pro 现可免费供个人使用 (www.theregister.com)
VMware宣布其Workstation Pro和Fusion Pro桌面虚拟化产品将免费供个人使用。这两个产品允许用户在本地计算机上创建虚拟机，用于运行不同的操作系统或创建沙盒环境来运行特定软件。公司表示，免费版本和付费商业版本之间没有功能差异，唯一的视觉区别是免费版本会显示“本产品仅供个人使用”的文字。商业用户仍需购买付费订阅。
美国联邦政府调查Waymo无人驾驶汽车撞上停放车辆、漂移进入交通事故 (arstechnica.com)
美国国家公路交通安全管理局（NHTSA）正在调查Waymo第五代自动驾驶系统出现的22起事故报告，其中17起涉及碰撞，但没有造成人员伤亡。事故包括撞上静止物体、违反交通信号等“意外行为”。NHTSA正在调查这些事故是否表明Waymo汽车存在安全风险，或者是否需要更新以防止故障。Waymo表示，他们正在与NHTSA合作，并将继续致力于提高其自动驾驶系统的安全性。
高级 RAII 与线性类型的七大神秘用法 (verdagon.dev)
本文介绍了高级 RAII，一种利用只能在特定位置销毁的线性类型来保证特定操作被执行的编程技术。文章详细阐述了高级 RAII 如何解决缓存失效、并发错误、数据库一致性等七大常见编程问题，并分析了其在 C++、Rust 等语言中的实现挑战。文章还探讨了高级 RAII 对软件架构的影响，包括提高代码清晰度、增强 API 易用性、降低重构风险等，最后展望了线性类型和高级 RAII 在未来编程语言中的应用前景。
IBM与企业设计的变革 (computerhistory.org)
本文回顾了IBM在20世纪60年代如何通过设计改革塑造企业形象。IBM聘请了Eliot Noyes担任设计总监，Noyes简化了IBM的设计风格，使其更具现代感。他还召集了Charles和Ray Eames夫妇等知名设计师团队，通过展览、电影和书籍等多种形式，将计算机定位为人类理性的自然延伸，提升了公众对IBM的认知，也影响了美国社会对计算机技术的看法。
Dart 3.4发布，支持WebAssembly和宏 (medium.com)
Dart 3.4版本正式发布，该版本支持WebAssembly，可用于Flutter Web应用程序。此外，Dart 3.4还引入了宏的概念，这是一种元编程解决方案，可用于代码生成，例如简化JSON数据的序列化和反序列化。文章介绍了名为JsonCodable的新宏，它可以自动生成toJson()和fromJson()方法，从而简化开发人员的工作。未来，Dart团队计划允许社区创建自己的宏，以进一步提高Dart编程的抽象级别。
优化 ClickHouse：我们有效的策略 (www.highlight.io)
Highlight.io 公司每月需要处理近 100TB 的可观测性数据，其中很大一部分数据需要使用 ClickHouse 集群进行处理。为了提高 ClickHouse 集群的效率，该公司采取了多种优化策略，包括使用更大的插入批次、将数据保存在宽分区中、优化排序粒度、检查合并级别、避免使用投影、TTL 优化和清除旧分区等。这些策略有效降低了 CPU 负载，提高了查询性能，并为客户带来了更实时的体验。
一辆恶意车辆就能阻断美国“智能”街道交叉路口 (www.bleepingcomputer.com)
密歇根大学的学者研究表明，一辆恶意汽车就能够欺骗美国基于智能交通控制系统，使其误以为十字路口已满，并迫使交通控制算法改变其正常行为，间接导致交通堵塞，甚至阻塞街道十字路口。研究团队重点关注联网汽车（CV）技术，该技术目前正被纳入全球所有制造的汽车中。研究人员发现，美国交通部（DOT）实施的一种名为智能交通信号系统（I-SIG）的V2I系统存在缺陷，该系统容易受到基本数据欺骗攻击。
Muse 回顾 (adamwiggins.com)
本文是 Adam Wiggins 对其参与开发的 iPad 和 Mac 思维工具 Muse 的回顾。Muse 于 2019 年开始开发，旨在为知识工作者提供更好的数字创意环境。尽管 Muse 吸引了数万名活跃用户，并获得了 200 万美元的资金，但未能实现足够的自然增长或找到合适的商业模式。Wiggins 分析了 Muse 发展过程中遇到的挑战，包括产品定位、目标市场选择、分销渠道探索以及宏观经济因素的影响。最终，Muse 团队在 2023 年解散，业务由 Wiggins 的一位前同事接手。Wiggins 从这次创业经历中总结了一些经验教训，包括发明新的文档类型、定义新兴类别、平衡原则与自身利益以及缓慢扩张团队的优势。
Gmail 将引入 AI 功能：筛选邮件、提供搜索摘要、发送邮件 (arstechnica.com)
谷歌宣布将在 Gmail 中引入 Gemini AI 功能，该功能可以搜索用户的整个电子邮件历史记录，并在侧边栏中显示摘要。此外，Gemini AI 还能汇总来自多个联系人的电子邮件，并按价格和可用性等主题进行比较。这项功能被称为“Gemini Pro in Workspace Labs”，将于本月推出。
冷水浴或有助于心脏健康，新研究表明 (around.uoregon.edu)
俄勒冈大学的一项新研究表明，冷水浴可能对健康有益。研究发现，15分钟的冷水浸泡可以帮助改善生理健康指标，并改善参与者的心理健康。冷水浴后，参与者的的心率、血压和一种常见的压力生物标志物皮质醇都显著降低。研究人员推测，冷水浸泡的压力可能会改变参与者的切应力模式，从而促进心血管健康。
贝多芬头发揭示其耳聋和疾病之谜 (www.smithsonianmag.com)
/https%3A%2F%2Ftf-cmsv2-smithsonianmag-media.s3.amazonaws.com%2Ffiler_public%2Fda%2F1a%2Fda1ae46e-b7e8-44aa-8594-a5695edcd73d%2Fjoseph_karl_stielers_beethoven_mit_dem_manuskript_der_missa_solemnis.jpg)
近期研究发现，贝多芬的头发中含有高浓度的铅、砷和汞，这可能是导致他耳聋和肠胃疾病的罪魁祸首。研究人员推测，贝多芬日常生活中接触铅的途径包括饮用含铅的葡萄酒、使用含铅的药物以及食用来自受污染河流的鱼类。虽然研究结果并不能完全确定贝多芬的病因，但这为理解这位伟大作曲家的健康状况提供了新的线索。
谷歌利用AI全面革新搜索结果页面 (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25447224/AI_Overviews___Complex_Questions__still_.jpg)
谷歌正在利用人工智能全面革新其搜索结果页面。这项新功能被称为“AI Overviews”，它使用谷歌的Gemini AI模型来理解用户的查询，并提供AI生成的摘要和相关资源链接。谷歌还推出了其他AI驱动的功能，例如通过视频搜索、自动生成行程计划和基于AI的结果页面组织。谷歌强调AI将主要用于处理复杂查询，而简单的导航查询将保持不变。该公司致力于确保AI生成的摘要的真实性和准确性，并相信这种新的搜索方式将带来更多的网络流量。
App Store 上的 MICRO LLM (apps.apple.com)
MICRO LLM 是一款个人 AI 助手应用程序，旨在让您的生活更智能、更互联。作为一名 AI 助手，MICRO LLM 被设计成终极个人助理。从组织待办事项列表到帮助您保持高效，MICRO LLM 可让您的生活更轻松。无论您需要安排约会、设置提醒，还是仅仅找到问题的答案，MICRO LLM 都能满足您的需求。
‘Shake’ 设计文档 | 数字堆肥 (digitalcomposting.wordpress.com)
本文回顾了作者为已停产的合成软件Shake所做的UI设计文档，并分享了一些早期的草图。作者强调，这些设计并非凭空而来，而是与开发人员共同讨论和完善的结果。他也提到，Shake的界面并非一开始就设计好，而是在开发过程中逐步调整和改进的。
谷歌搜索将默认向数百万用户展示人工智能生成的答案 (www.engadget.com)
谷歌正在对其搜索引擎进行重大改革，默认情况下将向数百万美国用户展示人工智能生成的答案。这项名为“人工智能概述”的功能利用生成式人工智能直接回答用户的查询，并将链接整合到答案中。谷歌还推出了新的搜索页面，利用人工智能组织结果，并计划推出更多由人工智能驱动的功能，例如基于视频的搜索和旅行计划。这些变化旨在应对ChatGPT等人工智能应用程序的竞争，这些应用程序直接提供答案而不是链接列表。
全新APT 3.0求解器 (blog.jak-linux.org)
APT 2.9.3 引入了代号为 solver3 的全新求解器的第一个迭代版本，现在可以通过 --solver 3.0 选项使用。新的求解器与旧求解器的工作原理根本不同，它是一种完全回溯的依赖关系解决算法，尽可能地推迟选择。solver3 还引入了新的功能，例如 --no-strict-pinning 选项，该选项指示求解器考虑软件包的所有版本，而不仅仅是候选版本，以及 apt why 命令，该命令可以告诉您安装软件包的确切原因。
PaliGemma：谷歌开发者平台上的轻量级视觉语言模型 (ai.google.dev)
PaliGemma 是一款轻量级开源视觉语言模型，它可以理解图像和文本，并回答有关图像的详细问题。PaliGemma 可以用于图像字幕、物体检测和阅读图像中的嵌入文本等任务。文章介绍了 PaliGemma 的两种模型：通用预训练模型和面向研究的微调模型。此外，文章还强调了 PaliGemma 的主要优势，包括多模态理解、多功能基础模型和开箱即用的探索能力。
Glance：一个将所有订阅源集中在一处的自托管仪表盘 (github.com)
Glance是一个自托管的仪表盘，可以将所有订阅源集中在一处。它支持RSS订阅、Subreddit帖子、天气、书签、YouTube视频、日历、股票、iframe、Twitch频道和GitHub发布等多种小部件。Glance针对移动设备进行了优化，速度快，重量轻，JS代码极少，没有臃肿的框架，依赖项非常少。
模型浏览器 (ai.google.dev)
模型浏览器是一款可视化工具，允许用户分析机器学习模型和图表，加速模型部署到设备上。该工具提供了多种功能，包括：分层导航、节点搜索、数据叠加、模型对比、书签功能等。用户可以在本地或Colab笔记本中运行模型浏览器。
Meta关闭企业版Facebook Workplace (finance.yahoo.com)
Meta宣布将在未来两年内逐步关闭其企业版Facebook Workplace，并于2025年8月停止运营。此举是为了集中资源发展人工智能和元宇宙技术，Meta认为这些技术将从根本上改变人们的工作方式。公司将帮助现有客户过渡到Zoom的Workvivo产品。
谷歌 Gemini 更新：1.5 Pro 版本发布及新功能介绍 (blog.google)
谷歌发布 Gemini 1.5 Pro 版本，为高级订阅用户提供更智能的 AI 体验。该版本拥有更长的上下文窗口，可处理多达 100 万个token，能够理解多个大型文档或总结 100 封电子邮件。此外，Gemini 1.5 Pro 还新增了数据分析功能，可从上传的数据文件中创建可视化图表。谷歌还推出了新的交互方式，包括在 Google Messages 中与 Gemini 聊天，以及名为 Live 的移动对话体验，使用户能够更自然地与 Gemini 进行语音交流。
Gemini Flash：谷歌DeepMind推出的轻量级模型 (deepmind.google)
Gemini Flash是谷歌DeepMind最新推出的轻量级AI模型，主打速度和效率。它拥有高达一百万个token的上下文窗口，能够处理一小时的视频、11小时的音频以及超过3万行代码。Flash在大多数常见任务上，能以更低的成本实现与大型模型相当的质量，并且平均首个token延迟低于一秒。
Glider：开源电子墨水显示器 (github.com)
Glider是一款开源电子墨水显示器，专注于低延迟和高刷新率。它支持具有并行接口的电泳显示面板，包括单色和彩色滤光片阵列（如Kaleido）彩色屏幕。Glider具有极低的处理延迟（小于20微秒），支持二进制、4级灰度和16级灰度输出模式，以及优化的二进制和4级灰度驱动模式。此外，它还提供混合自动二进制和16级灰度驱动模式。
Veo：谷歌 DeepMind 最强大的生成视频模型 (deepmind.google)
Veo是谷歌DeepMind迄今为止功能最强大的视频生成模型，能够生成高质量、1080p分辨率、时长超过一分钟的视频，并涵盖各种电影和视觉风格。它能够准确捕捉提示的细微差别和语气，并提供前所未有的创意控制水平，理解各种电影效果的提示，例如延时摄影或景观航拍。Veo将帮助创建让每个人都能制作视频的工具，为故事讲述、教育等领域开启新的可能性。
Project Astra：谷歌人工智能的未来是快速、多模态的助手，如Gemini Live (www.theverge.com)
/cdn.vox-cdn.com/uploads/chorus_asset/file/25447271/Gemini_Astra.jpg)
在谷歌 I/O 大会上，谷歌 DeepMind 负责人 Demis Hassabis 展示了 Project Astra，这是一个实时、多模态的 AI 助手，可以看到世界，知道事物是什么以及你把它们放在哪里，可以回答问题或帮助你完成几乎任何事情。Astra 仅仅是今年 I/O 大会上众多 Gemini 公告中的一个。谷歌正在快速推进模型本身，并将其呈现在用户面前。Hassabis 说，人工智能的未来将不再局限于模型本身，而更多地是关于它们能为你做什么，而这将是关于代理的故事：不仅仅是与你交谈，而是代表你完成任务的机器人。
iPad Pro宣言 (2024 版) (www.highcaffeinecontent.com)
本文是开发者对 iPad Pro 软件功能的改进建议。作者认为 iPadOS 应该支持后台任务、虚拟化和 macOS、改进窗口化和标签页功能、增强音频/视频处理能力、开放插件和自定义扩展接口、提升文件应用的可靠性、提供完整的磁盘/文件系统访问和 API、支持实时编译、允许本地应用编译和安装、增加菜单栏功能以及建立内置帮助系统。作者认为 iPad 硬件性能强大，但软件功能限制了其潜力，呼吁苹果公司改进 iPadOS，使其真正成为“计算的未来”。
超越天才测试的天才：弗兰克·拉姆齐 (www.hnn.us)
弗兰克·拉姆齐是一位杰出的数学家、哲学家和经济学家，他对哲学、经济学、纯数学、数理逻辑、数学基础、概率论和决策论等七个学科做出了不可磨灭的贡献。拉姆齐在短暂的一生中取得了惊人的成就，他在21岁时就成为了剑桥大学国王学院的研究员，并对概率论、税收理论、储蓄理论等领域做出了开创性的贡献。此外，他对哲学领域也产生了深远的影响，他的真理和知识理论是美国实用主义传统的最佳体现。拉姆齐英年早逝，年仅26岁，但他的思想遗产至今仍影响着我们。