最新发布

在AI Coding时代，形式化验证是如何确保AI安全、可信、可解释的关键技术支撑？

前言 这是一个非常前沿且具有深度的话题。 以前，形式化验证因门槛过高，大家望而却步！ 如今，AI加持，门槛大幅降低，有了新的机会！ 在传统的软件工程中，\\形式化验证（Formal Verification）\\主要用于解决“确定性逻辑”的...
133 0 0
为什么AI Coding编码效率跃迁后，测试环节的反差感在领导/团队眼里最大？

AI Coding 深度赋能前段开发，短期内带来的编码效率跃迁、极速迭代模式的剧变，缩短了前段交付周期，也对研发项目交付模式带来了显著冲击，叠加领导的压力，质量、后段的测试产生明显的“窒息感”！ 1、效率失衡危机：人家都能提效，你测试为啥不...
154 0 0
AI Coding带来的假象与认知落差，掩盖了「真实企业复杂软件工程的全链路失速、质量失稳、债务失控与组织失衡」

假象一：仅局部编码环节提速，绝非全软件工程提效 编码效率提升 = 整体研发效能提升（最核心、危害最大） 软件工程的核心绝不只是写代码，编码仅占整体研发工时极小一部分，大量成本消耗在需求对齐、架构设计、评审、测试、协同、线上故障兜底、历史存量...
125 0 0
AI 时代，测试才是稀罕物

当代码生产接近零成本时，正确性将成为最昂贵的资产。 一、软件开发最大的误解 很多人认为，软件开发的核心是写代码。但只要回想一下你上一个需求的完整周期，就会意识到这个认知有多不准确。 一个完整的开发周期，大概是这样的：理解需求、系统设计、技术...
2.8K 0 0
【实战】幻X2025基于LM Studio本地部署RAG

本文实战基于本地部署RAG，演练构建企业内部知识库、产品问答系统 等应用，实战以下基本流程： “ 文档清洗→切块→嵌入向量化→存入向量数据库 →【构建可检索知识库】→用户查询→检索相关文本块→拼接为增强提示→输入 LLM 生成输出 ”
237 1 0

分类推荐

LLM大模型 1.1W
LLM大模型 更多文章

大模型/LLM的分类体系、预训练、微调，及应用等相关知识...

10篇文章
Agent智能体 3.5K
Agent智能体 更多文章

Agent智能体的架构设计、智能体协同、开发实践、经验...

12篇文章
SDD工程 586
SDD工程 更多文章

SDD ，Spec-Driven Development的流程体系、落地实践...

4篇文章
Harness工程 6.3K
Harness工程 更多文章

Harness，驾驭AI安全、准确抵达目的地的“智能马车”...

6篇文章
AICoding 4.4K
AICoding 更多文章

AI Coding编程技巧、实操、代码生成与项目实战方案...

5篇文章
AITesting 4.1K
AITesting 更多文章

基于AI的智能化测试，实践、经验、案例...

7篇文章

友情链接

墨晨资源库智谱学tibo更多友链