首页 文章 精选 留言 我的

精选列表

搜索[弹性95],共10000篇文章
优秀的个人博客,低调大师

弹性计算双周刊 第4期

【最新动态】 1、F3云上板卡正式启动邀测 阿里云全新一代FPGA云主机F3(VU9P实例)正式上线邀测。F3云上板卡采用阿里云自研超高性能FPGA加速卡,搭载Xilinx 16nm Virtex UltraScale+ 器件VU9P,最大实例规格支持4个VU9P芯片,提供超过一千万逻辑单元,和高达47 TeraMACs 的DSP计算能力,为芯片原型验证,基因计算,图片/视频转码,以及大数据处理和人工智能推理等应用,提供极致的加速性能。 2、阿里云图形工作站正式售卖 图形工作站基于专业GPU显卡,集成了Citrix远程桌面功能,非线编软件以及数据存储系统在内的一套完整图形图像处理流程,旨在满足一些高端用户在使用阿里云GPU可视计算实例时的极致桌面体验,如高清桌面的实时交互。同时也为一些特定行业用户,如视频非线性编辑用户,提供线上视频编辑的

优秀的个人博客,低调大师

弹性计算双周刊 第3期

【最新动态】 ECS主动运维2.0,体验升级,事半功倍 阿里云致力于提供更好用的运维体验,让您使用ECS的过程更透明、高效,并实现更加标准化、自动化的运维方式。基于主动运维2.0,您使用ECS云服务器的体验更加流畅,而且利用系统事件,不再依赖于工单联系客服,可通过自助处理的方式响应主动运维实例重启,减少对系统可靠性和业务连续性的影响。 ECS已过期实例续费变配功能上线 中国站ECS控制台,现已支持已过期的实例续费,对实例规格进行变配。功能特点:已过期实例续费变配与过去的续费降配有三点区别:续费变配只可以续费同时修改实例规格配置,不可以修改带宽;续费变配提供的实例规格,可以是更高配置或者更低配置的规格;续费变配只支持已过期实例。 Clear Linux镜像在云市场发布 Clear Linux是Intel提供的主要面向云的linux 发行版,

优秀的个人博客,低调大师

Github 暴增95k star,Spec Kit 让 AI 先写需求再写代码

不知道你有没有经历过这种"vibe coding 惊魂夜": 你跟 Claude 说:“帮我做个博客系统。“然后它唰唰唰生成了一堆代码,你看着挺像那么回事,就点了"接受”。结果跑起来发现,首页没有分页、评论不能删除、用户头像上传只支持 JPEG——而你明明在 prompt 里写了一句"完整的博客系统”,觉得自己说得挺清楚的。 于是你开始第二轮、第三轮、第四轮补丁式对话,把那些"我以为 AI 会懂"的东西一条条补上。三个小时后,代码堆了一千多行,但逻辑东一块西一块,你甚至不敢重构,因为一动就不知道哪里会塌。最后你发出了灵魂拷问:**到底是我在写代码,还是 AI 在写代码,而我在给它擦屁股?** 这就是纯"氛围编程"(Vibe Coding)的典型下场——**意图不明确,过程不可控**。 ---- ## GitHub 出手了:Spec Kit 是什么? 就在最近,GitHub 开源了一个叫 **Spec Kit** 的工具包。发布才几天,GitHub 上已经狂揽 **9.5 万星**、8000 多个 Fork,而且还在疯涨 。 它解决的就是上面那个问题——**让 AI 在写代码之前,先把需求想清楚。** Spec Kit 的全称是 **Spec-Driven Development**(规范驱动开发)工具包。核心思想特别朴素:**“Spec → Plan → Tasks → Implement”**——先定规格,再出计划,再拆任务,最后才写代码 。 你可以把它理解成一个"AI 项目监理":你告诉它你想做什么,它会先逼着你和 AI 把需求掰扯清楚,然后再让 AI 动手。 ---- ## 工作流:六个命令走完一个项目 Spec Kit 提供了一套结构化的 Slash 命令,适配 Claude Code、Cursor、Copilot、Codex、Gemini CLI 等 35 种 AI 编程工具 。这套流程大致分六步 : |阶段|命令|你在做什么| |:-:|:-:|:-:| |0|`/constitution`|定项目规矩——什么能做、什么不能做、代码风格、测试标准| |1|`/specify`|用自然语言描述"要造什么",只讲 **what/why**,不讲怎么实现| |2|`/clarify`|AI 主动提问,把模糊的地方全部挖出来| |3|`/plan`|确定技术栈、架构方案、第三方依赖| |4|`/tasks`|把计划拆成一个个有序的可执行任务| |5|`/implement`|AI 按任务清单逐条执行,生成代码| 关键在于,**每一步都会生成一份 Markdown 文档沉淀在项目里**——[spec.md](http://spec.md/)、[plan.md](http://plan.md/)、[tasks.md](http://tasks.md/)。这些文档不是"开工前写写就扔一边"的形式主义,而是**后面每一步的输入依据**,也是你以后理解"这项目当时为什么这么设计"的唯一线索 。 ![在这里插入图片描述](https://developer.qcloudimg.com/http-save/yehe-11859176/7af8b9c76a3ee9eddf24d01a974f3909.png) 就算你三个月后回来接手这个项目,或者换个 AI 继续开发,打开这些文档,**上下文就全回来了。** 不像以前那种纯 Prompt 对话,关掉窗口就等于失忆。 ---- ## 为什么这玩意儿能火? 我觉得 Spec Kit 爆火的核心原因,是它精准踩中了"Vibe Coding"时代最大的痛点:**AI 写代码越来越快,但项目越写越乱**。 纯 Vibe Coding 的问题在于 : - **意图来源**:一句话 prompt,随想随改,AI 猜来猜去 - **过程可见性**:黑盒,改完才知道结果 - **漂移风险**:高,AI 容易顺手改掉不该动的逻辑 - **可维护性**:差,后人(甚至三个月后的自己)根本接不上 而 Spec Kit 驱动的工作流是: - 一份可评审、可版本化的 Spec - 每阶段都有产物(Constitution / Spec / Plan / Tasks) - 计划和任务锁定了边界,AI 不容易跑偏 - 规格即文档,**新人或新 Agent 也能接得住** 说白了,它解决的其实是一个古老的问题:**怎么让"写代码"这件事从"作坊式"变成"工程化"。** 只不过这次,工程师换成了 AI。 ---- ## 一点个人感受 我试了一下 Spec Kit,最大的感触是:**它逼着我在动手之前把想法说清楚。** 以前我写 prompt 经常偷懒,觉得"差不多就行了,反正 AI 会猜"。但 Spec Kit 的 `/clarify` 会追着你问:"这个功能边界在哪?用户权限怎么分?数据格式你定义了吗?"**被问过一轮之后,我自己对项目的理解都清晰了不少。** 而且它最大的优点是不锁死工具——你今天用 Cursor,明天想切 Codex,一个 `specify init` 重新配一下就完事 。这个"不绑定单一 Agent"的设计,对开发者来说真的是省了大心了。 别让你的 AI Agent 继续"裸奔"了。给它一份 Spec,让它先想清楚再干活。**你不应该当 AI 的"救火队长",你要当那个坐在旁边看图纸的人。** 🚀

资源下载

更多资源
Nacos

Nacos

Nacos /nɑ:kəʊs/ 是 Dynamic Naming and Configuration Service 的首字母简称,一个易于构建 AI Agent 应用的动态服务发现、配置管理和AI智能体管理平台。Nacos 致力于帮助您发现、配置和管理微服务及AI智能体应用。Nacos 提供了一组简单易用的特性集,帮助您快速实现动态服务发现、服务配置、服务元数据、流量管理。Nacos 帮助您更敏捷和容易地构建、交付和管理微服务平台。

Spring

Spring

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

Rocky Linux

Rocky Linux

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

WebStorm

WebStorm

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

用户登录
用户注册