大卫小东（Sheldon）

[置顶] 斯梅尔问题（Smale's Problems）清单

摘要： 1900年，大卫·希尔伯特在巴黎国际数学家大会上提出了23个问题，深刻塑造了20世纪数学的研究方向。近一个世纪后的1998年，国际数学联盟（IMU）委托菲尔兹奖得主斯蒂芬·斯梅尔（Stephen Smale, 1930–）为《Mathematics: Frontiers and Perspectiv 阅读全文

posted @ 2026-07-23 14:04 大卫小东（Sheldon）阅读(122) 评论(0) 推荐(2)

2026年7月22日

小鹤音形词典：一个离线小鹤编码查询桌面工具

摘要：起因用小鹤双拼10年了，最近在用小鹤音形，日常打字速度确实上来了，但偶尔遇到不确定的编码还是得去翻官方文档或者在线查码。在线工具有几个痛点：要联网、页面广告多、查完还得切回原来的窗口。Rime 用户还有一层需求——本地 .dict.yaml 词库文件越来越多，想加个自定义词组还得手动编辑 YAML 阅读全文

posted @ 2026-07-22 14:17 大卫小东（Sheldon）阅读(220) 评论(2) 推荐(0)

2026年6月22日

Rust 推荐使用宏而非普通函数的场景

摘要：一、宏与函数的本质区别（理解场景的前提）维度函数宏执行时机运行期执行，参数是运行时值，类型固定编译期展开，输入是语法树（token/抽象语法），能操作代码结构类型约束参数必须是确定类型，泛型函数仍受类型系统、生命周期、Trait 约束不限制输入语法，可以接收任意代码片段、标识符、类阅读全文

posted @ 2026-06-22 13:42 大卫小东（Sheldon）阅读(190) 评论(0) 推荐(0)

2026年5月26日

华为公司发布半导体演进新范式 - “韬(τ)定律”（Tau Law）

摘要：华为在 2026 年 5 月 25 日的 IEEE 国际电路与系统研讨会（ISCAS 2026）上正式发布了 “韬(τ)定律”（Tau Law）。这被业界视为在摩尔定律失效背景下，华为提出的半导体演进新范式。简单来说，它把行业追求了 60 年的“把芯片做小”（几何缩微），切换到了“把速度做快、把阅读全文

posted @ 2026-05-26 14:47 大卫小东（Sheldon）阅读(1067) 评论(5) 推荐(2)

2026年5月11日

霍尔定理和最大流算法入门

摘要：霍尔定理和最大流，本质是解决「二分图匹配」的两种思路——前者是"判断能不能匹配"的"理论条件"，后者是"实际算出怎么匹配、能匹配多少"的"算法工具"。读者无需记复杂公式，跟着例子走，就能看懂两者的关联和区别。基础概念二分图：简单说就是"两个阵营"的图，比如左边是「男生」（集合A），右边是「女生」阅读全文

posted @ 2026-05-11 14:25 大卫小东（Sheldon）阅读(189) 评论(0) 推荐(0)

2026年4月14日

Rudist v0.5.1 发布：AI 驱动的 Redis 客户端，更快、更直观

摘要：如果你每天都在和 Redis 打交道，你一定有这种时刻：记不住 KEYS 和 SCAN 的语法、在 MEMORY STATS 里找半天、或者小心翼翼地执行一条可能有副作用的命令。 Rudist 的目标，就是让这一切变成"说一句人话"。今天，Rudist 正式发布 v0.5.1，带来了全新的实时日志阅读全文

posted @ 2026-04-14 15:55 大卫小东（Sheldon）阅读(213) 评论(0) 推荐(0)

2026年4月1日

Rudist 0.4.3 发布：让 AI Agent 替你操作 Redis

摘要：本次更新主要推出了 agent 模式： Agent Mode 使用场景：适用于复杂操作、多轮对话以及直接访问 Redis 数据。特性：有状态（Stateful）对话上下文会在多轮消息之间保持，从而实现更自然的交互。 Redis 工具访问 AI 可以访问所有 Redis 工具，包括： fil 阅读全文

posted @ 2026-04-01 11:32 大卫小东（Sheldon）阅读(179) 评论(0) 推荐(0)

2026年3月25日

集成AI 的 Redis 客户端 Rudist发布新版了

摘要： 🚀 拒绝 Electron 臃肿！首款 Rust 原生 + 私有化 AI 的硬核 Redis 客户端 —— Rudist v0.4.0 发布天下苦 Electron 架构的数据库 GUI 久矣。动辄大几百 MB 的内存占用、拖泥带水的冷启动速度、在加载海量 Key 时令人崩溃的卡顿…… 作为开发阅读全文

posted @ 2026-03-25 10:31 大卫小东（Sheldon）阅读(284) 评论(3) 推荐(1)

2026年3月24日

大模型智能体（agent）简易流程介绍

摘要：下面是一个使用 Rig 构建的简单 Agent 示例。它定义了一个计算工具，并让 Agent 自主决定是否调用它。为什么不用langChain？这个问题放到最后说 1 核心代码示例在 Cargo.toml 中，只需要 rig-core 和 tokio。 use rig::{completion 阅读全文

posted @ 2026-03-24 16:01 大卫小东（Sheldon）阅读(269) 评论(0) 推荐(0)

2026年3月3日

在Mac安装阿里巴巴新神器copaw

摘要：仓库地址： https://github.com/agentscope-ai/CoPaw 官方简介：Your Personal AI Assistant; easy to install, deploy on your own machine or on the cloud; supports mu 阅读全文

posted @ 2026-03-03 17:29 大卫小东（Sheldon）阅读(1160) 评论(0) 推荐(0)

公告