笔记列表-低调大师优秀个人博客

文章列表

共 76073 篇

2025-04-22

Verus —— 用于验证 Rust 代码正确性的工具

Verus 是一款用于验证 Rust 代码正确性的工具。开发者编写代码功能规范，Verus 会静态检查可执行的 Rust 代码是否始终满足所有可能执行场景下的规范。 Verus 并非添加运行时检查，而是依靠强大的求解器来验证代码的正确性。Verus 目前支持 Rust 的一个子集（开发团队正在努力扩展），在某些情况下，它允许开发者超越标准 Rust 类型系统...

488

阅读约2分钟

2025-04-22

67 款 APP 违法收集使用个人信息被通报

国家网络与信息安全信息通报中心近日通报了 67 款违法违规收集使用个人信息情况移动应用。具体如下： 1、在App首次运行时未通过弹窗等明显方式提示用户阅读隐私政策等收集使用规则；以默认选择同意隐私政策等非明示方式征求用户同意；个人信息处理者在处理个人信息前，未以显著方式、清晰易懂的语言真实、准确、完整地向个人告知个人信息处理者的名称或者姓名、联系方式、个人信...

435

阅读约15分钟

2025-04-22

MinIO-Plus v1.0.4 已经发布，MinIO 的二次封装与增强工具

MinIO-Plus v1.0.4 已经发布，MinIO的二次封装与增强工具此版本更新内容包括：更新内容解决springboot2.6以下org.liuxp.minioplus.s3.def.Minios3client'找不到的兼容性问题。完整的更新日志: https://gitee.com/lxp135/minio-plus/compare/v1....

250

阅读约1分钟

2025-04-22

Yzncms v2.0.3 已经发布，内容管理系统

Yzncms v2.0.3 已经发布，内容管理系统此版本更新内容包括：【修复】高版本php的问题【修复】yzncms/think-addons包没有默认方法的问题【修复】thinkphp验证无法加载中文的问题【更新】layui更新至2.11.0 【优化】修改后台tabs的样式【优化】field组件代码优化【新增】后台新增bootstrap常用c...

266

阅读约1分钟

2025-04-22

微软开源“原生 1-bit”模型：超过 20 亿参数、大幅减少内存占用

微软近日发布了20亿参数的1-bit模型——BitNet b1.58 LLM家族，称此新型模型比主流Transformer LLM更不占内存且更低能耗，适合在CPU或较小型硬件平台上执行。 Hugging Face 地址：https://huggingface.co/microsoft/bitnet-b1.58-2B-4T 微软研究院与中国科学院研究人员20...

469

阅读约4分钟

2025-04-22

OpenAI 发布 Agent 开发指南

OpenAI官方发布了首个Agent开发指南，帮助开发者如何通过其SDK快速开发智能体。 https://cdn.openai.com/business-guides-and-resources/a-practical-guide-to-building-agents.pdf 在这份指南中，OpenAI详细介绍了从智能体的大模型选择，工具定义，复杂智能体，安...

309

阅读约1分钟

2025-04-22

哥伦比亚大学退学生开发“AI 面试作弊神器”，融资 500 万美元

哥伦比亚大学的两位退学生 Chungin “Roy” Lee 和 Neel Shanmugam 联合创办的初创公司 Cluely，近日宣布完成530万美元的种子轮融资，投资方包括 Abstract Ventures 和 Susa Ventures。 Cluely 主要推出了一款名为 Interview Coder 的 AI 工具，该工具被称为 “面试作弊神器...

383

阅读约3分钟

2025-04-22

OpenAI o3 模型基准测试成绩远低于官方宣传分数

根据 TechCrunch 的报道，OpenAI o3模型的第一方与第三方基准测试结果存在显著差异，引发了外界对其公司透明度和模型测试实践的质疑。去年12月，OpenAI首次发布o3模型时宣称，该模型能够在FrontierMath这一极具挑战性的数学问题集上正确回答超过四分之一的问题。这一成绩远远超过了竞争对手 —— 排名第二的模型仅能正确回答约2%的Fr...

280

阅读约2分钟

2025-04-22

真我推出首款 AI 翻译耳机，支持 32 种语言翻译

真我手机官方微博宣布，其首款 AI 翻译耳机 Bud Air7Pro 即将于4月23日下午16时正式上市。这款耳机将搭载讯飞的星火认知大模型4.0Ultra，具备强大的翻译能力，不仅能够支持中文与32种语言的面对面翻译，还具备同声传译功能。这款耳机的发布将与真我 GT7手机的新品发布会一起进行，届时将展示更多创新技术。真我 GT7手机搭载的是天玑9400...

325

阅读约1分钟

2025-04-22

Ant Design 5.24.8 发布，企业级 UI 设计语言和 React 实现

Ant Design 5.24.8 现已发布，主要更新内容如下：修复 Tabs 有时抛出Maximum update depth exceeded错误的问题。#53521 Splitter Splitter 折叠图标在移动设备上将始终展示。#53575 修复 Splitter 在 lazy 模式下onResizeEnd回调参数不是最新值的问题。#53574...

298

阅读约3分钟

2025-04-22

Trae 重磅升级：全面开放自定义 AI 能力，用户可打造个人专属“AI 工程师”

随着AI技术的迅猛发展，编程工具正经历着深刻的变革。2025年4月，Trae新版本正式上线，不仅丰富了品牌内涵，也带来了多项重磅升级，率先在行业内勾勒出具有想象力的个性化“AI对话式编程新范式”。 Trae新版本将Marscode整合入“Trae”的品牌内涵中，统一了“Trae”的范式概念，紧密围绕AI与人的“协作力”，突破了传统IDE与AI插件助手形态边界...

389

阅读约6分钟

2025-04-22

🔥无代码国产流程引擎 FlowLong 1.1.7 发布

开源地址：https://gitee.com/aizuda/flowlong 开源地址：https://github.com/aizuda/flowlong 官网文档：https://flowlong.aizuda.com 支持全流程操作监听，仅 8 张表实现整个流程引擎（更符合中国人的思维模式设计），截至当前近 300 家企业自用登记接入使用。300 多家...

390

阅读约2分钟

2025-04-22

🍒资产设备管理系统 WGFIX v1.2 正式发布

WGFIX是WGCLOUD团队近期新推出的一款资产设备系统，设计一如既往的的简单好用，具有部署方便，上手容易，性能优秀，界面友好等特点码云仓库：https://gitee.com/wanghouhou/wgcloud GITHUB 仓库：https://github.com/tianshiyeben/wgcloud WGCLOUD 唯一官网：http://...

437

阅读约2分钟

2025-04-22

🔥 AI 富文本编辑器，AiEditor v1.3.8 发布

AIEditor.dev AI 驱动的开源富文本编辑器开箱即用、支持所有前端框架、支持 Markdown 书写模式什么是 AIEditor AiEditor 是一个面向 AI 的下一代富文本编辑器，她基于 Web Component，因此支持 Layui、Vue、React、Angular 等几乎任何前端框架。她适配了 PC Web 端和手机端，并提供了...

496

阅读约6分钟

2025-04-22

《灯灯》多租户快速开发平台 5.1.0 发布，专注于多租户解决方案

升级内容 spring-boot-starter-parent>3.4.4 spring-cloud-dependencies.version>2024.0.1 spring-framework.version>6.2.5 springdoc.version>2.8.5 knife4j-swagger-models-v3.versio...

416

阅读约8分钟

2025-04-22

字节 AI 原生 IDE Trae 发布 v1.3.0，新增 MCP 支持

字节跳动旗下的 AI 原生集成开发环境（AI IDE）Trae 已发布 v1.3.0 版本，具体变更细节如下：合并 Chat 与 Builder 面板。你可以通过 @Builder 方式将 Builder 作为智能体使用。详情参考《智能体》。支持将文档内容和网页内容作为上下文： #Web：支持联网搜索，AI 会自动提取网页内的相关内容作为上下文。 #Do...

1690

阅读约2分钟

2025-04-22

谷歌 AI 概览致网站点击率暴跌 34.5%

知名 SEO 工具提供商 Ahrefs 近期发布一项研究，揭示了谷歌 AI 概览功能对搜索结果页面（SERP）点击率的显著负面影响。研究数据显示，当搜索结果中出现 AI 概览时，相关关键词的平均点击率骤降34.5%。该研究选取了 Ahrefs 关键词资源管理器数据库中的30万个关键词，其中一半触发了 AI 概览，另一半则未触发。通过对比2024年3月（A...

287

阅读约2分钟

2025-04-22

生树科技发布高可控 AI 视频大模型「Vidu Q1」

生树科技旗下的 Vidu AI 发布了业内首个高可控 AI 视频大模型「Q1」。据介绍，Vidu Q1 在多主体细节可控、音效同步可控、画质增强等方面都取得出色表现。并且 Vidu Q1 在四大核心能力进行了全面升级：极「质」高清：画质细节全面提升，出片更清晰、更具质感；极「质」镜头：首尾帧衔接更顺滑，镜头语言更具电影感；极「质」音效：一句话生成专属...

309

阅读约2分钟

2025-04-22

Wine 10.6 发布

Wine 10.6现已发布，修复了 27 个已知错误。 Wine (Wine Is Not an Emulator) 是一个能够在多种兼容 POSIX 接口的操作系统（诸如 Linux、macOS 与 BSD 等）上运行 Windows 应用的兼容层。它不是像虚拟机或者模拟器一样模仿内部的 Windows 逻辑，而是将 Windows API 调用翻译成为动...

332

阅读约2分钟

2025-04-22

DeepMind 强化学习团队副总裁：AI 的未来在于自主获取经验

近日，Google DeepMind 强化学习团队副总裁 David Silver 近日在一场重要播客中提出了关于 AI 未来发展的关键观点。作为 DeepMind 创始成员和 AlphaGo 项目的核心人物，Silver 认为 AI 未来的突破将来自于其自主获取经验的能力，而非继续依赖人类数据。 Silver 在访谈中指出，AI 发展正从「人类数据时代」...

363

阅读约2分钟

资源下载

更多资源

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长，特征是大鼻子、头戴帽子、身穿背带裤，还留着胡子。与他的双胞胎兄弟路易基一起，长年担任任天堂的招牌角色。

腾讯云软件源

为解决软件依赖安装时官方源访问速度慢的问题，腾讯云为一些软件搭建了缓存服务。您可以通过使用腾讯云软件源站来提升依赖包的安装速度。为了方便用户自由搭建服务架构，目前腾讯云软件源站支持公网访问和内网访问。

Rocky Linux

Rocky Linux（中文名：洛基）是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版，作为CentOS稳定版停止维护后与RHEL（Red Hat Enterprise Linux）完全兼容的开源替代方案，由社区拥有并管理，支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性，采用模块化包装和SELinux安全架构，默认包含GNOME桌面环境及XFS文件系统，支持十年生命周期更新。

WebStorm

WebStorm 是jetbrains公司旗下一款JavaScript 开发工具。目前已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源，继承了IntelliJ IDEA强大的JS部分的功能。

文章列表

Verus —— 用于验证 Rust 代码正确性的工具

67 款 APP 违法收集使用个人信息被通报

MinIO-Plus v1.0.4 已经发布，MinIO 的二次封装与增强工具

Yzncms v2.0.3 已经发布，内容管理系统

微软开源“原生 1-bit”模型：超过 20 亿参数、大幅减少内存占用

OpenAI 发布 Agent 开发指南

​哥伦比亚大学退学生开发“AI 面试作弊神器”，融资 500 万美元

OpenAI o3 模型基准测试成绩远低于官方宣传分数

真我推出首款 AI 翻译耳机，支持 32 种语言翻译

Ant Design 5.24.8 发布，企业级 UI 设计语言和 React 实现

Trae 重磅升级：全面开放自定义 AI 能力，用户可打造个人专属“AI 工程师”

🔥无代码国产流程引擎 FlowLong 1.1.7 发布

🍒资产设备管理系统 WGFIX v1.2 正式发布

🔥 AI 富文本编辑器，AiEditor v1.3.8 发布

《灯灯》多租户快速开发平台 5.1.0 发布，专注于多租户解决方案

字节 AI 原生 IDE Trae 发布 v1.3.0，新增 MCP 支持

谷歌 AI 概览致网站点击率暴跌 34.5%

生树科技发布高可控 AI 视频大模型「Vidu Q1」

Wine 10.6 发布

DeepMind 强化学习团队副总裁：AI 的未来在于自主获取经验

资源下载

Mario

腾讯云软件源

Rocky Linux

WebStorm

欢迎您来访！

哥伦比亚大学退学生开发“AI 面试作弊神器”，融资 500 万美元