7 月 4 日消息，据 xiaomiui 的消息，MIUI 15 开发版已经出现在小米服务器当中，而根据 MIUI 的推送规律，预计在全球市场共有 45 款机型将无缘升级。
此次出现的 MIUI 15 开发版版本号有两个，分别是 23.5.22 和 23.7.2，代表两个版本分别在 2023 年 5 月 22 日和 7 月 2 日开始开发工作，也说明 MIUI 15 已经开发大约两个月的时间。
根据 xiaomiui 的推测，将有 45 款机型不会获得 MIUI 15 的推送，包括小米 10 Lite 5G、Redmi K30 系列、Redmi Note 9 系列及更早的机型。
MIUI 15 将与小米 14 系列同时发布，正式推送将在发布之后分批进行。根据已经出现的小米 14 系列的设备型号“2312 和 2311”，合理地推断小米 14 将在 2023 年 11 月或 12 月发布，MIUI 15 的推送将会在今年 12 月开启。
（举报）
11.11云上盛惠！海量产品 · 轻松上云！云服务器首年1.8折起，买1年送3个月！超值优惠，性能稳定，让您的云端之旅更加畅享。快来腾讯云选购吧！
腾讯云
12-20
微软与OpenAI据称正在计划一个突破性的数据中心项目，其中将包括一台名为“星际之门”的人工智能超级计算机。据《TheInformation》的AnissaGardizy和AmirEfrati报道，该项目的目标是减少这两家公司对Nvidia的依赖，这是许多涉足人工智能领域的科技巨头正越来越努力做到的事情。”《TheNextPlatform》还表示，如果“星际之门”确实建成，它将基于未来一代的CobaltArm服务器处理器和MaiaXPUs，以太网扩展到单台机器上的数十万到100万个XPUs，并且绝对不会基于Nvidia的GPU和互连技术，如果这些传言是可信的话。
3月26日晚，海底捞发布2023年年度报告，业绩创历史新高。2023年，海底捞的整体营收为414亿元，同比增长33.6%;净利润近45亿元，同比增长174.6%。在“中国最牛服务员”的带领下，海底捞能否熬过价格战，保住服务与口碑的同时进一步画出更大的版图有待观察。
今天，小米14Ultra推送了新版澎湃OS，更新后14Ultra正式支持5.5G网络，成为小米首款支持该技术的手机。5.5G被视为5G向6G过渡的中间阶段移动通信技术，虽然仍属于5G范畴，但在连接速率、时延、定位、可靠性等方面都有约10倍的提升。值得一提的是，骁龙8Gen3处理器集成了骁龙X75基带，原生支持5.5G，这意味着像小米14Ultra这样搭载骁龙8Gen3处理器的设备都能通过升级来支持5.5G网络。
华为官方发布了HarmonyOS4.2的百机升级计划，旨在提供更流畅、便捷的系统体验。此次升级将影响180余款智能设备，包括手机、平板、手表、耳机和智慧屏等。以下是此次升级涵盖的机型。
快科技4月11日消息，今晚8点，知名艺人鞠婧祎惊喜现身QQ平台，参与花间令”活动，意外把QQ服务器搞崩溃了。腾讯QQ此前预告，粉丝们可以通过搜索花间令鞠婧祎”关键词进入特定频道，查看置顶帖子并留言互动，即有机会获得鞠婧祎的亲自回复。然而，活动开始后不久，部分用户反映无法正常发送评论，界面出现发送失败，点击重试”的提示。面对网友的询问，鞠婧祎幽默回应称：QQ被吓到了。”腾讯QQ官方也转发了这一消息，并调侃道：被小鞠说中了！看来鹅真的被大家的热情吓到了！期待小鞠再次光临～”网友们则给QQ提出了建议，希望下次能够提前
尽管戴尔旗下PC产品在中国市场销量大幅下降，但这并没有影响到戴尔的股价表现。截至美股收盘时，戴尔股价涨幅扩大至超过5%，创下历史新高。与此形成对比的是，戴尔在2023年的出货量几乎腰斩”，环比下降了44%，仅剩下了314.8万台的出货量。
前两天刚刚疯传的Suno挑战者、“音乐版Sora”正式现真身:正式名称Udio，已完全免费开放，每人每月有足足1200首额度，网友们都玩疯了。有人居然写了首催更奥特曼快点发布GPT-5的金属作品:咳咳，更高能的甚至还创作出了脱口秀……!创始人看完都直拍大腿:这绝对是我们意料之外的功能。Udio目前完成的种子轮融资中，投资人包括ins的联创兼CTOMikeKrieger、谷歌Gemini负责人OriolVinyals�
2024QS世界大学学科排名出炉了!在计算机科学专业排名中，MIT、卡内基梅隆大学、斯坦福大学占领了世界前三席，中国大陆有8所高校进入百强，清华大学排名最高，并列第11。2024QS世界大学学科排名来了!总体和23年变化不大。国际研究网络国际研究网络指数反映了院校通过与其他高等教育机构建立可持续的研究合作关系，使其国际研究网络地域多样化的能力。
今天，小米公司王腾现身深圳，他表示要跟深圳研发团队盘点下一款要上市的新品。RedmiK70至尊版由Redmi深圳研发团队打造，相比往年，其发布时间会提前。RedmiK70至尊版由此成为小米旗下性能最强悍的旗舰手机。
近日互联网上涌现了大量关于小米汽车的评测，其中一位汽车博主对小米SU7标准版的城市续航能力进行了测试，实测结果达到615公里。小米集团创始人雷军转发了相关评测，并评论称：事实胜于雄辩，我们的标准版，不是丐版，不是减配版，配置可能是很多车型的天花板！不过小米SU7的电池容量更大，最终实现了490公里的续航距离，相比之下，Model3在跑了421公里后便耗尽电量。
chat-ui是一个开源的聊天界面，使用开源模型如OpenAssistant或Llama。它是一个SvelteKit应用程序，为hf.co/chat上的HuggingChat应用提供支持。该产品允许用户通过自定义配置来运行和部署自己的Chat UI实例，支持多种语言模型和功能，如Web搜索、自定义模型等。
360AI 浏览器利用人工智能技术，提供智能搜索、PDF、视频、网页总结等功能，旨在帮助用户高效获取知识，提升阅读体验。
AI FAQ Generator是一款利用先进AI技术，通过分析常见问题自动生成FAQ列表的工具。它能够快速高效地生成FAQ，节省时间和资源，同时提供准确的答案，帮助提高客户满意度，并改善SEO效果。
BrickCenter是一个在线平台，允许用户免费创建自己的乐高套装和迷你人物。它提供了一个将创意转化为详细乐高设计的工具，无论是复杂的场景还是个性化的迷你人物，用户都可以在这个平台上实现自己的设计梦想。该平台以其用户友好的界面和强大的定制功能而受到乐高爱好者的欢迎。
《100 UI/UX Tips》提供了设计界面所需的所有提示，让用户感到满意。强调产品的主要优点、背景信息、价格和定位。
whatwide.ai是一个提高生产力的AI助手，使用人工智能技术来节省时间并提高工作效率。它提供了50多种AI模型，包括文本生成、网站帮助、社交媒体分析、编程辅助等多种功能。whatwide.ai的优点在于高质量的内容生成、快速且安全的操作，以及多种AI类型供用户选择。
Stream of Consciousness是一个记录并分享艺术家思维的项目，通过创作和分享图像来展示创造力。它提供了一个深入艺术家思维的窗口，让人们了解艺术创作的过程和灵感的来源。
Neurelo是一个专为云数据库而设计的平台，通过使用云API和人工智能技术，提供自动生成API、自定义查询API、查询可观察性和Schema as Code等功能，以提高开发人员的生产力。Neurelo能够简化数据库编程相关的复杂性，并具备可伸缩性、安全性和查询优化能力。
EdrawMax是一款功能强大的图表设计软件，它提供一站式的图表解决方案，适用于流程图、思维导图、组织结构图、甘特图、平面图和ER图等210多种图表类型。它具有简洁的用户界面，类似于MS Office的干净、整齐的界面，直观且易于导航的工具集，以及无缝的拖放功能。此外，EdrawMax还提供了23000多个用户制作的模板，850个精心制作的内置模板，以及26000多个免费符号，覆盖所有图表类型。它还具备AI功能，可以生成和分析22种类型的图表，包括文本到绘图和图片到绘图以及AI聊天。EdrawMax支持跨平台集成，可以在云端保存文件并通过链接共享，支持通过社交媒体或电子邮件发送作品，并能以13种格式导出图表，包括VSDX、PPTX和SVG等。此外，EdrawMax遵循GDPR标准，使用最高级别的256位SSL加密，确保用户隐私和数据安全。
Notta Showcase是一款在线视频翻译和配音工具，它通过AI技术帮助用户将视频内容翻译成15种不同的语言，同时保持原始的语音风格和情感，以提供自然的听觉体验。该产品的主要优点包括高效率、成本效益、用户友好的界面、高准确度的转录和翻译，以及支持多种文件格式和平台。它适用于营销、社交媒体和教育等多个领域，可以显著扩大内容的全球影响力。
Suno API是一个开源项目，允许用户设置自己的Suno AI音乐服务API。它实现了app.suno.ai的创建API，兼容OpenAI的API格式，支持自定义模式，一键部署到Vercel，并且拥有开放源代码许可证，允许自由集成和修改。
x-crawl 是一款基于 Node.js 的 AI 辅助爬虫库，它通过强大的 AI 辅助功能，使得爬虫工作变得更加高效、智能和便捷。它支持对动态页面、静态页面、接口数据以及文件数据的爬取，同时提供了自动化操作、键盘输入、事件操作等控制页面的能力。此外，它还具备设备指纹、异步同步、间隔爬取、失败重试、轮换代理、优先队列和记录爬取等功能，以适应不同的爬取需求。x-crawl 拥有类型，通过泛型实现完整的类型，基于 MIT 许可发布，适合需要进行数据爬取的开发者和企业。
MetaCLIP是一个开源的机器学习模型，用于图像和文本的联合表示学习。它通过一个简单算法对CLIP数据进行筛选，不依赖于先前模型的过滤，从而提高了数据的质量和透明度。MetaCLIP的主要贡献包括无过滤的数据筛选、透明的训练数据分布、可扩展的算法和标准化的CLIP训练设置。该模型强调数据质量的重要性，并提供预训练模型，以支持研究人员和开发者进行控制实验和公平比较。
AI Town是一个基于MIT许可的可部署启动套件，用于构建和定制您自己的AI城镇版本。这个项目受到了研究论文'Generative Agents: Interactive Simulacra of Human Behavior'的启发，旨在提供一个强大的基础平台，旨在被扩展。后端原生支持共享全局状态、事务和模拟引擎，适用于从简单的项目到可扩展的多人游戏。
Vanna是一个使用Retrieval-Augmented Generation (RAG) 技术的开源Python框架，用于SQL生成和相关功能。它通过训练RAG模型，将自然语言问题转换为SQL查询，从而允许用户以提问的形式与数据库进行交互。Vanna的主要优点包括高准确度、安全性、私有性、自学习能力，并且支持任何SQL数据库。
fal.ai 是一款面向开发者的生成媒体平台，提供了业界最快的推理引擎，可以让您以更低的成本运行扩散模型，创造出全新的用户体验。它拥有实时、无缝的 WebSocket 推理基础设施，为开发者带来了卓越的使用体验。fal.ai 的定价方案根据实际使用情况灵活调整，确保您只为消耗的计算资源付费，实现了最佳的可扩展性和经济性。
Chat With Llama 3 是一个开源的聊天机器人，由Meta AI开发。它能够进行多种智能对话，包括解释复杂概念、创作诗歌、编写代码、解决逻辑谜题，甚至帮助用户给宠物起名。这个聊天机器人的主要优点在于它的多功能性和开源性，使其可以被广泛地应用于各种场景，并且可以根据需要进行定制和改进。
AI图片生成与搜索是一个在线平台，利用先进的人工智能技术，允许用户快速生成或搜索各种风格的AI图片。该技术的重要性在于它能够极大提高设计和创意工作的效率，同时降低成本。产品的主要优点包括丰富的图片资源、高效的生成速度、以及用户友好的界面。产品背景信息显示，这是一个面向广大创意工作者和设计师的工具，旨在帮助他们快速实现创意构想。目前，该产品提供免费试用，但具体价格和定位信息未在页面中提供。
OpenPerplex是一个提供广泛知识资源的在线平台，它通过整合多种信息源，为用户提供了一个便捷的知识获取渠道。该产品以其丰富的信息量、高效的检索能力和友好的用户界面而受到用户的青睐。它不仅适用于个人学习，也适合专业人士进行深入研究。
JavaVision是一个基于Java开发的全能视觉智能识别项目，它不仅实现了PaddleOCR-V4、YoloV8物体识别、人脸识别、以图搜图等核心功能，还可以轻松扩展到其他领域，如语音识别、动物识别、安防检查等。项目特点包括使用SpringBoot框架、多功能性、高性能、可靠稳定、易于集成和灵活可拓展。JavaVision旨在为Java开发者提供一个全面的视觉智能识别解决方案，让他们能够以熟悉且喜爱的编程语言构建出先进、可靠且易于集成的AI应用。
