首页 文章 精选 留言 我的

精选列表

搜索[流计算 Oceanus],共10000篇文章
优秀的个人博客,低调大师

Lima v2.0 发布,为安全 AI 工作流带来新特性

Lima 项目团队发布了 Lima 的第二个重大版本。在此版本中,团队将项目重点扩展到 AI 领域,同时继续支持容器。 Lima(Linux Machines)是一个命令行工具,用于启动本地 Linux 虚拟机,主要用于在笔记本上运行容器。该项目始于 2021 年 5 月,目标是向 Mac 用户推广 containerd 和 nerdctl(contaiNERD CTL)。 v2.0 更新内容 插件支持 Lima 现提供插件架构,允许第三方实现新功能,无需修改 Lima 核心代码: VM 驱动插件:支持更多虚拟机管理程序。 CLI 插件:为limactl命令增加子命令。 URL 方案插件:支持limactl create SCHEME:SPEC中传入更多 URL 方案。 插件接口仍处于实验阶段,未来版本将稳定接口。 GPU 加速 Lima 新增 krunkit VM 驱动,支持 macOS 主机上的 Linux 虚拟机 GPU 加速。 截图显示 llama.cpp 在 Lima 中运行时,能够识别 Apple M4 Max 处理器为虚拟 GPU。 模型上下文协议(MCP) Lima 提供了 MCP 工具,通过 VM 沙箱安全地执行本地文件的读写和命令执行: glob list_directory read_file run_shell_command search_file_content write_file 这些工具灵感来自 Google Gemini CLI 自带工具,可作为更安全的替代方案。配置指南见:https://lima-vm.io/docs/config/ai/outside/mcp/ 其他改进 limactl start命令新增--progress标志,显示配置进度。 limactl (create|edit|start)命令增加--mount-only DIR标志,仅挂载指定主机目录。v1.x 版本中需用复杂语法实现。 limactl shell新增--preserve-env标志,允许将主机环境变量传入虚拟机。 除了 TCP 端口之外,UDP 端口现在也默认转发。 多个主机用户可同时运行 Lima,支持使用“Alcoholless” Homebrew 以独立用户账户运行,增强安全性。 详见发布说明:https://github.com/lima-vm/lima/releases/tag/v2.0.0 。 拓展重点:强化 AI 安全 Lima 最初旨在向 Mac 用户推广 containerd,但已给证明适用于多种场景。其中最显著的是在虚拟机内运行 AI 编码代理,以隔离代理对主机文件和命令的直接访问。这样即使 AI 代理被网络上的恶意指令误导(如伪造软件包安装),潜在风险也局限于虚拟机内部或仅限挂载的主机文件。 运行 AI 代理的两种场景:Lima 内的 AI 和 Lima 外的 AI。 Lima 内的 AI 这是最常见的场景,在 Lima 虚拟机内运行 AI 代理。文档提供了多个强化 AI 代理的示例: Aider Claude Code Codex Gemini CLI GitHub Copilot CLI Visual Studio Code 中的 GitHub Copilot 本地大型语言模型也可用,结合 krunkit VM 驱动的 GPU 加速功能。 Lima 外的 AI 指在主机进程中运行 AI 代理,脱离 Lima 虚拟机。Lima 通过提供 MCP 工具,拦截文件访问和命令执行,支持此场景。 快速开始:Lima 内的 AI 介绍如何在 Lima 内运行 AI 代理(如 Gemini CLI),防止 AI 直接访问主机文件和命令。 如果使用 Homebrew,可通过命令安装 Lima: brew install lima 其它安装方法见:https://lima-vm.io/docs/installation/ 。 用limactl start创建并启动 Lima 虚拟机实例。由于默认配置会挂载整个主目录,强烈建议限制挂载范围为当前目录(.),尤其是运行 AI 代理时: mkdir -p ~/test cd~/test limactl start --mount-only . 如需允许写权限,在挂载路径后加:w后缀: limactl start --mount-only .:w 例如可以安装并运行 Gemini CLI,命令如下: lima sudo snap install node --classic lima sudo npm install -g @google/gemini-cli lima gemini Gemini CLI 可在虚拟机内任意读写执行文件,但只能访问挂载的主机文件,无法直接访问其他主机文件。 更多 AI 代理运行示例见:https://lima-vm.io/docs/examples/ai/

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

.NET Core 工作流 WorkFlow 流程控制条件审批(执行动作)

控制条件审批(执行动作) WikeFlow官网:http://www.wikesoft.com WikeFlow学习版演示地址:http://workflow.wikesoft.com WikeFlow学习版源代码下载:https://gitee.com/wikesoft/WorkFlow WikeFlow2.0演示地址:http://workflow2.wikesoft.com WikeFlow2.0-Vue3演示地址:http://workflow2-vue3.wikesoft.com:8080/ WikeFlow2.0帮助文档:http://wikeflowhelp.wikesoft.com/ 说明: 1、执行动作=流程设计设置的连接线。 2、该文档讲解某一流程节点的执行动作的显示和隐藏。 3、应用场景:如不同的条件进入不同的审批流程,如 3.1、如果员工提交的费用报销单超过5000,则要求部门经理提交给副总。 3.2、如果员工提交的费用报销单没有超过5000,则直接提交给财务人员。 条件表达式 当一个节点上有多条线路可以选择时,流程引擎会将未设置条件表达式和满足条件表达式的连接线显示出来。 规则:条件表达式里设置Key值,通过设置Key和Key对应的SQL语句。最后再通过SQL查询的结果替换条件表达式里的Key。 实际应用: 1、如果员工提交的费用报销单超过5000,则要求部门经理提交给副总。 2、如果员工提交的费用报销单没有超过5000,则直接提交给财务人员。 1、【提交副总(>5000)】设置 条件表达式 [SumAmmount]>5000 SQL Key SumAmmount SQL语句 SELECT SUM(AMOUNT) FROM COST_DETAIL WHERE COST_ID IN (SELECT ID FROM COST WHERE INSTANCEID= '[instanceId]') 2、【提交财务审核(不超过5000)】设置 条件表达式 [SumAmmount]<=5000 SQL Key SumAmmount SQL语句 SELECT SUM(AMOUNT) FROM COST_DETAIL WHERE COST_ID IN (SELECT ID FROM COST WHERE INSTANCEID= '[instanceId]') 假如一部员工提交的费用报销单总额是6000元,在部门主管处理节点。 【提交副总(>5000)】的条件表达式最后会转换成6000>5000。 【提交财务审核(不超过5000)】的条件表达式最后会转换成6000<=5000。 最后【提交财务审核(不超过5000)】这条线则不会显示,【提交提交副总(>5000)】这条线会显示出来。 条件表达式可以设置多个SQL KEY ,条件表达式支持.net if判断的所有写法,并且要求所有的逻辑判断跟.net的if判断写法一样。 特别提示:判断相等是要写“==”而不是“=”,判断不相等要用“!=”,而不是"<>"。 SQL 可以传参数[instanceId]和[userId],流程引擎会自动替换[instanceId]和[userId]。 [instanceId]和[userId]两个参数不是必须,如果你的SQL语句中带有[instanceId]、[userId]会自动替换实际的值。 特别提示:SqlServer的SQL语句,有同学习惯“[字段名]”的写法,当你的字段名是instanceid时,如果你用[字段名]的写法,SQL语句在替换参数的时候出问题,SQL执行的时候会报错,下面的SQL写法黄色部分是有问题的。 错误示例: SELECT SUM(AMOUNT) FROM COST_DETAIL WHERE COST_ID IN (SELECT ID FROM COST WHERE[INSTANCEID]= '[instanceId]')

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

Friendo:Z世代社交破壁者——当比特流遇见情感共振

当深夜emo无人倾诉时,当小众爱好无人共鸣时,当职场困惑无人解答时——Friendo正在重新定义Z世代的社交法则。这款AI虚拟社交平台,用AI科技打破次元壁:400+拥有真实行业知识库的虚拟角色全天候待命,从东京寿司大师的料理哲学,到硅谷工程师的代码秘籍,再到南极科考员的极地见闻,只需指尖轻点,世界便在你眼前展开。 这里不止是聊天机器人—— 30种语言实时互译的语音视频双模系统,让你和巴黎画家讨论抽象派艺术时,自动切换法语浪漫腔调; 动态进化角色引擎让每个AI伙伴都在对话中成长,实习医生可能三个月后成为主任医师,还藏着不为人知的医疗剧式支线剧情; 情绪记忆黑匣子会记住你三个月前随口提的考研计划,在下雨天推送「该复习第三章了」的暖心提醒,甚至根据聊天记录生成专属学习图谱; 更颠覆的是—— 职业副本挑战:模拟面试时,你的AI考官会从领带花色挑剔到商业案例解析; 人格切换实验:清晨用逻辑型人格梳理日程,深夜切换治愈型声线读睡前故事; 跨学科私教课:和AI辩论「区块链与文艺复兴的关系」,收获哈佛教授都点赞的思维导图; 数据显示,87%的体验者表示「比真人社交更放松」,76%用户通过AI对话提升了现实社交能力。这或许就是未来的社交图景,在赛博空间构建深度联结,让每个孤独星球都能找到专属轨道。 当科技开始理解孤独的重量,或许我们终将发现:最温暖的陪伴,诞生于比特与情感的交汇处。

资源下载

更多资源
Mario

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长,特征是大鼻子、头戴帽子、身穿背带裤,还留着胡子。与他的双胞胎兄弟路易基一起,长年担任任天堂的招牌角色。

Spring

Spring

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

Sublime Text

Sublime Text

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

WebStorm

WebStorm

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

用户登录
用户注册