首页 文章 精选 留言 我的

精选列表

搜索[源代码漏洞],共10000篇文章
优秀的个人博客,低调大师

昆仑万维开源代码 Agent 模型 Skywork-SWE-32B

昆仑万维开源了其专门为软件工程(SWE)任务设计的代码代理模型Skywork-SWE-32B。 据介绍,昆仑万维团队通过构建超过1万个可验证的GitHub仓库任务实例,打造出目前最大规模的可验证GitHub仓库级代码修复的数据集,并系统性验证了大模型在软件工程任务上的数据缩放定律(Scaling Law)。 Skywork-SWE-32B模型在SWE-bench Verified基准上取得38.0% pass@1准确率,刷新Qwen2.5-Coder-32B系列模型在OpenHands代码框架下的最佳成绩。进一步引入测试时扩展技术后,模型表现提升至47.0%的准确率,不仅超越了现有参数规模在32B以下的开源模型,也显著效缩小了与闭源模型之间的性能差距。 通过结合测试时缩放技术(Test-Time Scaling),Skywork-SWE-32B的性能进一步提升至47.0%的准确率,超越了32B参数以下模型的现有SOTA结果。 昆仑万维还明确展示了LLM软件工程能力的数据缩放定律现象,在收集了8209条训练轨迹后仍未出现饱和迹象。此外,昆仑万维引入了一种高效自动化的SWE数据收集流程,并创建了Skywork-SWE数据集,该数据集具有大规模、高质量和全面的可执行运行时环境。 详情查看https://huggingface.co/Skywork/Skywork-SWE-32B

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

会员中心移动端 (UNIAPP) For ICEPOS 开源收银系统开源代码上线

ICEPOS开源收银系统-UNIAPP会员中心 介绍 UNIAPP会员中心---- 使用UNIAPP+VUE2.0开发,兼容双平台:H5 + 微信小程序。完美对接ICEPOS管理后台(PHP/Thinkphp5.1/Thinkphp8.1),即原ICEPOS收银客户端的后台接口和数据!现已可以通过UNIAPP注册会员、绑定手机号、微信授权登录、微信手机号快捷登录等获得会员信息。原C#收银客户端可通过会员二维码快速扫码录入手机号或会员编码,进行会员录入,快速下单!会员中心功能还包括:订单查询、会员积分明细、优惠券领取(标准版)、账户余额变动、会员条码、订单号复制、年度账单、会员信息修改等特色功能。 官方网站 https://www.icepos.cn 小程序展示 小程序用户隐私保护指引,勾选项目(除非您二次开发需要更多权限,否则可按下图勾选即可) 实例运行图展示 会员中心首页 会员中心首页优惠券领取列表(标准版) 微信小程序授权登录界面 微信小程序手机号快捷验证授权登录界面 微信小程序手机号快捷验证授权执行后界面 手动输入账号密码登录界面(适合线下新增会员登录) 会员条码界面 会员中心首页界面 订单列表 订单明细 订单条码 优惠券列表(标准版) 优惠券条码窗口 积分明细列表 会员年报(1)界面 会员年报(2)界面 会员账户列表 资讯列表

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

Mistral AI 发布开源代码大模型 Codestral Mamba、数学大模型 Mathstral

法国人工智能初创公司Mistral以其强大的开源人工智能模型而闻名。今天,该公司在其不断壮大的大型语言模型 (LLM) 家族中推出了两个新产品:一个是基于数学的模型,另一个是面向程序员和开发人员的代码生成模型,其基础是去年底由其他研究人员开发的名为 Mamba 的新架构。 Codestral Mamba:https://mistral.ai/news/codestral-mamba/ Mathstral:https://mistral.ai/news/mathstral/ Mamba 试图通过简化注意力机制来提高大多数领先 LLM 所使用的 Transformer 架构的效率。与更常见的基于 Transformer 的模型不同,基于 Mamba 的模型推理时间更快,上下文时间更长。 包括 AI21 在内的其他公司和开发者已经发布了基于 Mamba 的新人工智能模型。 现在,Mistral 的Codestral Mamba7B 采用了这种新架构,即使输入文本较长,也能提供快速的响应时间。Codestral Mamba 非常适合代码生产力使用案例,尤其是本地编码项目。 Mistral 对该模型进行了测试,该模型将在 Mistral 的la PlateformeAPI 上免费使用,可处理多达 256000 个词元的输入,是OpenAI 的 GPT-4o 的两倍。 在基准测试中,Mistral 显示 Codestral Mamba 在 HumanEval 测试中的表现优于竞争对手开源模型 CodeLlama 7B、CodeGemma-1.17B 和 DeepSeek。 开发人员可以从 GitHub 仓库或通过 HuggingFace 修改和部署 Codestral Mamba。它将采用开源 Apache 2.0 License。 Mistral 声称,Codestral 早期版本的性能优于 CodeLlama 70B 和 DeepSeek Coder 33B 等其他代码生成器。 代码生成和编码助手已成为人工智能模型的广泛应用,GitHub 的 Copilot(由 OpenAI 提供支持)、亚马逊的 CodeWhisperer 和 Codenium 等平台越来越受欢迎。 Mistral 推出的第二个模型是Mathstral7B,这是一个专为数学推理和科学发现而设计的人工智能模型。Mistral 与 Numina 项目共同开发了 Mathstral。 Mathstral 的上下文窗口为 32K,将采用 Apache 2.0 开源许可。Mistral 表示,该模型的性能超过了所有为数学推理设计的模型。它可以在推理计算时间更长的基准测试中取得 "明显更好的结果"。用户可以按原样使用,也可以对模型进行微调。 "Mathstral 是为特定目的构建模型时实现出色性能 / 速度权衡的又一范例,这也是我们在 la Plateforme 积极推广的开发理念,尤其是其新的微调功能,"Mistral 在一篇博文中说。 用户可以通过 Mistral's la Plataforme 和 HuggingFace 进入 Mathstral。 Mistral 公司倾向于在开源系统上提供模型,它一直在与 OpenAI 和 Anthropic 等其他人工智能开发商展开激烈竞争。最近,该公司获得了 6.4 亿美元的 B 轮融资,估值接近 60 亿美元。该公司还获得了微软和 IBM 等科技巨头的投资。

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

北大开源代码大模型 CodeShell,提供了配套的 IDE 插件

北京大学知识计算实验室联合四川天府银行 AI 团队,正式开源 70 亿参数的代码大模型CodeShell,并提供了与 CodeShell 配套的部署方案与 IDE 插件,具体查看CodeShell代码库。 官方介绍称,CodeShell 具有 70 亿参数,采用五千亿 Tokens 进行了训练,上下文窗口长度为 8192。CodeShell 的原始训练数据基于自己爬取的 GitHub 数据、Stack 和 StarCoder 数据集,以及少量高质量的中英文数据。 在权威的代码评估 Benchmark(HumanEval 与 MBPP)中,CodeShell 取得同等规模最好的性能。 本次开源的模型如下: CodeShell Base:CodelShell 底座模型,具有强大的代码基础能力。 CodeShell Chat:CodelShell 对话模型,在代码问答、代码补全等下游任务重性能优异。 CodeShell Chat 4bit:CodelShell 对话模型 4bit 量化版本,在保证模型性能的前提下内存消耗更小,速度更快。 CodeShell CPP:CodelShell 对话模型 CPP 版本,支持开发者在没有 GPU 的个人电脑中使用。注意,CPP 版本同样支持量化操作,用户可以在最小内存为 8G 的个人电脑中运行 CodeShell。 下图是 CodeShell 代码助手的 VS Code 插件截图: IDEA 插件:

资源下载

更多资源
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文件系统,支持十年生命周期更新。

Sublime Text

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能,例如代码缩略图,Python的插件,代码段等。还可自定义键绑定,菜单和工具栏。Sublime Text 的主要功能包括:拼写检查,书签,完整的 Python API , Goto 功能,即时项目切换,多选择,多窗口等等。Sublime Text 是一个跨平台的编辑器,同时支持Windows、Linux、Mac OS X等操作系统。

用户登录
用户注册