站长之家(ChinaZ.com)8月2日消息，近日，小米发布了被寄予厚望的笔记本产品，按照此前小米笔记本Air发布会现场预告，小米笔记本Air将于8月2日早10点在小米商城和全国小米之家同步开始首轮发售，其中小米笔记本Air 12.5英寸版售价3499元，13.3英寸版售价4999元。
其中小米笔记本Air 13.3"配备了英特尔酷睿i5-6200U处理器、超窄边框、全金属机身设计，搭载了NVIDIA GeForce 940MX独立显卡、256GB的PCIe固态硬盘并可额外扩展，并且支持个性化定制全金属机身设计，内置小米同步软件。
而小米笔记本Air 12.5"则如时尚杂志般大小，最厚处12.9mm，比11英寸MacBook Air的最厚处还要薄4.1mm，全金属机身1.07公斤重。小米笔记本Air 12.5"配备功耗更低的酷睿M3处理器，无需风扇，使用时间延长至11.5小时。
（举报）
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
微软将在年度Build大会上揭示全新的人工智能工具，用于PC和云端应用。CEOSatyaNadella在一月份告诉分析师，2024年将成为“AI成为每台PC的头等部分”的一年五月的会议议程也反映了这一目标。你可以在这里找到2024年Build大会的完整会议目录。
Windows11家庭版和专业版用户可能很快就会在开始”菜单中看到官方推荐的广告。微软已经在Windows11上测试在开始”菜单的推荐区域中显示广告，这些广告将包括网站、应用程序以及简要的推广说明。该功能处于预览测试阶段，最终是否上线还要看用户的反馈。
Windows虽然每一代都有新面貌，但如此庞大复杂的操作系统，不可能所有地方都照顾到，甚至有的界面很多年都不会变，比如说格式化界面，已经整整30年没动了。曾在微软工作的程序员DavePlummer回忆说，Windows格式化界面是他在1994年设计的只是个临时设计，没想到一直用到了今天。DavePlummer还曾在90年代、21世纪初参与过MS-DOS、Windows的许多开发工作，包括任务管理器、SpaceCadet弹球游戏，以及WindowsXP第一版激活系统等等，2003年离开微软。
铁威马对最新NAS系统TOS6中的文件管理”工具进行了深度优化，并新增了许多便捷的功能。为了向用户提供更流畅、更便捷的文件管理体验，铁威马的研发团队借鉴了WindowsOS和MacOS在文件管理方面的优点。铁威马介绍称，除了上述功能，文件管理还新增和优化了文件全选与反选、文件任务进度、更多文件上传来源、文件冲突策略、自定义外网分享链接”等功能，为用户打造更便捷高效地文件管理工具。
Microsoft最新发布的Windows11Moment5更新带来了一系列令人期待的AI功能。在这次更新中，用户可以体验到VoiceAccess功能的新增，该功能使得跨窗口操作变得更加容易，同时还可以在VoiceAccessCommands窗口中设置语音快捷方式，例如复制粘贴文本、打开特定文件或应用程序等。Windows11Moment5更新为用户带来了更多AI功能，使得操作系统的使用更加智能和便捷。
德国北部的石勒苏益格-荷尔斯泰因州政府宣布了一项重大变革计划，即将更换政府计算机中的微软系统和软件。这意味着约有3万台政府计算机将从微软的Windows和Office365迁移到使用Linux和LibreOffice等开源软件。尽管微软的一些产品，如ActiveDirectory，目前尚无可替代的开源替代品，但该州政府已经着手计划构思和开发一种基于开源代码的目录服务，以在未来替代微软的ActiveDirectory。
前微软工程师DavePlummer回顾了他的职业生涯，尤其提到了一段趣事，那就是30年前为了让Windows系统支持ZIP压缩文件格式，自己差点丢了工作。DavePlummer曾在微软实习期间就开发了WindowsNT4.0系统的任务管理器等核心组件，功勋卓著，这也成了他保住饭碗的关键原因。以后还会分享更多在微软工作期间发生的趣事。
除了骁龙XElite外，高通还在测试代号为X1P”的SoC存在两个版本。正在测试的两款SoC的SKU编号为X1P”，由于骁龙XElite的SKU编号为X1E”，因此可以暂时理解为这两款SoC命名是骁龙XPLUS。且已有测试中的骁龙X系列集成了高通第四代5G基带骁龙X65，若相关产品研制成功，以后将会有更多支持5G网络功能的笔记本电脑推出。
去年，微软宣布了一项针对Windows10的扩展支持计划，允许用户在2025年10月官方支持结束之后付费购买持续的安全更新。微软终于公布该计划的定价策略，每台设备起价61美元，并且三年内每年翻一番。Windows112021年就发布了，尽管微软尽了最大努力，用了各种办法，包括向老用户弹窗等等，但其市场份额表现依然远远落后于Win10。
4月18日，以“AIforAll，让世界充满AI”为主题的2024联想创新科技大会在上海成功举办。大会全面展现了联想围绕混合式人工智能所构建的核心主张、战略图蓝图及最新技术成果，联想昭阳AI笔记本也进行了全新升级，并内置了AI新物种——“联想小天”商用版。这意味着联想小天将作为个人专属“智能体”，带领我们正式迈入AI时代，为各行各业带来更高效、智能的工作体验，激发更澎湃的创新动能。
笔灵 AI 写作是一款专业的 AI 论文写作助手，通过人工智能技术帮助用户撰写高质量的论文。其主要优点包括快速生成论文大纲、节省写作时间、提供各类论文模板和服务。产品定位于提高论文写作效率和质量，适用于学生、研究人员等写作需求。
IDM-VTON是一种新型的扩散模型，用于基于图像的虚拟试穿任务，它通过结合视觉编码器和UNet网络的高级语义以及低级特征，生成具有高度真实感和细节的虚拟试穿图像。该技术通过提供详细的文本提示，增强了生成图像的真实性，并通过定制方法进一步提升了真实世界场景下的保真度和真实感。
PhotoMagic 是一款使用人工智能技术的图片处理工具，通过简单操作即可快速生成商业级图片。其主要优点包括快速高效、大幅降低图片处理成本，定位于帮助用户在电商等场景下快速生成吸引人的图片。
京东羚珑是一站式内容生产与管理服务平台，提供商品主图设计、广告 banner 设计、店铺首页设计等功能。其主要优点包括丰富的模板选择、免费设计服务、高效便捷的操作流程。产品定位于为商家提供设计合作伙伴服务。
Overleaf 是基于 LaTeX 的在线协作编辑器，无需安装，支持实时协作、版本控制、数百种 LaTeX 模板等。适用于科学和技术领域的文档写作。
Continue是一个专为软件开发者设计的开源IDE扩展，它通过提供自动化和智能化的工具来加速AI软件的开发流程。它允许开发者在构建软件时保持流畅的工作状态，通过插件和系统整合，轻松开始并加速开发过程。Continue支持多种编程语言的代码自动完成，提供代码段的重写功能，并允许通过自然语言指令来优化代码。它还支持与多种AI模型和开发环境的整合，使得开发者能够构建一个随着新功能出现而进化的软件系统。
Cohere Toolkit是一个开源的AI应用程序开发工具包，它提供了一套生产就绪的应用程序，可以在云服务提供商上部署。这些应用程序可以访问Cohere的Command、Embed和Rerank模型，并且可以连接到企业数据和特定团队，以提高生产力。该工具包包含用于构建独特应用程序并可扩展部署的组件。
Bunny 是一系列轻量级但功能强大的多模态模型，提供多种即插即用的视图编码器和语言主干网络。通过从更广泛的数据源进行精选选择，构建更丰富的训练数据，以补偿模型尺寸的减小。Bunny-v1.0-3B 模型在性能上超越了同类大小甚至更大的 MLLMs（7B）模型，并与 13B 模型性能相当。
llava-llama-3-8b-v1_1是一个由XTuner优化的LLaVA模型，它基于meta-llama/Meta-Llama-3-8B-Instruct和CLIP-ViT-Large-patch14-336，并通过ShareGPT4V-PT和InternVL-SFT进行了微调。该模型专为图像和文本的结合处理而设计，具有强大的多模态学习能力，适用于各种下游部署和评估工具包。
ID-Animator是一种零样本人类视频生成方法，能够在不需要进一步训练的情况下，根据单个参考面部图像进行个性化视频生成。该技术继承了现有的基于扩散的视频生成框架，并加入了面部适配器以编码与身份相关的嵌入。通过这种方法，ID-Animator能够在视频生成过程中保持人物身份的细节，同时提高训练效率。
HiDiffusion是一个预训练扩散模型，通过仅添加一行代码即可提高扩散模型的分辨率和速度。该模型通过Resolution-Aware U-Net (RAU-Net)和Modified Shifted Window Multi-head Self-Attention (MSW-MSA)技术，动态调整特征图大小以解决对象复制问题，并优化窗口注意力以减少计算量。HiDiffusion能够将图像生成分辨率扩展到4096×4096，同时保持1.5-6倍于以往方法的推理速度。
Snowflake Arctic 是一款专为企业级人工智能任务设计的大规模语言模型（LLM），它在 SQL 生成、编码以及指令遵循等基准测试中表现出色，即使与计算预算更高的开源模型相比也毫不逊色。Arctic 通过其高效的训练和推理，为 Snowflake 客户以及广大 AI 社区提供了一种成本效益极高的定制模型创建方式。此外，Arctic 采用 Apache 2.0 许可，提供无门槛的权重和代码访问，并通过开源数据配方和研究洞察，进一步推动了社区的开放性和成本效益。
OpenVoice V2是一款文本到语音（Text-to-Speech, TTS）的模型，它在2024年4月发布，包含了V1的所有功能，并进行了改进。它采用了不同的训练策略，提供了更好的音质，支持英语、西班牙语、法语、中文、日语和韩语等多种语言。此外，它还允许商业用途的免费使用。OpenVoice V2能够精确地克隆参考音调色彩，并在多种语言和口音中生成语音。它还支持零样本跨语言语音克隆，即生成语音的语言和参考语音的语言不需要在大规模多语种训练数据集中出现。
超会 AI 是一款基于人工智能的爆款内容制造机，能够以 10 倍速度智能生产商品内容和自动化营销，帮助企业提高流量和销售额。产品背景信息丰富，价格适中，定位于为企业提供内容制造和营销解决方案。
OpenELM是由苹果公司开发的语言模型家族，旨在为开源研究社区提供先进的语言模型。这些模型基于公开可用的数据集训练，不提供任何安全保证，可能产生不准确、有害、有偏见或令人反感的输出。因此，用户和开发者需要进行彻底的安全测试，并实施适当的过滤机制。
豆绘商拍是一款利用先进 AI 技术提供商品图和服装图生成服务的工具，能快速实现抠图、背景更换和模特换脸等功能，帮助企业提升品牌形象和市场竞争力。
intellisay是一个通过语音输入创建每日计划的生产力工具。它使用人工智能技术，将语音转录和分析，然后提供一个优化的计划来实现成功。它能够帮助用户节省时间，从而更高效地完成任务。该产品背后的主要优点是快速设置和使用，以及跟踪任务和习惯的能力。
Grimo AI是一个帮助用户构建、增长和整理知识的平台。它集合了Obsidian、Github和Quora的优点，提供了简单易用的界面和功能。用户可以通过查询获取来自任何人、任何地方的见解，并将这些见解分叉到自己的工作区。Grimo AI的核心优点包括：1. 将知识整理成精华；2. 从任何地方学习；3. 构建一个强大的知识社区。Grimo AI的定位是帮助用户更高效地获取和组织知识。
Bland是一个用于构建AI电话呼叫应用程序的平台，它提供了简单易用的API接口，使开发者能够轻松地创建自己的智能电话代理。Bland的主要优点是快速搭建和部署，可扩展性强，同时提供了丰富的文档和支持。无论是用于销售呼叫中心、客服代理、营销自动化还是其他领域，Bland都能帮助企业提高效率，节省时间和资源。
Cici是您的AI朋友和浏览器助手。她可以回答您的问题，摘要网页内容，提供快速的词语翻译，并执行智能搜索。她可以为您做到这一切。
