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