Software Development
搜索文档
四川矩星科技发展有限公司成立 注册资本168.79万人民币
搜狐财经· 2025-11-14 10:45
公司设立与基本信息 - 四川矩星科技发展有限公司于近日成立 [1] - 公司法定代表人为代豪杰 [1] - 公司注册资本为168.79万元人民币 [1] 经营范围与业务布局 - 公司经营范围广泛,涵盖软件开发、人工智能应用软件开发、人工智能理论与算法软件开发以及人工智能基础资源与技术平台 [1] - 业务涉及智能无人飞行器销售、导航测绘气象及海洋专用仪器销售、智能车载设备销售以及智能机器人的研发 [1] - 公司业务包括集成电路芯片设计及服务、物联网技术服务、互联网数据服务及大数据服务 [1] - 公司提供3D打印服务、3D打印基础材料销售及工业设计服务 [1] - 公司经营包含货物进出口、技术进出口、计算机及通讯设备租赁、会议及展览服务、信息技术咨询服务及专业设计服务 [1] - 公司拥有许可经营项目:通用航空服务 [1]
全新升级,全面开放,限时免费!一图读懂 SOLO 正式版 | Q推荐
AI前线· 2025-11-14 08:26
产品发布与限时活动 - 公司于11月12日发布TRAE国际版SOLO正式版 [2] - 限时免费活动时间为11月12日12:00至11月15日23:59 所有用户可免费体验SOLO Coder和SOLO Builder [5][18] - SOLO模式是一种高度自动化的开发方式 以AI为主导 可理解目标并独立推进开发任务 [2] 核心功能升级 - 全新开发空间采用三栏布局 包含智能摘要、任务拆解和会话跳转功能 以实时掌握开发进程 [5] - 新增DiffView工具 可清晰集中展示AI的所有代码变更并提供实时代码审查反馈 确认变更后才生效 [7] - 新增上下文管理功能 具备进度展示和上下文压缩能力 旨在节省成本并保留价值内容 [8] - 新增多任务列表功能 支持同时开发不同功能模块 实现多线程工作无需等待 [12] 智能体与任务处理 - 新增内置智能体SOLO Coder和Plan 支持计划确认后再进行开发 并可随时反馈沟通 [8] - SOLO Builder支持端到端生成 适用于快速验证上线小型项目 [11] - 全新SOLO Coder用于处理复杂项目迭代和重构 可自动调用不同智能体 [11] - SOLO Coder可按照需求生成项目理解文档 并自动调用不同智能体完成任务 [14][15] 应用场景 - 项目理解场景:SOLO Coder可快速理解新项目或复杂代码库 生成介绍、总结规范并解答技术问题 [13] - 需求迭代场景:根据产品需求快速迭代功能 SOLO Coder开启Plan生成计划 确认后开发并可并行开发多模块 [14][15] - Bug修复场景:针对紧急Bug SOLO Coder可描述Bug表现 生成修复计划确认后执行 快速定位并修复Bug代码 [17]
别怕被淘汰!AI 现在是,将来也永远只是人类的助手|独家对话一线架构大佬 Christian Ciceri
AI前线· 2025-11-14 08:26
软件架构师角色的演变 - 软件架构师角色正经历技术能力、业务理解与数据驱动决策三位一体的转型期[3] - 云原生、微服务、分布式系统及低代码/无代码平台的普及使软件系统复杂性呈指数级增长[2] - 架构师核心职责从系统设计、技术决策转变为在快速迭代环境中保持架构健康与团队效率[2] AI对软件架构的影响 - AI可自动化代码生成、智能测试、辅助设计,快速发现潜在问题与优化空间,提升效率[2] - AI被视为有价值的助手,可辅助分析指标、提供改进方案,但无法取代人类判断与决策[5][8][9] - 技术决策必须由人类能力与经验主导,AI只有在人类驱动下才能成为真正生产力工具[8][9] - 软件架构涉及权衡取舍、理解业务背景及预判未来需求,难以在自动化系统中完全实现[14] 可度量与可演化架构理念 - 构建稳固且具适应性的系统可提升软件交付质量并确保系统随业务需求同步成长[4][7] - 指标与度量是推动争议更趋客观的有效方式,但团队共同秉持的架构愿景仍极为重要[8] - 采用演化式软件架构中的适应度函数可实时监测架构健康状况,及早发现退化迹象[4][11] - 架构退化迹象包括开发速度变慢、缺陷增加、性能问题及系统应对高负载出现困难[11] 架构治理与可观测性 - 真正架构治理需对所有软件属性保持持续监控,而不仅是系统运行时的质量属性[4][11] - 理想情况下架构性错误应通过失败的架构单元测试被检测到[11] - 指标不应被强制设为目标,而应结合团队文化建设,基于真实且公认的痛点引入[12] - 测试代码覆盖率是最被滥用的指标,数值非常低时是团队生产力不足的有用信号[13] 架构文化与团队协作 - 在团队内部建立真正软件架构文化需与开发人员并肩工作,尤其是在建模阶段[9] - 软件架构是工程学领域内一门不断发展的科学,需研读大量科学文献并持续深化理解[10] - 架构是一种共享愿景,决策应是集体性的,需将“我”从架构中去掉,确保团队共同参与[17] - 优秀架构师需具备分析能力、领导力、共情力,但好奇心能引导出创造性解决方案[15]
与C++之父面对面、共庆四十周年!直击AI算力、系统软件、研发智能化:2025全球C++及系统软件技术大会核心专题揭晓
AI科技大本营· 2025-11-14 05:55
大会概况 - 2025全球C++及系统软件技术大会将于12月12-13日在北京金隅喜来登大酒店举行 [1] - C++之父Bjarne Stroustrup将亲临现场,与全球顶尖专家探讨AI原生时代下系统软件新范式 [1] - 2025年是C++语言发布40周年,该语言正站在AI浪潮重塑世界的历史十字路口 [2] 现代C++最佳实践 - 专题聚焦语言演进背后的理念与实践路径,探讨工程思想的重塑 [5] - C++之父Bjarne Stroustrup将回顾四十年设计哲学与未来方向 [7] - 彭博John Lakos解析大规模软件架构工程化方法 [7] - 小米Vela框架负责人董俊杰展示现代C++在复杂系统中的落地价值 [7] - 彭博工程师团队分享C++反射核心原理实践与最新进展 [7] 大模型驱动的软件开发 - AI正推动软件开发从"自动化"向"智能化"深度变革,大模型成为开发者思维延伸 [11] - 未来软件开发趋势是"人机共建、智能驱动",而非单纯"AI辅助" [12] - CSDN李建忠提出AI原生软件研发成熟度模型,系统阐述研发体系向AI原生范式过渡 [11] - Adobe首席科学家David Sankel强调规避AI生成代码的真实风险 [11] - 腾讯云CodeBuddy、阿里Qoder CLI等产品展示大模型能力融入开发全流程的实践 [13] AI算力与优化 - 专题聚焦AI基础设施核心命题,从芯片层执行到系统级算力调度 [18] - 趋境科技杨珂分享"以存换算"哲学优化万亿参数模型推理 [20] - 清华大学展示面向异构计算的统一智能计算架构及开源生态 [20] - 系统内核专家张银奎剖析GPU对高效代码的独特理解 [20] - 智源研究院分享面向多元AI芯片的算子库与编译器实践 [20] 系统级软件优化 - 在AI与异构算力浪潮下,系统级软件面临高性能、高可靠性核心挑战 [22] - 中科加禾CEO崔慧敏解析编译技术在AI软件栈中的创新路径 [22] - vivo专家王骁分享端侧大模型部署中存储系统的优化实践 [24] - 阿里云内核专家邹涛解析系统级软件优化策略 [24] 研发效能与软件质量 - 研发效能与软件质量成为AI时代企业竞争关键抓手 [25] - Bloomberg分享大型工程体系中构建高质量软件的经验模型 [25] - Parasoft解析AI如何赋能测试生成、缺陷分析与质量预测 [25] - 京东零售介绍智能推理引擎在研发效能提升中的创新应用 [25] 高性能与低时延 - 高性能与低时延成为系统软件创新核心命题 [31] - 阿里云团队解析PolarDB在TPCC测试中实现性能突破的全链路优化策略 [31] - Linux内核维护者分享块设备缓存的高性能Btree索引设计 [31] - 快手编译优化专家介绍基于Profile的编译优化技术实践 [31] 并发与并行 - 并发与并行成为多核、异构与分布式计算时代性能提升关键支点 [36] - Incredibuild解析分布式缓存与任务切分实现上千核级别构建提速 [37] - C++标准委员会机器学习组主席分享并行计算在AI与系统软件中的最新进展 [37] - 上海人工智能实验室分享异构算力协同与高性能通信框架研究成果 [37]
凌志软件跌2.05%,成交额7969.11万元,主力资金净流出1097.84万元
新浪财经· 2025-11-14 05:34
股价表现与资金流向 - 11月14日股价报15.74元/股,下跌2.05%,成交金额7969.11万元,换手率1.26%,总市值62.96亿元 [1] - 当日主力资金净流出1097.84万元,其中特大单卖出110.01万元(占比1.38%),大单买入1659.99万元(占比20.83%)同时卖出2647.81万元(占比33.23%) [1] - 今年以来股价累计上涨15.68%,但近期表现疲软,近5个交易日下跌8.70%,近20日下跌13.89%,近60日上涨3.55% [1] 公司基本面与财务数据 - 公司主营业务为向金融行业提供定制软件开发服务及应用软件解决方案,收入构成高度依赖对日软件开发服务,占比达95.72% [1] - 2025年1-9月实现营业收入7.63亿元,同比减少5.57%,归母净利润9674.60万元,同比大幅减少21.87% [2] - A股上市后累计派现4.75亿元,近三年累计派现2.35亿元 [3] 股东结构变化 - 截至9月30日股东户数为1.99万户,较上期显著增加14.67%,人均流通股20056股,较上期减少12.79% [2] - 香港中央结算有限公司新进成为第六大流通股东,持股797.09万股,华宝中证金融科技主题ETF(159851)新进成为第七大流通股东,持股328.32万股 [3] 行业与概念分类 - 公司所属申万行业为计算机-软件开发-垂直应用软件 [1] - 涉及的概念板块包括国产软件、大数据、百度概念、信创概念、人工智能等 [1]
别被骗了,AI Coding可没那么神,22名软件开发者道出了这些弊端
36氪· 2025-11-14 03:23
AI Coding对软件开发行业的影响 - 大语言模型(LLM)驱动的代码生成器和编程助手正在重塑软件开发者的工作方式,AI Coding成为全球科技巨头和初创企业的战略焦点 [1] - 研究显示,LLM将软件开发者的工作效率提高了26% [1] - 约59%的参与者每天与LLM至少交互6次,ChatGPT是最常被使用的工具 [5][6] AI Coding带来的益处 - 在个人层面,LLM能自动生成样板代码、修复语法、提供即时反馈,帮助开发者节省时间、减少中断并保持“心流”状态 [7] - 在团队层面,LLM减少了开发者之间的协作干扰与沟通成本,并能提供“第二意见”以提升整体创造力 [9] - 在组织层面,LLM节约了软件开发公司的时间和成本,特别是对中小型企业而言,能以更少的人力完成更多任务 [9] - 在社会层面,LLM促进了创新创业,降低了创业门槛 [9] AI Coding存在的弊端 - LLM在生成代码或提供建议时容易出现错误或“幻觉”,反而可能拖慢进度,并需要额外时间验证结果 [11] - 过度依赖LLM可能削弱开发者的代码理解力与学习动力,导致开发者变得懒惰、冷漠,甚至对自身能力失去信心 [11] - LLM生成代码可能涉及版权问题或隐藏漏洞,引发安全隐患,部分公司因此明令禁止员工使用 [13] - 频繁调用LLM需要付费,增加了企业的运行负担,且可能使依赖经验和重复性工作的技术岗位面临失业风险 [13] 开发者与LLM的协作模式 - 开发者会在不同LLM之间反复试用,以找到最契合自己工作需求的工具,并认识到LLM是基于统计的工具而非“智能体” [14] - 开发者倾向让LLM参与代码优化而非直接生成,以保持对逻辑与结构的控制,部分开发者出于隐私考虑选择在本地运行模型 [14] - 开发者需要与LLM维持一种成熟的关系:既信任其能力,又保持理性距离,用人机协作的方式扩展自己的边界 [14] - 开发者基于长期经验积累形成的“直觉”在协作中起到“安全阀”作用,帮助识别LLM的错误或误导性建议 [15]
邢台市安费诺科技有限公司成立 注册资本1万人民币
搜狐财经· 2025-11-13 22:19
天眼查App显示,近日,邢台市安费诺科技有限公司成立,法定代表人为刘可馨,注册资本1万人民 币,经营范围为一般项目:软件开发;软件销售;非食用农产品初加工;食用农产品初加工;食用农产品零 售;绣花加工;技术服务、技术开发、技术咨询、技术交流、技术转让、技术推广;新材料技术推广服务; 物联网技术研发;网络技术服务;计算机软硬件及辅助设备零售;计算机系统服务;会议及展览服务;广告设 计、代理;广告制作;广告发布;个人商务服务;互联网销售(除销售需要许可的商品);图文设计制作;个人 互联网直播服务;互联网设备销售;其他文化艺术经纪代理;电子产品销售;组织文化艺术交流活动(除依 法须经批准的项目外,凭营业执照依法自主开展经营活动)许可项目:互联网信息服务;演出经纪;网络 文化经营(依法须经批准的项目,经相关部门批准后方可开展经营活动,具体经营项目以批准文件或许 可证件为准)。 ...
英方软件涨2.52%,成交额4.55亿元,今日主力净流入3136.11万
新浪财经· 2025-11-13 07:49
公司业务与市场地位 - 公司是国内数据复制与保护的纯软件市场前三大供应商之一,产品核心应用场景为容灾备份,保障用户数据安全及信息系统运行连续性 [2] - 公司产品成功应用于众多境内证券公司、银行、保险公司、基金公司等金融机构的核心业务系统,并在党政机关、医疗机构、电信运营商等多领域打造标杆项目 [3] - 公司主营业务收入构成为:软件产品60.37%,软件相关服务20.57%,软硬件一体机产品15.97%,其他3.09% [7] 技术与生态合作 - 公司一体机支持华为欧拉操作系统,已加入openEuler社区,未来将持续积极参与国产生态建设 [2] - 公司自主研发的动态文件字节级、数据库语义级等数据复制技术,与鲲鹏芯片、服务器、云平台及GaussDB、openGauss等产品有兼容性认证 [2] - 公司产品可用于人工智能大模型应用的容灾、数据保护及数据迁移 [2] 财务表现与股东结构 - 2025年1月-9月,公司实现营业收入1.32亿元,同比增长11.26%;归母净利润为-1470.58万元,但同比增长53.56% [8] - 截至9月30日,公司股东户数为6509户,较上期增加0.91%;人均流通股为7248股,较上期增加1.32% [8] 市场交易情况 - 11月13日,公司股价上涨2.52%,成交额为4.55亿元,换手率为16.54%,总市值为49.35亿元 [1] - 当日主力资金净流入3136.11万元,近5日主力净流入1.15亿元,近10日主力净流入1.69亿元 [4][5] - 主力持仓为轻度控盘,筹码分布较为分散,主力成交额2.14亿元,占总成交额的12.03% [5] 公司资质与行业属性 - 公司已入选工信部专精特新“小巨人”企业名单,该称号是专注于细分市场、创新能力强、市场占有率高企业的最高等级荣誉 [3] - 公司所属申万行业为计算机-软件开发-横向通用软件,所属概念板块包括小盘、融资融券、云计算、信息安全、数字经济等 [8]
智能体崛起,AI+软件研发到新拐点了?
36氪· 2025-11-13 04:51
LLM原生开发时代的现状与挑战 - 行业认为AI编程正处于范式变革的临界点前夕,尚未完全达到真正的范式变革 [2] - AI在相对独立、结构清晰的小任务或0到1的创新场景中表现突出,但在复杂庞大的现实任务中挑战巨大 [2] - 越来越多公司披露其代码中AI生成比例快速上升,部分团队已超过50%,AI已深度介入代码生产 [3] - 从整体影响力和效率提升角度看,AI编程还未达到真正的范式变革,目前只是走在半坡上 [3][7] AI已实现自动化的开发环节 - 在Design to Code方向,通过图像理解与设计稿解析结合,代码生成可用度达到80%至90% [9][10] - 多端代码转换任务中,AI生成质量可达70%以上,整体提效约达原来的1.5倍 [11] - 代码审查方面,结合规范进行自动检测,测试阶段bug数量下降幅度达30%-40% [11] - 在测试用例生成方面,平安集团内部用例数据生成覆盖率已达60%左右,复杂接口测试脚本生成时间从数小时缩短至几分钟 [14][15] - AI擅长替代重复性、机械性任务,如中英文版本代码互转,让程序员将时间投入到更复杂工作中 [12] AI落地研发面临的主要障碍 - 最大问题在于AI效果缺乏稳定性,收益不足以抵消改变工作习惯的成本时落地困难 [16] - 在大型存量代码库中,AI难以处理庞大上下文,常出现不符合逻辑的修改 [16] - 信任建立是关键挑战,初期使用中AI回答不准确会降低用户信任度 [17] - 算力问题影响使用体验,响应速度直接影响用户容忍错误的意愿 [18] - 提示词质量差异导致使用效果差距巨大,低效使用者因输入模糊导致模型误解意图 [18][19] 从AI助手到智能体协作的演进 - 智能体与助手的核心区别在于闭环能力,智能体可以串联完整的开发-测试-审查流程 [25] - Coding Agent代表通用智能体的发展路径,能独立完成软件研发任务,潜力远超特定工具层面的自动化 [5][27] - 行业更倾向于发展轻量化、插件化生态,而非大一统平台,当AI能稳定接管50%以上流程后再谈平台整合 [28] - 要实现人类仅输入开发意图,后续由AI完成代码生成与自测的流程,预计至少还需要一年以上时间 [26] AI时代的人才价值重塑 - 未来工程师价值体现在全局视角和系统架构理解能力,而非单一技能 [33][34] - 架构师价值被放大,因为AI在小任务上出色但系统层面设计仍需人类把控 [35] - 协作能力成为关键差异,清晰与AI沟通任务的能力可带来五到十倍的效率提升 [35] - 全栈工程师价值更高,AI帮助突破语言壁垒,使个人能力边界得到显著扩展 [36] - 产品经理需要既懂技术又懂业务与测试,具备全面理解能力的人才更具不可替代性 [34]
终于,TRAE SOLO全量开放,我们用它复刻了PewDiePie的大模型智囊团
机器之心· 2025-11-13 04:12
产品发布与定位 - TRAE SOLO 正式版于2025年11月完成全量推送,所有TRAE国际版用户升级至最新版本后均可使用[3][5] - 产品定位从Beta版的“业内首个基于Context Engineering理念的AI开发助手”升级为正式版的“The Responsive Coding Agent”,即“具备响应感知的编程智能体”[6] - 公司推出限时免费体验活动,截至11月15日23:59,所有用户可免费体验SOLO Coder和SOLO Builder功能[7] 核心功能升级 - 正式版新增内置智能体SOLO Coder、多任务列表、上下文压缩、代码变更等核心能力,旨在具备搞定复杂项目开发的综合实力[6] - 提出“随时可掌控”特性,通过上下文可跟踪、可回溯、可压缩、不中断的技术,解决AI编程中意图偏离、上下文遗忘的结构性缺陷[11][13] - 引入“实时有感知”特性,通过将任务自动拆解为清晰的To-Do List并实时更新进度,以及可视化展示AI调用的工具和操作,提升开发过程透明度[16][19][20] - 实现“多任务并行”能力,开发者可同时开启多个项目或子任务,每个任务的上下文被完整保存,并可调用一系列可直接调用的Sub-Agent[23][25] 产品实测表现 - 在复杂场景实测中,SOLO Coder能对复杂需求进行详尽分析并生成详细的结构化项目规划,符合其处理复杂任务的定位[27][31][32] - 执行开发计划过程中,SOLO Coder展现了强大的自主解决问题能力,能够快速找到错误原因并自行修复,在大约13分钟内生成项目的V1版本[35][36][37] - 在从1到N的迭代阶段,SOLO Coder能理解简单反馈并自主修正错误,例如成功添加RAG功能,安装依赖、更新代码并自行测试修复问题[39][40][41] - 实测项目最终实现了RAG功能、委员会协同及音频输出等复杂需求,展示了产品从0到1快速启动和1到N复杂迭代的“双核”协作能力[43][45] 行业趋势与公司战略 - AI编程工具正从“AI辅助编码工具”逐步走向“能够掌控开发过程的智能体系统”,行业演进路径清晰[47][50] - 公司产品迭代历程显示其从IDE集成AI的1.0阶段,进化到AI集成上下文的2.0阶段,最终在3.0阶段定义为响应感知的编程智能体[48][49] - 公司战略聚焦于不牺牲工程深度的情况下降低开发门槛,工具优先服务专业开发者并融入生产体系,未来逐步扩展到研发上下游与非专业群体[54] - 行业发展趋势表明,随着AI能力边界拓宽,未来“开发者”角色将向“架构师”转变,高价值用户是能让AI创造新价值的人[56]