搜索[AI可见性]结果-低调大师优秀个人博客

精选列表

搜索[AI可见性]，共10000篇文章

本地AI知识闭环：AI答案回流笔记，笔记再喂AI，越用越聪明

你问 AI 一个问题，看完答案就关了页面——下次遇到类似问题，还是从零问。知识的雪球始终滚不起来。

2026-09-13

AI全栈测试的本质：用AI对抗AI的不确定性。

当AI Agent从"玩具"变为生产系统后，传统的测试金字塔（单元测试→集成测试→端到端测试）开始失效。原因很直接：你无法用确定性的断言，去验证概率性的输出。

2026-08-23

凯哥讲 AI | Claude 打穿 CUDA 的深度解读:从 All In AI 到 All By AI

Claude 一个周末跑通 AMD 新 GPU 之后，真正崩塌的不是 CUDA，而是工业时代关于行业、组织、知识、时间、技术与工程边界的旧假设。

2026-07-28

高通发布新一代 AI 芯片 AI200 和 AI250

高通公司正式发布了其新一代人工智能芯片 ——AI200和 AI250。根据介绍，高通 AI200芯片是一款专为机架级 AI 推理设计的解决方案，其目标在于降低总体拥有成本（TCO）并提升性能。

2025-10-28

设备联网项目中的点表管理：如何让PLC与数控设备数据采集可维护

小结：把点表当作资产管理，设备联网项目才能从一次性对接变成可持续维护。

2026-10-22

GEO 服务商怎么评：给开发者的可复现评估框架与测量代码

其一，生成式引擎的输出是非确定的。同一个问题，不同时刻、不同账号、不同地域得到的回答可能不同。单次观测既不是证据，也不是反证——它只是一次采样。

2026-10-22

构建可校验的多股票研究流程

对于量化研究中的多股票行情数据，不能只关注如何通过 Pandas 的 groupby() 拆分数据，还应同时检查股票覆盖范围、时间排序、重复记录和数据缺口。可以先使用 QuantDash Python SDK 获取批量 K 线，再建立统一的行情校验函数，最后按股票代码分别执行分析。这样能够将数据接入、质量检查和指标计算分开管理，降低错误数据影响研究结果的风险。

2026-10-17

定制项目的过程可核性：代码托管归属、环境凭证交接与从零构建验证

定制开发项目的风险，很少表现为"合作方某天消失"这种戏剧性形态。更常见的情形是：需求确认之后进入开发，进度只存在于对方的汇报里；三个月后拿到一堆文件，却无法在自己机器上跑起来；想接手继续做，发现仓库不在自己名下、密钥不知道在谁手里。

2026-10-17

资产调拨与借还的库存一致性设计：从可借数到在途占用

库房同时收到两张借用单，都要那台唯一的频谱分析仪。两个审批人各自看系统里的状态是"在库"，都点了通过；等到领用时才发现，设备只有一台，两个项目组都排了工期。最后是靠人工打电话协调的。

2026-10-11

机器可检查的证明：Lean 形式化验证入门，及其对智能体系统的启示

近期，一批由 AI 生成的数学研究手稿被公开，数量超过 700 篇。其中约 42% 的顶层结果配有 Lean 形式化证明（公开材料自述），另有三篇因符号错误被撤回。

2026-10-10

Kandinsky 6.0 Video——一系列全新的开源模型，可生成带同步声音的视频

6.0 Video Pro 和紧凑版 Kandinsky 6.0 Video Lite 的代码与权重已根据 MIT 许可证开 Sberbank 推出了 Kandinsky 6.0 Video，这是一系列可生成带同步声音的视频的新模型

2026-10-08

专家解读大飞机硬核赛题，参赛可享中国商飞校招绿色通道

近日，中国商飞为本次大赛的「AI+工业软件赛道」出了两道硬核赛题。

2026-09-22

Java和Go都拍胸脯说"内存我包了"，可它们到底是怎么下手的？

温馨提示：另有配套视频版，附带图解演示，观感不同，欢迎到各大视频平台搜索同名标题或【蛋先生说识】

2026-09-16

Elasticsearch 向量数据库：数分钟内部署，可经济高效地扩展至数千亿规模

此外，我们还确保其廉价且可扩展。

2026-09-10

量化交易从行情 API 到 DataFrame 怎么设计：一套可维护的数据转换层

在量化研究中，行情 API 返回的数据通常并不能直接作为策略研究层的长期接口。真正进入研究流程之前，还需要解决字段统一、时间处理、数据类型、异常值以及不同数据源结构差异等问题。

2026-09-08

C++ 线程池原理与实现：从零构建一个可复用的线程池

多线程程序里，频繁创建和销毁线程的开销并不小：每次创建线程都要分配栈空间、建立内核对象，销毁时还要回收。如果一个任务只需要几毫秒，而线程创建销毁就要花掉其中一大半时间，显然不划算。线程池（Thread Pool）就是为解决这个问题而生的：提前创建好一批工作线程，让它们循环从任务队列里取任务执行，任务提交方只负责"丢任务"，完全不关心线程的生死。

2026-08-27

WorkBuddy 实践：安全 PO 验收核对 Skill，让邮件、采购订单与客户表可审计地对上

在采购验收、项目交付和付款申请场景中，“核对 PO”看似只是比较金额，实际往往涉及多份材料：验收邮件、采购订单（PO）、客户确认表，以及不同版本的附件。人工处理时，最容易发生的问题不是不会算，而是证据链断裂、税额口径混用、分期比例错误，或者在公开演示时误带出客户信息。

2026-08-21

# WorkBuddy 实战教程：从一句需求到可离线运行的单文件仪表盘

我是 WorkBuddy 的重度用户，日常用它搭工具、写代码、整理文档。前阵子积分见底，翻了下消耗记录才发现：积分烧得快，很多时候不是任务多，而是用法不对——需求没说清楚反复改、全程开着最耗积分的模式、对话拖太长。

2026-08-21

从主机指标到可审计运维摘要：用 Beszel 构建受控的告警分析链路

主机数量增加后，问题不再只是“有没有监控”，而是如何把指标转化为可复核、可执行的故障信息。

2026-08-18

如何借助Skill，把行业经验、Know-How沉淀为企业可治理的软件资产

现在很多公司都希望通过引入AI提高企业效率。模型账号开通了，知识库和Agent也开始试点，业务部门很快就能感受到内容生成、材料整理和信息检索速度的变化。

2026-08-17

资源下载

更多资源

Mario

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

腾讯云软件源

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

Spring

Spring框架（Spring Framework）是由Rod Johnson于2002年提出的开源Java企业级应用框架，旨在通过使用JavaBean替代传统EJB实现方式降低企业级编程开发的复杂性。该框架基于简单性、可测试性和松耦合性设计理念，提供核心容器、应用上下文、数据访问集成等模块，支持整合Hibernate、Struts等第三方框架，其适用范围不仅限于服务器端开发，绝大多数Java应用均可从中受益。

Rocky Linux

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