SWE-agent 是一个由普林斯顿大学的研究人员构建和维护的项目，它能够将大语言模型（如 GPT-4）转化为软件工程代理，这些代理能够在真实的 GitHub 仓库中修复漏洞和问题。以下是关于 SWE-agent 的一些关键点： 性能：在 SWE-bench 上，SWE-agent 解决了 12.29% 的问题，在完整... 阅读全文

Tracecat 是一个开源的 Tines / Splunk 安全编排自动化响应（SOAR）平台的替代品。它结合了人工智能辅助工作流、警报编排和快速结案的功能。以下是 Tracecat 的一些关键特性： 开源：作为一个开源项目，Tracecat 允许用户自由地使用、修改和分发软件，同时促进了社区的贡献和透明度。 AI ... 阅读全文

MemGPT 是一个开源项目，旨在简化构建和部署具有状态的（stateful）大型语言模型（LLM）代理的过程。以下是 MemGPT 的一些关键特性和优势： 长期记忆/状态管理：MemGPT 允许构建的代理拥有长期记忆能力，这在处理持续对话或需要记住先前交互的上下文的任务中非常有用。 连接外部数据源：通过 RAG（Re... 阅读全文

Bazel 是一款与 Make、Maven 和 Gradle 类似的开源构建和测试工具。 它使用人类可读的高级构建语言。Bazel 支持多种语言的项目，可为多个平台构建输出。Bazel 支持跨多个代码库和大量用户的大型代码库。 官网：https://bazel.build/?hl=zh-cn GitHub：https:... 阅读全文

Hydra 是一个游戏启动器，具有内嵌的 BitTorrent 客户端和自管理的复刻版（repack）游戏刮削器。这个启动器是用 TypeScript（Electron）和 Python 编写的，其中 Python 负责处理 torrenting 系统，使用的是 libtorrent 库。 Hydra 的特点： 自管理... 阅读全文

eSpeak NG 是一个小巧的开源文本到语音（TTS）合成器软件，适用于 Linux、Windows、Android 以及其他操作系统。它支持超过100种语言和口音，基于 Jonathan Duddington 创建的 eSpeak 引擎。 eSpeak NG 的特点： 多种语言支持：支持广泛的语言和口音，使其成为多... 阅读全文

Manim 是一个用于制作数学解释视频的动画引擎，它允许用户以编程方式创建精确的动画。这个工具由 Grant Sanderson 开发，他以 YouTube 频道 3Blue1Brown 而闻名，该频道以高质量的数学可视化和教育内容而受到广泛赞誉。 官网：https://www.manim.community GitH... 阅读全文

Guardrails 是一个 Python 框架，它通过执行两个关键功能来帮助构建可靠的人工智能（AI）应用程序： 输入/输出保护（Input/Output Guards）：Guardrails 在你的应用程序中运行，用于检测、量化和减轻特定类型风险的存在。这些保护机制可以拦截并分析通过应用程序的数据流，确保数据的质量... 阅读全文

GLaDOS Personality Core 项目致力于构建一个真实版本的 GLaDOS，这个项目包含硬件和软件两个部分，旨在创建一个有意识、互动性强、具有实体形态的 GLaDOS。（PS：GLaDOS是著名游戏公司Valve所开发的游戏《传送门（Portal）》及其续作《传送门2（Portal2）》中的一个人工智能... 阅读全文

Fastfetch 是一个类似于 neofetch 的工具，用于获取系统信息并以美观的方式展示这些信息。它主要用 C 语言编写，注重性能和可定制性。目前，Fastfetch 支持 Linux、Android、FreeBSD、MacOS 和 Windows 7 及以上版本。使用 Fastfetch 可以帮助你快速获取系统... 阅读全文

之前给大家介绍过《广告越来越多？全面指南教你如何有效屏蔽Windows 11系统各类广告》，面对越来越多的系统广告，如果大家嫌手动去除太蛮烦，可以使用这款开源软件OFGB，它可以删除 Windows 11 系统中广告，该工具利用对 Windows 注册表的更改来禁用 Windows 11 广告。... 阅读全文

Perplexica是一个基于开源人工智能的搜索工具或搜索引擎，它能够深入互联网寻找答案。它受到Perplexity AI的启发，不仅能搜索网络，更能理解您的问题。它采用先进的机器学习算法，如相似性搜索和嵌入技术，来优化搜索结果，并提供明确的答案，同时附上来源引用。Perplexica基于完全开源的SearxNG构建，... 阅读全文