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

文章列表

共 220279 篇

2026-09-24

【SDD01】契约优先：从 Hoare 到 SDD 的五十七年

2025 年下半年，SDD（规格驱动开发）随着 GitHub Spec Kit、Amazon Kiro 等工具的走红而成为热词，并在 2026 年被普遍视为 AI 原生开发的主流范式。它的主张听上去很新："先写规格，再让 AI 生成代码；规格是单一事实来源，代码只是从规格派生的、可随时再生成的一次性工件。"

阅读约15分钟

2026-09-24

爆肝新作！electron41+react19+arco桌面版os系统

迎接中秋国庆，最新原创跨平台新作react19.3+electron41+arco-design搭建桌面端os管理系统解决方案。

阅读约14分钟

2026-09-24

选型避坑：参数表上的吞吐量，为什么我从来不信

中科热备选型避坑：参数表上的吞吐量，为什么我从来不信做灾备这行十年，我经手的备份一体机采购项目少说也有几十个。每次看到IT负责人拿着厂商给的参数表做决策，我都替他们捏把汗。参数表不是假的，但它是在理想环境下跑出来的，和你机房里那台塞满业务数据的存储阵列，完全是两码事。先给个精炼定义：备份一体机，就是把备份软件、服务器、存储介质、去重引擎打包成一台开箱即用...

阅读约6分钟

2026-09-24

我用 AI 给女儿做了一套安徒生童话视频，还自动发上了抖音：一条完整的家庭创作流水线

事情的开头平凡得不能再平凡——晚上哄娃，想给她讲《卖火柴的小女孩》，但干巴巴地念文字，孩子坐不住；网上的动画视频，不是广告太多就是画质感人。

阅读约11分钟

2026-09-24

「不碰权重，只改策略」：Dream-RSI 如何用「做梦」实现递归自我改进

2026 年，Anthropic、OpenAI 相继把「递归自我改进」（Recursive Self-Improvement, RSI）从论文概念推到了公众视野，也把它最刺耳的那面亮了出来：如果一个 AI 能不断地改进自己的改进能力，它的能力曲线会不会脱离人类的理解与控制？

阅读约12分钟

2026-09-24

加密内存池：当交易被锁进黑箱，谁来保管最后一把钥匙？

当你在钱包里签下一笔交易，它还没有成为链上的事实。在进入区块之前，它只是一段等待执行的意图：你准备买什么、卖什么、愿意支付多少费用，以及你能够接受怎样的价格。在传统公共内存池里，这段意图会被明文广播。节点可以看见它，搜索者可以模拟它，构建者可以调整它的位置。普通用户以为自己只是提交了一笔交易，而在另一些机器眼中，这已经是一份可以被估值、复制和抢跑的情报。公开...

阅读约17分钟

2026-09-24

AI Agent 决策架构演进：从 ReAct 到 MCP、Hermes，把底层机制讲透

如果你在 2022 年之前问一个大模型"帮我查一下上海明天的天气，然后订一张去那里的机票"，它会非常自信地编出一段看起来合理但实际全是幻觉的回答。不是因为它笨，而是因为它的整个世界观里只有"生成下一个 token"，没有任何机制让它去和外部世界发生交互、验证自己的假设、或者纠正自己的错误。

阅读约22分钟

2026-09-24

SpringBootBucket 4.1.1 发布，最新 Spring Boot 4.x 全家桶

SpringBootBucket4.x全家桶基于最新版本 Spring Boot 4.x 版本编写。Spring Boot 4.0基于Spring Framework 7.0，全面支持 Java25（含虚拟线程优化）。核心的新特性包括：HTTP Service Clients 简化远程调用；原生API版本管理；全面采用JSpecify空安全体系（默认为空，编...

阅读约2分钟

2026-09-24

WELSIM调用有限元求解器CalculiX

CalculiX是一款经典开源通用有限元求解器，基于GPL协议，支持线性/非线性静力、动力学、热、接触等分析，原生兼容Abaqus INP输入文件格式，在高校科研、中小企业仿真中使用广泛。

阅读约5分钟

2026-09-24

让 AI 亲自上网干活：browser-use 开源项目实战拆解与踩坑

说实话，搞开发、搞数据、搞运营的朋友，多少都干过这种活儿：每天早上打开某个后台，把昨天的数据扒下来，复制到表格里，再发个邮件给领导。或者盯着好几个电商网站比价，手动刷新、手动截图、手动记数字。

阅读约25分钟

2026-09-24

车联网架构拆解：从隧道融合定位到语音控车，把智能汽车的底层链路讲透

做车联网的人都知道一个尴尬的事实，车机上那一整套看起来高大上的智能驾驶、智能座舱、车控系统，本质是在跟物理世界的各种不确定性搏斗。卫星信号说没就没，雷达说被脏东西糊住就被糊住，人说话带口音带方言还夹着音乐，车停了人走了还得替你盯着有没有人踹轮胎。这套系统真正有意思的地方，从来不是某个单点技术多先进，而是它怎么把一堆不可靠的传感器，组织成一个在绝大多数情况下都...

阅读约18分钟

2026-09-24

把 WorkBuddy 做的工作台部署到公网：Cloudflare Workers + eu.org 免费域名实操与踩坑

我用 WorkBuddy 做了一个「减肥工作台」——单文件 HTML，包含减肥计划、合理饮食、食物卡路里追踪三个模块。本地双击就能用，但我需要把它分享给别人、并且手机也能打开，也就是要有一个公网可访问的永久链接。

阅读约25分钟

2026-09-24

生态环境执法岗实测：我把「法条速查 + 文书起草」做成了一个可复用的 WorkBuddy Skill

我在县级生态环境部门做行政处罚办案。这份工作里最耗时间的从来不是"跑现场"，而是现场回来之后的三个小时：

阅读约18分钟

2026-09-24

重磅上新｜福昕 Office 助手 Skill 月度数据一键抓列与高亮

每到月底，运营、财务、销售同学都要面对同一件事——把散落在各张表里的月度数据整理清楚。复制第一列、抽走重复项、给异常值标红……这些动作机械又费眼，数据在多表间来回粘贴还容易把格式弄乱。

阅读约9分钟

2026-09-24

2026微信聊天记录怎么导出？聊天记录导出为pdf的方法指南！【可用于诉讼取证】

但是遇到更换手机、备证证据、移交材料的时候，应该如何完整的导出聊天记录呢？别急，这事其实不难，只不过得一步步来。

阅读约11分钟

2026-09-24

YOLOV11模型如何训练】无人机视角公路两侧道路滑坡检测数据集

无人机：DJI MAVIC 2数据类型：原始图片+XML标签+TXT标签总内存大小：459M（1892张图片）

阅读约4分钟

2026-09-24

装修SaaS对比通用CRM：成交为什么通用工具管不了

不少装修公司在选系统时，会先想到一套通用 CRM：既然都是管客户，那就先用起来。用了一段时间之后，管理者往往会发现一个尴尬的现象：客户阶段标得清清楚楚，跟进记录也一条不落，可一旦要回答“这个客户到底为什么没签”，系统里翻不出任何有用的东西。

阅读约12分钟

2026-09-24

AI 搜索工具推荐：当你的 Agent 需要联网，搜索这一层该怎么搭

你有没有遇到过这种情况：把一个问题丢给 AI，它答得头头是道，价格、数字、出处张口就来；可你顺手翻到官网，发现价格过期了、产品改名了，甚至那份被反复引用的 "权威报告" 根本不存在。

阅读约11分钟

2026-09-24

航拍各类场景下人员检测数据集无人机行人检测数据集的训练及应用

航拍各类场景下人员检测数据集，11180张，超过20w标注框，提供yolo，voc，coco三种标注方式图像尺寸:960*960

阅读约5分钟

2026-09-24

Gemini 3.8 Flash之后，视角下语音数据正变成企业最棘手资产

Gemini 3.8 Flash之后，热备云视角下语音数据正变成企业最棘手资产谷歌发布Gemini 3.8 Flash那天，我先看的不是它的多模态能力，而是语音链路。延迟压到几百毫秒、支持几十种语言实时互转，这类模型一放开，企业侧的动作会很快跟上：智能客服换声、会议纪要自动转写、出海产品做本地化配音。我所在的居庸关能源安全与智能技术重点实验室，这两年在电力...

阅读约5分钟

资源下载

更多资源

腾讯云软件源

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

Rocky Linux

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

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能，例如代码缩略图，Python的插件，代码段等。还可自定义键绑定，菜单和工具栏。Sublime Text 的主要功能包括：拼写检查，书签，完整的 Python API ， Goto 功能，即时项目切换，多选择，多窗口等等。Sublime Text 是一个跨平台的编辑器，同时支持Windows、Linux、Mac OS X等操作系统。

WebStorm

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

文章列表

【SDD01】契约优先：从 Hoare 到 SDD 的五十七年

爆肝新作！electron41+react19+arco桌面版os系统

选型避坑：参数表上的吞吐量，为什么我从来不信

我用 AI 给女儿做了一套安徒生童话视频，还自动发上了抖音：一条完整的家庭创作流水线

「不碰权重，只改策略」：Dream-RSI 如何用「做梦」实现递归自我改进

加密内存池：当交易被锁进黑箱，谁来保管最后一把钥匙？

AI Agent 决策架构演进：从 ReAct 到 MCP、Hermes，把底层机制讲透

SpringBootBucket 4.1.1 发布，最新 Spring Boot 4.x 全家桶

WELSIM调用有限元求解器CalculiX

让 AI 亲自上网干活：browser-use 开源项目实战拆解与踩坑

车联网架构拆解：从隧道融合定位到语音控车，把智能汽车的底层链路讲透

把 WorkBuddy 做的工作台部署到公网：Cloudflare Workers + eu.org 免费域名实操与踩坑

生态环境执法岗实测：我把「法条速查 + 文书起草」做成了一个可复用的 WorkBuddy Skill

重磅上新｜福昕 Office 助手 Skill 月度数据一键抓列与高亮

2026微信聊天记录怎么导出？聊天记录导出为pdf的方法指南！【可用于诉讼取证】

YOLOV11模型如何训练】无人机视角公路两侧道路滑坡检测数据集

装修SaaS对比通用CRM：成交为什么通用工具管不了

AI 搜索工具推荐：当你的 Agent 需要联网，搜索这一层该怎么搭

航拍各类场景下人员检测数据集 无人机行人检测数据集的训练及应用

Gemini 3.8 Flash之后，视角下语音数据正变成企业最棘手资产

资源下载

腾讯云软件源

Rocky Linux

Sublime Text

WebStorm

欢迎您来访！

航拍各类场景下人员检测数据集无人机行人检测数据集的训练及应用