NeMo Guardrails是一个开源工具包，用于轻松地为基于LLM（大语言模型）的会话应用程序添加可编程的防护栏。防护栏（简称“rails”）是控制大型语言模型输出的特定方式，例如避免谈论政治话题、以特定方式回应用户的特定请求、遵循预定义的对话路径、使用特定的语言风格、提取结构化数据等。... 阅读全文

Cosmos 是一个安全便捷的自建家庭服务器的方式。它作为应用程序的安全网关以及服务器管理器，旨在解决日益严重的自建应用程序和个人服务器安全问题。无论您拥有的是服务器、NAS 还是装有 Plex、Home Assistant 或甚至博客等应用程序的 Raspberry Pi，Cosmos 都是运行和保障它们安全的理想选... 阅读全文

FreeTube是一款注重隐私保护的开源桌面版YouTube播放器，让您无广告观看视频，并避免Google通过Cookies和JavaScript追踪您的浏览行为。无论是Windows（10及更高版本）、Mac（macOS 10.15及更高版本）还是Linux系统，FreeTube都能轻松应对，这得益于Electron... 阅读全文

Plandex是一款基于终端的开源人工智能编码引擎，旨在协助你高效完成大型任务，解决输出问题，并提升生产力。它利用长期运行的代理来执行涉及多个文件和多个步骤的复杂任务。Plandex能够将这些大型任务分解为若干个小任务，然后逐一实现，直至整个任务完成。这款工具能够帮助你快速处理待办事项，应对不熟悉的技术挑战，克服难题，... 阅读全文

Video-subtitle-remover (VSR) 是一款基于AI技术，将视频中的硬字幕去除的软件。无需申请第三方API，本地实现。 主要实现了以下功能： 无损分辨率将视频中的硬字幕去除，生成去除字幕后的文件 通过超强AI算法模型，对去除字幕文本的区域进行填充（非相邻像素填充与马赛克去除） 支持自定义字幕位置，仅... 阅读全文

DevHub是一款MAC平台的开发工具软件，旨在策划一个包含100多个小工具的广泛集合，为开发人员提供多样化的工具。... 阅读全文

Karate Math Dojo是一个超有趣的教育冒险游戏，这款2D格斗风格的教育游戏，让你在练习数学基础知识的同时学习空手道。从基本的武术动作开始，逐渐进阶到参加锦标赛，与忍者战斗，并拯救你的师父脱离海盗的魔爪，全程都在学习小学K-5阶段的数学知识。... 阅读全文

Faraway是一款使用 AI 制作短片的APP，同时支持风格和构图控制，从文本或语音中创建AI配音，拥有统一的人物角色，以及简单而强大的编辑界面。... 阅读全文

proxyfor是一款免费开源 http(s) /ws(s) 抓包工具。 特性 支持转发代理 支持反向代理 支持过滤 支持 HTTP/HTTPS/WS/WSS 协议 集成 WebUI 集成证书安装 WebApp 导出 Markdown 、cURL 或 HAR... 阅读全文

研究团队推出评估框架CodeEditorBench，它专门设计用来测试和评估大型语言模型（LLMs）在代码编辑任务上的表现。想象一下，你有一个智能的编程助手，它可以帮你调试代码中的错误、将代码从一种编程语言翻译成另一种、优化代码性能，甚至根据新的需求来调整代码功能。CodeEditorBench就是这样一个平台，它可以... 阅读全文

这篇论文的主题是关于对大型语言模型（LLMs）和多模态大型语言模型（MLLMs）进行所谓的“越狱攻击”（jailbreak attacks）的安全性评估。想象一下，你有一个非常听话的机器人，你告诉它做什么它就会做什么，但是这个机器人有一些内置的安全规则，防止它做出有害的行为。然而，有些人可能会尝试欺骗这个机器人，让它做... 阅读全文

智谱AI和清华大学的研究人员推出智能网络导航代理AutoWebGLM，这是一个强大的网络浏览自动化工具，它通过学习和模仿人类的浏览行为，能够在互联网上高效地完成各种复杂的任务。想象一下，有一个虚拟助手，它能够像人类一样在互联网上浏览网页，帮助我们完成各种任务，比如搜索信息、购物、阅读新闻等。AutoWebGLM就是这样... 阅读全文