Redis--发布订阅命令和Redis事务
BitMap操作命令 BitMap是一种新的数据类型。该数据类型本质上就是一个仅包含0和1的二进制字符串。其相关命令都是对这个字符串二进制位的操作。 用于描述该字符串的属性由三个：key、offset、bitValue。 key：BitMap类型对应得key（因为Redis是key-value型） ...
用本地大模型驱动中文输入法，我做了一个实验性的项目
从一个问题开始 你有没有用输入法时遇到这样的情况：打了一段话，下一个词的候选列表里，排第一的偏偏不是你想要的那个，但你知道那个词一定在后面几位，因为你刚才已经用过它了。 传统输入法的候选词排序，本质上是一套词频统计系统——它记录的是"全体用户最常用这个词"，而不是"你在当前这段话里最可能用这个词"。 ...
Mac上使用VScode优雅开发STM32
作者：SkyXZ CSDN：SkyXZ～-CSDN博客 博客园：SkyXZ - 博客园 在大一的时候我加入了嵌入式实验室，那会儿大家都在哼次哼次的用STM32干嵌入式开发，那会只有我和一个学长是Macbook，为了跟上大家的步伐，和学长艰难的使用了Clion+STM32CubeMX+OpenOC ...
小米送了我 16 亿 tokens，给我测爽了！手把手教你领取 | 附 Claude Code + MiMo-V2.5 实战测评
Claude Code + 小米 MiMo-V2.5-Pro 项目实战保姆级教程！手把手带你白领最多 16 亿 tokens，用最新 AI 编程工具开发 4 个不同类型的项目，覆盖环境配置、CC Switch 模型切换、MCP 和 Skills 扩展安装、完整提示词，实测国产模型编程表现。 ...
6. LangChain，解决AI大模型的不足
LangChain 是由 LangChain AI 公司推出的、全球最具影响力的大语言模型（LLM）驱动应用与智能体全栈开源开发框架，采用商业友好的 MIT 开源协议，原生支持 Python、TypeScript/JavaScript、Go 等多语言开发，是目前 LLM 应用与智能体开发领域生态最完 ...
深入 Open Agent SDK（番外篇）：实战验证——把 SDK 塞进一个 macOS 原生 Agent 应用
本文是「深入 Open Agent SDK (Swift)」系列番外篇。 前七篇文章从各个子系统分析了 Open Agent SDK 的设计。但 SDK 写得好不好，最终得放到真实项目里验证。这篇文章记录我把 SDK 集成到一个开源 macOS 原生 Agent 应用——Motive——的完整过程： ...
如何让AI写代码越写越像你
让 AI 越写越像你：用 Hook 自动积累编码规范的实践 问题的起点 用 AI 写了一段时间代码之后，我开始觉得有点别扭。 功能是实现了，逻辑也没错，但代码"不像我写的"。方法命名的习惯不一样，返回值的处理方式不同，注释的位置也不对。每次让 AI 改代码，我都要再花时间把风格对齐，或者直接忍着。 ...
Spark.NET：一个试图把 Django / Rails 式开发体验带回 .NET 世界的全栈 Web 框架。
前言 在 AI 时代，技术选型的思路变了，至少这两年，我的新项目都会偏向于单体式架构(monolithic) 最近在调用 AspNetCore 技术栈的时候，发现了一个有意思的框架 Spark.NET 一个试图把 Django / Rails 式开发体验带回 .NET 世界的全栈 Web 框架 这个 ...
【YFIOs】从传感芯片到表格曲线
本文将基于 YFIOs 物联平台，手把手教你实现传感器数据从采集、上云，到生成数据曲线、导出 Excel 表格的全流程操作。全文以六方塔环境监测设备接入 YF3028 网关为实战案例，由浅入深拆解每一个配置步骤，零基础也能跟着完成物联网数据采集与分析的完整落地。 ...
HackTheBox Snapped WP：从 Nginx UI 备份泄露到 snap-confine 本地提权
本文记录 HackTheBox 靶机 Snapped 的完整渗透过程。通过端口扫描、域名解析与虚拟主机枚举发现 admin.snapped.htb，识别出 Nginx UI 2.3.2，并利用 /api/backup 接口未授权下载备份文件。随后通过响应头泄露的 AES Key 与 IV 解密备份，... ...
Node.js躬行记（32）——F2A实战
近期管理后台有不明人士在登录，查询后台日志只能查到一个IP，其他日志因为时间的原因，已经被清除。后台其实已经做了很多防护，可以避免不法分子攻击，例如账号密码加密传输、频繁登录会被封禁、密码错误3次也会被封禁等。但为了能让后台更加安全，遂试着加上了F2A校验。 F2A（Two-Factor Authe ...
深度学习进阶（十四）ConvNeXt
在之前的内容里，我们展开了 CNN 的一些演进，知道 CNN 本身也在不断发展。 现在我们再绕回 Transformer ：在 21 年 Swin Transformer发表后，以它为代表的诸多 ViT 工作，已经在多个视觉任务上全面超越传统 CNN。 这带来了一个非常现实的思考： 就像珍妮机淘汰手 ...
VibePlayer v1.3.3 更新：全新 Logo + 修复音乐库高亮 Bug
VibePlayer 是一款基于 Electron 的开源跨平台桌面媒体播放器，集成本地音视频、B站播放、WebDAV/AList 网盘、在线音乐搜索、在线歌词等功能。v1.3.3 版本带来全新「流光音符」Logo 设计，修复本地音乐库高亮 bug，并新增自定义主题与字体切换功能。支持 macOS ... ...
Hermes Agent：从聊天助手到可持续进化的个人 AI 智能体
Hermes Agent：从聊天助手到可持续进化的个人 AI 智能体 Hermes Agent 是 Nous Research 开源的自主 AI 智能体框架。它的核心价值不在于“多一个聊天入口”，而在于把大语言模型、工具调用、长期记忆、技能沉淀、消息网关和定时任务组合成一个可以长期运行的个人工作系统 ...
图灵机、时间与空间复杂度：从 P/NP 到 PSPACE、EXPTIME
上一篇文章里，我们已经讲过 P、NP 和 NP-Complete：P 是可以高效求解的问题，NP 是可以高效验证答案的问题，而 NP-Complete 是 NP 里最“硬核”的一批问题。 但如果继续追问下去，会出现一些更底层的问题：什么叫算法？怎样算高效？怎么精确定义时间和空间？ 作为程序员，我们很 ...
我用 DeepSeek V4 + Claude Code 开发了个「提肛助手」，这波给我爽麻了。。。
Claude Code + DeepSeek V4 项目实战保姆级教程！手把手带你用最新 AI 编程工具开发「提肛助手」全栈网站，覆盖环境配置、MCP 和 Agent Skills 扩展安装、AI 自主测试全流程，感受 Claude Code + 国产模型的完整开发体验。 ...
智人曾经这样灭绝猛犸象：AI入侵与行业灭绝
智人曾经这样灭绝猛犸象：AI入侵与行业灭绝 一、1.3万年前，北美草原 冰河时代绵延了将近十万年。 在它最后的尾声，全球气温以人类感知不到的速度缓慢上升。冰川退缩，海平面以每百年几厘米的节奏爬升。一条曾经宽达数百公里、将亚洲与北美洲连为一体的陆地走廊，在几千年里悄悄沉入水下，从地图上永远消失——这就 ...
记录一个支付回调处理失败问题的场景
影响范围：application/x-www-form-urlencoded 类型的回调接口 关联代码：支付回调、切面处理流程 一、问题现象 线上多个支付平台的异步通知到达后，控制器拿不到任何参数，直接返回 failure，依靠回调支付状态无法落库，流程最后依赖主动验单落库。 初次故障日志： INF ...
用了loguru我才明白，Python日志还能这么写
被FastAPI的日志整疯了吗？logging配置繁琐，异步日志还容易乱套。我踩过的坑，用loguru一次性帮你解决。从安装到生产配置，从优点到隐藏的不足，一次性说清，让你少走弯路。 ...
