IT之家 5 月 22 日消息，英国科技初创企业 Builder.ai宣布进入破产程序，该公司曾是英国融资最多的科技初创企业之一。 Builder.ai总部位于伦敦，是一家专注于利用人工智能技术简化应用程序和网站开发流程的公司。该公司曾宣称其技术能够将开发过程变得"像点披萨一样简 单"，并获得了包括微软和卡塔尔主权财富基金在内的多家顶级投资者的支持，累计融资超过 5 亿美元（IT之家注：现汇率约合 36.01 亿元人民币）。 Builder.ai在周二的一次公司全员电话会议上告知员工，公司正在申请破产。该公司向英国《金融时报》证实，其主要子公司 Engineer.aiCorporation"将启动破 产程序，并将指定一名管理人来管理公司事务"。 今年早些时候，公司创始人 Sachin Dev Duggal 辞去了首席执行官职务，但仍保留了董事会席位，并担任"首席巫师"（Chief Wizard）一职。4 月，公司新任 首席执行官 Manpreet Ratia 表示，公司已将 2023 年的收入下调至 1.4 亿美元，并将 2024 年下半年的收入预测下调了 25%。 据内部人士透露，Ratia 在周二的全体员 ...

市场表现 - 5月22日大盘低开震荡，AI应用、半导体产业链走强，上证科创板人工智能指数盘中涨1% [1] - 人工智能ETF科创（588760）因规模较大、流动性好备受资金关注，成交额、换手率均同类居前 [1] 行业前景 - 英伟达首席执行官黄仁勋指出DeepSeek将人工智能计算需求提升100至1000倍，预计2026年中国人工智能市场规模将达到500亿美元 [1] - 兴业证券表示国产大模型的持续进步正逐渐拉近和世界TOP模型的差距，Tokens价格持续下探，叠加政策对AI发展以应用为导向的趋势，2025年将成为AI应用爆发元年 [2] - 国信证券看好人工智能行业开启反弹周期，AI仍是互联网巨头的核心驱动力，其云计算、广告及程序员主导的成本结构将显著受益于AI技术升级 [2] 指数与ETF数据 - 上证科创板人工智能指数汇聚科创板市场中30只市值较大的为人工智能产业提供基础资源、技术以及应用支持的上市公司证券 [1] - 指数申万TOP3行业及权重分别为半导体（53 1%）、IT服务（16 4%）、软件开发（10 3%） [1] - 指数自3月以来持续震荡回调，截至5月21日最新市盈率TTM为122 04倍，处于历史23 26%的分位水平 [1] - 人工智能ETF科创（588760）最新份额超25亿份，最新规模14 3亿元，资金近四个月持续买入超20亿份 [2] - 2-5月其份额分别新增12 36亿份、6 36亿份、1 62亿份、1 62亿份 [2] - 自3月以来日度跟踪指数误差为0 0126%，跟踪误差控制能力排同类第1 [2]

Spring框架的诞生与发展 - Spring框架的核心理念源于Rod Johnson在1999-2000年伦敦工作期间提出的依赖注入思想，并通过其著作传播后发展为开源项目[3] - 框架成功的关键因素包括：开发者团队质量（如Juergen Hoeller）、社区专业文化、以及早期明确的商业化路径（2004年已规划可行商业模式）[5] - 与同期竞品JBoss不同，Spring通过技术创新（如解决WebSphere兼容性问题）而非单纯开源替代实现差异化[6] Kotlin语言优势与采用动因 - Kotlin具备Python的清晰可读性优势，同时规避了其类型系统弱点，并完美兼容JVM生态（如Spring/Jackson集成）[12][24] - 语言设计注重实用性：特性源自实际需求（如借鉴Scala经验但简化复杂度），避免学术化倾向[11][32] - 开发者迁移成本低：学习曲线平缓（2个月可熟练），LLM工具支持度高（代码建议质量优于Java/Python）[10][14][16] Kotlin与Spring的协同效应 - 技术契合度高：Spring的构造函数注入模式与Kotlin不可变对象特性天然匹配，XML配置已完全淘汰[24][25] - 现代Spring开发中，Kotlin能显著减少样板代码（如数据类自动注入），但JPA因可变性设计与Kotlin风格存在轻微冲突[25][26] - Spring官方文档全面支持Kotlin示例，集成问题极少（仅类默认open需适应），成熟度已达工业级标准[27] 行业生态与未来趋势 - Kotlin成功关键在JVM生态整合：与Java库互操作性近乎完美（零成本调用Spring/Jackson等），远胜Scala的历史问题[22] - 未来演进方向：需保持Java生态兼容性，可能引入联合类型等实用特性，但应避免TypeScript式的过度复杂类型系统[30][31] - 在AI开发领域，Kotlin+Spring AI组合可替代Python成为JVM系企业的生成式技术选项，提升现有技术栈利用率[34]

公司动态 - Syncfusion在微软Build 2025大会上发布了第四套开源NET MAUI控件 进一步扩展了其NET MAUI开发者工具包 [1] - 公司CEO表示作为微软的合作伙伴 此次发布的开源控件旨在帮助开发者更快更灵活地构建应用程序 [2] - 最新发布的NET MAUI工具包包含超过20个开源控件 可简化现代响应式应用的开发流程 [2] - 新控件包括选择器 日期时间选择器和进度条等多种组件 全部采用开源模式并支持AI增强开发工作流 [3][7] 产品与技术 - 公司在微软Build大会上展示了完整的开发者解决方案生态系统 包括旗舰产品Essential Studio®库 包含1900多个组件 [4] - Bold产品线提供数据可视化 帮助台支持和电子签名工作流等工具 [4] - 新发布的NET MAUI控件具有高度可定制性 支持多列布局 弹出视图和动画效果等特性 [7] 市场活动 - 公司在微软Build大会205号展位提供产品演示 专家咨询和专属礼品赠送 [5] - 现场安排专家与开发者交流 分享产品见解并主持相关会议 [5] 公司背景 - 公司总部位于北卡罗来纳州研究三角园 成立于2001年 从单一软件组件起步 [6] - 目前在美国 印度和肯尼亚设有办公室 服务对象涵盖个人开发者到财富500强企业 [6] - 核心产品Essential Studio®套件已发展到包含1900多个开发者控件 [6]

公司动态 - Railtown AI Technologies Inc 正式发布 Visual Studio 扩展 将先进AI驱动的Root Cause Agent (RCA++)集成至全球广泛使用的集成开发环境(IDE)中 [1] - 该扩展旨在通过情境感知AI提供自动化修复、智能代码建议和简化工作流程 彻底改变开发者识别、解决问题的方式 [2] - CEO表示该工具可帮助开发者更快更精准地检测和修复问题 同时支持作为独立工具使用或集成至Conductr开发者生产力工程平台 满足不同规模团队需求 [3] 产品功能 - 核心功能包括：基于实时分析的AI自动化修复、生成可审查的PR及测试用例、高质量单元测试生成、首次错误分类、环境追踪等 [6] - 显著缩短平均解决时间(MTTR) 通过代码图谱分析和自然语言交互功能提升修复准确性 [6] - 支持Azure DevOps和GitHub集成 将AI根本原因分析扩展至CI/CD管道和版本控制系统 [6] 市场推广 - 公司已聘请i2i Media主导营销活动 旨在扩大产品覆盖面和市场认知度 [5][7] - 产品定位为通过AI重新定义现代工程团队工作方式 嵌入软件生命周期各阶段的智能解决方案 [8] 行业影响 - Visual Studio作为全球开发者最流行的IDE之一 该扩展可实现无缝集成 提升调试效率和部署可靠性 [4] - 解决方案专注于优化软件开发流程 减少停机时间并加速全球团队的创新速度 [8]

垂直领域的场景解构者 - 锐智互动的智慧课堂解决方案已覆盖全国37所重点中学 将师生互动延迟压缩至200ms的无感区间 并开发鸿蒙系统多端适配框架实现电子班牌、教师Pad和学生终端的像素级一致性 [1] - 该公司零售团队自主研发的生鲜供应链库存动态预测算法 通过分析冷链货车GPS轨迹与社区团购订单的时空关系 使某连锁超市损耗率同比下降21% [1] 基础设施的技术赋能者 - 百度语音交互实验室开发的手语识别模型能准确识别"胸是炒鸡蛋"等地域性表达 其AI中台意图识别模块使金融类APP客服响应速度提升3.8倍 [4] - 京东供应链数字孪生系统为医疗器械商实现手术器械配送路径实时优化 每年节省运输里程相当于绕故宫8920圈 [4] - 腾讯社交裂变工具包通过LBS+AR试衣间组合玩法 使某潮牌店周末进店转化率提升至47% 其轻量化SDK让中小商户15天完成APP全流程开发 [4] 胡同里的技术人类学 - 某微型工作室为史家胡同博物馆开发AR导览APP 通过识别砖雕纹样自动播放匠人口述史 实现数字代码与传统营造技艺结合 [5] - 文艺类APP开发者与行为艺术家合作 根据用户阅读时长调整消息推送频率 成为国内首个引入读者呼吸律动算法的内容产品 [5]

AI编程转型趋势 - 编程方式从传统搜索引擎转向AI辅助编程，开发者需要编写更详细的提示词而非简单关键词[1] - 高质量AI代码生成依赖两大要素：强大的底层模型和精准的提示词工程[2] - 行业出现对AI编程工具能否完全替代程序员的讨论，但调试环节仍需人工介入[3] 提示词工程体系 - 建立18类标准化提示词模板库，覆盖代码生成、解释、优化等全生命周期场景[4] - 典型模板包括：代码生成（"使用[语言]编写[功能]"）、代码优化（"优化以下[语言]代码提高[性能]"）、算法实现（"用[语言]实现[算法]"）等[4] - 技术选型提示词要求对比分析技术A/B的优缺点，考虑开发效率、性能等4维度[5] 需求分析与技术决策 - 需求解构提示词要求分4步：功能点优先级排序、难度标注、技术选型推荐、风险预警[6] - 技术选型顾问提示词需生成对比表，评估开发效率、性能等4个核心维度[6] - 实战案例：电商小程序技术栈选择需平衡团队适配度与社区活跃度[6] 代码生成与优化 - 高质量代码生成5要素：清晰结构、详尽注释、极致性能、全面异常处理、符合最新规范[7] - 算法实现提示词要求包含复杂度分析、优化空间说明和执行过程演示[8] - 代码优化聚焦4个关键点：性能瓶颈定位、冗余计算消除、内存占用降低、高效算法替代[8] 测试与质量保障 - 测试用例设计需覆盖正常情况、边界值、异常输入、压力测试4类场景[13] - 单元测试生成要求细粒度路径覆盖，使用mock处理依赖，单个测试仅关注1个断言点[14] - 代码审查提示词要求无情指出潜在BUG、安全隐患、性能问题等5类缺陷[12] 系统设计与部署 - 数据库设计提示词需包含表结构、索引优化、大数据量处理方案、表关系说明[16] - Docker部署方案要求区分3种环境配置，提供资源优化和数据持久化方案[21] - CI/CD流程设计需实现自动化构建测试、分级部署、快速回滚3大核心功能[21] 安全防护体系 - 安全审查提示词要求检测SQL注入、XSS等6类漏洞，并提供具体修复方案[23] - 数据加密方案设计需明确保护范围、安全等级、性能要求和跨平台兼容性[24] - 实战案例：社交APP需对用户数据实施端到端加密，确保数据库泄露时数据安全[24]

在数字化浪潮中，小程序已成为企业拓展业务、提升用户体验的关键工具。对于合肥的企业而言，选择一家专业的小程序开发公司至关重要。以下为您推荐 几家合肥地区表现出色的小程序开发公司。 云浪科技 云浪科技是一家专注于小程序开发与运营的互联网服务公司，始终秉持以客户需求为核心的理念，致力于提供高品质、定制化的小程序解决方案。其开发团 队拥有长达 14 年的丰富经验，积累了深厚的行业知识和强大的技术实力，能够精准把握不同客户的独特需求，量身打造与企业品牌形象及业务流程完美契 合的小程序。 在项目执行过程中，云浪科技对细节和用户体验的把控近乎严苛。从精心雕琢小程序的页面 UI 设计，确保视觉效果美观且符合品牌调性，到实现稳定高效 的功能开发，保障小程序在各种场景下都能流畅运行，再到后期持续的优化维护，及时修复漏洞、提升性能，每一个环节都严格遵循高质量标准，全力保障 小程序的稳定性和安全性。公司承诺若客户对设计不满意，可无条件全额退款，充分展现了对自身设计实力的自信。同时，云浪科技坚持原创设计，并将源 码交付给客户，让客户拥有小程序的完全自主控制权。此外，公司还提供终身免费技术支持维护，杜绝任何隐形收费，为客户的小程序运营之 ...

数字化转型与上海软件开发行业 - 上海作为科技创新核心城市汇聚了一批在软件开发领域具有技术实力与行业影响力的企业涵盖金融科技工业互联智慧城市等多个领域 [2] - 行业呈现技术驱动场景深化与区域协同生态构建两大趋势金融制造物流等领域加速与AI区块链等技术融合形成差异化解决方案 [8] - 根据上海市经信委数据2025年全市软件产业规模较2022年增长38%工业软件与人工智能企业占比达32% [8] 锐智互动科技有限公司 - 以金融科技与工业物联网为核心自主研发跨境支付结算平台接入超50家海外金融机构日均处理交易量突破10万笔结算效率提升30% [3] - 在医疗领域结合区块链技术构建数据共享平台为多家三甲医院实现患者信息安全流转降低合规风险 [3] - 智能报关系统在临港新片区物流企业中广泛应用单证处理效率提升45%技术亮点包括高并发交易架构和多行业场景适配能力 [3] 锐智开高科技有限公司 - 聚焦高端制造与智慧城市建设智能运维平台为某船舶制造集团实现设备故障预测准确率超85%维护成本降低20% [4] - 在洋山港智慧化改造中集装箱调度系统通过5G+AI算法优化周转效率提升18% [4] - 与上海交大共建工业数字化联合实验室推动国产工业软件技术突破技术优势包括边缘计算实时响应和多协议设备兼容 [4] 阿里云 - 深度参与上海智慧城市建设城市大脑系统通过AI算法优化交通信号灯配时试点区域早高峰拥堵时长缩短12% [5] - 在零售领域为老字号品牌搭建全渠道数据中台实现库存统一管理缺货率下降26% [5] - 联合张江科学城构建AI算力共享平台服务超200家中小科创企业开源中间件与云原生技术栈为本地企业提供弹性扩展支持 [5] 腾讯 - 围绕数字孪生技术为上海地铁开发全线路运维模拟系统故障响应时间缩短35% [6] - 在消费端AR文旅导览应用与豫园等文化地标合作日均用户交互量超50万次 [6] - 企业微信定制版服务长三角超6000家制造企业实现跨区域资源调度效率提升在AI大模型领域持续投入万亿级中文NLP预训练模型HunYuan-NLP-1T已应用于广告与搜索场景 [6] 京东科技 - 在上海嘉定物流枢纽部署智能仓储管理系统AI分拣算法使人工干预频次降低60% [7] - 针对生物医药行业冷链溯源平台实现全链路温控数据上链已对接30余家医药企业确保药品运输合规性 [7] - 工业互联网平台接入长三角600余家制造企业提供从设备监控到能耗优化的全流程服务技术方向聚焦物联网与供应链融合 [7] 未来展望 - 随着量子计算5G-A等技术的应用上海或将在全球科创格局中占据更重要的战略地位 [9] - 企业通过技术创新与生态协作持续赋能实体经济发展展现技术驱动下的多元化发展路径 [9]

金十数据5月19日讯，OpenAI在官网发布了一个全新基于云端的代码Agent——Codex。Codex可以为开 发人员自动执行多种任务，例如，编写功能代码、回答有关代码库的问题、修复错误以及提出拉取请求 审查等；每个任务都在自己的云端沙盒环境中运行，同时能预加载用户的代码库。据悉，Codex由 Codex-1模型提供支持，这是OpenAI-o3的一个微调版本，专门针对软件工程进行了优化。通过强化学习 在多种环境中对真实世界的编码任务进行训练，生成的代码能够贴合程序员的代码风格和拉取请求偏 好，并严格遵循指令。 （AIGC开放社区） OpenAI发布代码Agent：开启自动化编程时代 ...