热门标签：
Mac 多显示器 显示器扩展 requests patch 并发 Alpine Linux BSD Linux 电动汽车 全部标签

HashiCorp Terraform MCP 服务器：自动化 IaC 开发的利器

2025-05-20
HashiCorp Terraform MCP 服务器：自动化 IaC 开发的利器

HashiCorp 推出了 Terraform MCP 服务器，一个基于模型上下文协议 (MCP) 的服务器，它能与 Terraform Registry API 无缝集成，从而增强基础设施即代码 (IaC) 开发的自动化和交互能力。该服务器允许自动化发现 Terraform 提供程序和模块，提取和分析来自 Terraform Registry 的数据，并获取有关提供程序资源和数据源的详细信息。用户可以通过 Docker 容器或直接从源代码构建二进制文件来运行服务器，并使用 VS Code 或 Claude Desktop 等工具集成它。服务器提供了一套工具，用于查询和获取 Terraform Registry 中提供程序和模块的文档和元数据。需要注意的是，服务器的输出和建议是动态生成的，用户应在实施前仔细审查以确保符合安全最佳实践和合规性要求。

阅读更多
(github.com)
开发

WireGuard个性化密钥生成器：wireguard-vanity-keygen

2025-05-19
WireGuard个性化密钥生成器：wireguard-vanity-keygen

wireguard-vanity-keygen是一个命令行工具，用于生成WireGuard的个性化公钥。它支持多核心处理、大小写敏感搜索、正则表达式搜索以及多个前缀的搜索。用户可以指定搜索前缀、线程数和结果限制，工具会计算概率和估计运行时间。该工具旨在简化WireGuard密钥生成过程，并允许用户根据自己的需求生成更易于记忆和管理的密钥。

阅读更多
(github.com)
开发

Rust构建的Hacker News桌面客户端

2025-05-19
Rust构建的Hacker News桌面客户端

一个用Rust和egui构建的Hacker News桌面应用闪亮登场！它拥有简洁现代的界面，支持浏览热门、最新、Show HN、Ask HN、工作和最佳故事等不同板块，并以类似Reddit的线程方式显示评论，具备自动折叠、字体大小调节等功能。此外，还支持离线缓存、收藏、搜索过滤等实用功能，让你随时随地享受Hacker News的阅读体验。

阅读更多
(github.com)
开发

GitHub Actions 本地运行工具 act：加速你的开发流程

2025-05-19
GitHub Actions 本地运行工具 act：加速你的开发流程

还在为每次修改 GitHub Actions 文件都需要提交和推送而烦恼吗？act 工具可以让你在本地运行 GitHub Actions，从而获得更快的反馈。它模拟 GitHub 的环境变量和文件系统，让你在本地测试代码，并能作为本地任务运行器替代 Makefile，避免重复工作。VS Code 插件更能让你直接在编辑器中运行和测试工作流。act 读取你的 GitHub Actions 文件，使用 Docker API 拉取或构建必要的镜像，并根据依赖关系确定执行路径，最终运行容器。

阅读更多
(github.com)
开发

Kelp：MacOS 的 Homebrew 替代方案，Go 编写

2025-05-19
Kelp：MacOS 的 Homebrew 替代方案，Go 编写

Kelp 是一款用 Go 编写的 MacOS 二进制包安装工具，旨在替代 Homebrew。它解决了 Homebrew 的一些痛点，例如等待公式可用、多台电脑同步安装等。Kelp 支持一次安装多个包（即将推出）、自定义配置路径、以及处理 Github API 速率限制等。用户可通过简单的命令行指令添加、安装、更新和管理软件包，并支持自定义二进制文件名称和非 Github Releases 的安装。

阅读更多
(github.com)
开发

clawPDF：功能强大的开源虚拟打印机

2025-05-19
clawPDF：功能强大的开源虚拟打印机

clawPDF 是一款功能强大的开源虚拟打印机，支持将各种文件转换为PDF、PDF/A、图像等多种格式，并提供OCR、加密、脚本接口等高级功能。它兼容Windows各种系统（包括服务器和ARM64），支持网络打印和多用户环境，堪称企业级解决方案的利器。无论是批量处理文档还是集成到应用程序中，clawPDF都能轻松胜任。

阅读更多
(github.com)
开发 虚拟打印机

Cogitator：用于链式思维提示的Python工具包

2025-05-19
Cogitator：用于链式思维提示的Python工具包

Cogitator是一个强大的Python工具包，用于在大型语言模型（LLM）中实验和使用链式思维（CoT）提示方法。CoT提示通过引导模型在得出最终答案之前生成中间推理步骤，从而提高LLM在复杂任务（如问答、推理和问题解决）中的性能。它还可以通过提供对模型推理过程的洞察来提高LLM的可解释性。该工具包旨在简化使用流行的CoT策略和框架进行研究或将其集成到AI应用程序中的过程。它包含一个可定制且可扩展的基准测试框架，用于评估不同CoT策略在各种数据集上的性能。

阅读更多
(github.com)
开发 Python工具包

Morph：无需构建步骤的嵌入式全栈HTMX库

2025-05-19
Morph：无需构建步骤的嵌入式全栈HTMX库

Morph是一个基于HTMX的嵌入式全栈库，用于构建超媒体驱动应用程序，无需构建步骤。它结合了SSR、SPA和Island架构的优点，同时坚持使用纯HTML、CSS和JS。作者在使用Deno和Deno Deploy优化Telegram Web App开发过程中创建了Morph，因为它比传统的基于React或Vue的复杂前后端分离方案更轻量、简单且经济高效。Morph目前运行在Hono之上，未来可能支持其他后端。其核心优势在于：组件可以调用返回超文本（其他组件）的API；所有组件都在服务器端渲染并访问服务器端上下文；组件可以独立渲染和重新渲染；组件形成层次结构，可以互相嵌套并从API返回；极少或无需客户端JavaScript；无需构建步骤；无需预先设计API数据结构；可以嵌入到任何Deno/Node/Bun项目中。Morph非常适合不需要将前端和后端拆分成单独服务的场景，例如小型Telegram机器人、桌面应用程序或内部工具等。

阅读更多
(github.com)
开发 全栈框架

sshsync：高效管理多台远程服务器的命令行工具

2025-05-19
sshsync：高效管理多台远程服务器的命令行工具

sshsync是一个快速、简洁的命令行工具，用于通过SSH在多台远程服务器上运行shell命令。它支持同时操作所有服务器或特定分组，非常适合系统管理员、开发者和自动化工作流程。sshsync利用异步SSH连接，支持分组配置、SSH超时设置、文件推送/拉取、操作历史记录和日志、以及预演模式。安装方式：`git clone https://github.com/Blackmamoth/sshsync.git; cd sshsync; pipx install .` 它使用`~/.ssh/config`中的SSH别名，并存储分组信息在`~/.config/sshsync/config.yaml`。

阅读更多
(github.com)
开发

Goboscript：将文本编程带入Scratch世界

2025-05-19
Goboscript：将文本编程带入Scratch世界

Goboscript 是一种将文本代码编译成 Scratch 项目的编程语言。它允许开发者使用文本编辑器编写 Scratch 项目，并将其编译成 .sb3 文件，可在 Scratch 编辑器、TurboWarp 或 Scratch 网站上打开。Goboscript 简化了高级 Scratch 项目的创建，支持版本控制、代码重构和代码复用。它还拥有强大的宏系统、局部变量以及代码优化和问题检测功能。该项目荣获 FOSS HACK 25 一等奖，并获得 50,000 印度卢比奖金。

阅读更多
(github.com)
开发 Scratch

加州车牌申请数据泄露：道德与审查的博弈

2025-05-18
加州车牌申请数据泄露：道德与审查的博弈

一份包含23463份加州车牌个性化申请的数据集被公开，其中包含大量粗俗和冒犯性语言。这些申请并非加州机动车辆管理局（DMV）收到的所有申请，而仅是提交审查委员会审核的部分。数据集中包含申请车牌组合、审核原因代码、申请人解释、审核员评论和申请状态等信息。数据揭示了DMV在审核车牌申请时面临的挑战，如何在维护公共道德和尊重个人表达自由之间取得平衡。

阅读更多
(github.com)
杂项 车牌申请 道德审查

纯SQL实现的Yahtzee游戏AI

2025-05-18
纯SQL实现的Yahtzee游戏AI

Yahtzeeql是一个用SQL实现的Yahtzee(掷骰子游戏)求解器。它提供了多种策略，从简单的随机策略到基于概率的更高级策略，并通过模拟游戏来评估这些策略的有效性。用户可以通过命令行参数选择策略、模拟次数以及交互模式和图形展示。实验结果显示，基于概率的策略(prob_with_difficulty)平均得分最高，达到89.5分。

阅读更多
(github.com)
游戏

Python 构造理论模拟器：代码中的量子引力与电磁学

2025-05-18
Python 构造理论模拟器：代码中的量子引力与电磁学

一个用Python实现David Deutsch构造理论框架的项目，通过代码展现了从简单的任务和分支基底到量子引力与电磁学的核心概念。它包含一个能够从任务列表中自举的“通用构造器”，演示了自复制和构造理论的强大功能。该项目支持不可逆和量子任务、计时器和时钟、可替代性和连续动力学等，并包含引力二体、库仑耦合和洛伦兹力等耦合任务。

阅读更多
(github.com)
开发 构造理论

Rust错误处理库Stack Error：优雅调试，高效开发

2025-05-18
Rust错误处理库Stack Error：优雅调试，高效开发

Stack Error是一个Rust库，旨在简化错误处理。它在`anyhow`的便捷性和`thiserror`的灵活性和自定义性之间取得平衡，提供信息丰富的错误消息和类型化数据，方便调试和运行时错误处理。通过宏和自定义错误类型，Stack Error 帮助开发者构建更易于调试和维护的应用程序，减少了在错误处理上不必要的时间消耗，让开发者能够专注于核心业务逻辑的编写。

阅读更多
(github.com)
开发

开源实验性浏览器引擎Veav：支持大部分CSS和基本网络功能

2025-05-18
开源实验性浏览器引擎Veav：支持大部分CSS和基本网络功能

Veav是一个实验性的网页浏览器引擎，支持大部分显示类型（网格除外）、标准CSS级联行为、分页、打印成PDF以及所有CSS单位。它能够加载HTML和XHTML文档，但网络功能非常基础，仅支持http://和file://协议。开发者提供了详细的兼容性和功能跟踪WPT状态页面，并给出了基于Arch Linux的安装和运行指令，需要安装一系列依赖包并使用`clang-prefixed-release`编译器。项目还附带了Tldraw格式的架构图。

阅读更多
(github.com)
开发

Rust版Model2Vec：速度提升1.7倍

2025-05-18
Rust版Model2Vec：速度提升1.7倍

一个名为`model2vec-rs`的Rust库实现了Model2Vec静态嵌入模型的加载和推理，速度比Python版本快1.7倍。该库支持从Hugging Face Hub加载预训练模型，并提供命令行接口和自定义编码参数，方便用户创建文本嵌入。基准测试显示，Rust版本每秒处理8000个样本，而Python版本仅为4650个样本。

阅读更多
(github.com)
开发 Model2Vec

Buckaroo：Jupyter 的现代数据表格

2025-05-18
Buckaroo：Jupyter 的现代数据表格

Buckaroo 是一款为 Jupyter 打造的现代数据表格，它简化了最常见的探索性数据分析任务。它提供高性能的数据表格，支持排序、值格式化和无限滚动。此外，还包含摘要统计、直方图、智能采样、自动清理和低代码 UI 等额外功能，所有功能都具有合理的默认值，可以根据你的工作流程进行自定义。Buckaroo 支持 Pandas 和 Polars DataFrame，兼容 JupyterLab、Jupyter Notebook 等多种环境。

阅读更多
(github.com)
开发

解密沃尼奇手稿：AI助力结构分析

2025-05-18
解密沃尼奇手稿：AI助力结构分析

一位非语言学家和密码学家利用现代自然语言处理技术（NLP）对神秘的沃尼奇手稿进行结构分析，而非试图进行翻译。通过词干提取、SBERT嵌入、马尔可夫转移矩阵等方法，研究者发现手稿中存在类似语言的结构，例如词类区分、句法结构以及章节间的语言变化。虽然无法破译其含义，但该研究证明了利用AI工具分析手稿结构的有效性，为未来研究提供了新的方向。

阅读更多
(github.com)
AI 沃尼奇手稿

Magic Leap One 漏洞利用代码公开

2025-05-18
Magic Leap One 漏洞利用代码公开

该项目公开了一个用于利用 Magic Leap One 漏洞的代码库。该漏洞利用了 Nvidia SparseFS 解析器中的栈溢出（sparsehax）和一个超大型内核设备树（dtbhax）来实现代码执行。这两个漏洞可能影响不止 Magic Leap One，甚至可能影响使用 TX2 芯片的某些汽车的自动驾驶单元。该项目包含用于在 Magic Leap 控制台上运行的代码和用于在主机上运行的 Rust 编写的 Fastboot 客户端。警告：此操作可能导致设备损坏。

阅读更多
(github.com)
硬件 Magic Leap One

告别坏习惯，掌握 Vim 快捷键：Hardtime.nvim 插件

2025-05-18
告别坏习惯，掌握 Vim 快捷键：Hardtime.nvim 插件

还在使用 hjkl 和鼠标？Hardtime.nvim 插件帮你改掉坏习惯，提升 Vim 使用效率。它通过限制重复按键、提供高效 Vim 动作提示，并生成常用坏习惯报告，引导你学习相对跳转、单词跳转、操作符+动作等高级技巧。插件支持自定义配置，包括禁用按键、文件类型等，并提供多种通知方式。告别低效操作，拥抱 Vim 高效世界！

阅读更多
(github.com)
开发

浏览器蜜蜂：用自然语言控制浏览器的AI助手

2025-05-18
浏览器蜜蜂：用自然语言控制浏览器的AI助手

BrowserBee是一款隐私优先的开源Chrome扩展程序，允许你使用自然语言控制浏览器。它结合了LLM强大的指令解析和规划能力，以及Playwright强大的浏览器自动化能力来完成任务。BrowserBee完全在浏览器内运行（LLM除外），可以安全地与已登录的网站（如你的社交媒体帐户或电子邮件）交互，而不会危及安全性或需要后端基础设施。它支持Anthropic、OpenAI、Gemini和Ollama等主要LLM提供商，并具有丰富的浏览器工具，包括导航、交互、观察和内存功能，可以记住常用的工具使用序列，提高效率。

阅读更多
(github.com)
开发

Pixelagent：构建AI智能体的蓝图

2025-05-18
Pixelagent：构建AI智能体的蓝图

Pixelagent是一个基于Pixeltable构建的AI智能体工程蓝图，它将大型语言模型（LLM）、存储和编排统一在一个声明式框架中。开发者可以使用Pixelagent构建自定义的智能体应用，并拥有构建自己的内存、工具调用等功能。Pixelagent支持多种模型、多种模态（文本、图像、音频、视频），并提供可观测性功能。此外，Pixelagent还支持多种Agentic扩展，例如推理、反思、记忆、知识和团队工作流程，并能与Cursor、Windsurf、Cline等工具连接。通过简单的Python代码，即可快速构建和部署AI智能体。

阅读更多
(github.com)
AI Pixeltable

LLRT：超高速无服务器JavaScript运行时

2025-05-18
LLRT：超高速无服务器JavaScript运行时

AWS Labs发布了LLRT，一个用Rust构建的轻量级JavaScript运行时，旨在提升无服务器应用的性能。相比其他运行在AWS Lambda上的JavaScript运行时，LLRT的启动速度提升了10倍以上，成本降低了一半。它使用QuickJS作为JavaScript引擎，内存利用率高，启动速度快。虽然目前仍处于实验阶段，但LLRT已支持多种部署方式，包括自定义运行时和容器镜像，并提供丰富的测试工具和对AWS SDK v3的良好支持。LLRT并非Node.js的替代品，而是针对性能关键型无服务器应用的补充，特别适用于数据转换、实时处理等场景。

阅读更多
(github.com)
开发

跨平台文本扩展器Espanso：提升效率的利器

2025-05-17
跨平台文本扩展器Espanso：提升效率的利器

Espanso是一款用Rust编写的跨平台文本扩展器，它能识别你输入的特定关键词并将其替换为其他内容。这对于节省打字时间、创建系统级代码片段、执行自定义脚本、轻松使用表情符号等非常有用。Espanso支持Windows、macOS和Linux，几乎兼容所有程序，并支持Emoji、图片、强大的搜索栏、日期扩展、自定义脚本、Shell命令、特定应用配置、表单支持、包扩展以及内置包管理器等功能。它采用基于文件的配置，支持正则表达式触发器，并提供实验性的Wayland支持。这是一个免费的开源软件，由Federico Terzi创建，并遵循GPL-3.0许可证。

阅读更多
(github.com)
开发 文本扩展

C++复刻版ELIZA：重现60年代首个聊天机器人

2025-05-17
C++复刻版ELIZA：重现60年代首个聊天机器人

作者用C++完美复刻了Joseph Weizenbaum在1966年创造的第一个聊天机器人ELIZA。这篇文章详细介绍了这个项目的开发过程，从最初的脚本解析到后来的代码优化，以及与原版代码的对比。更令人兴奋的是，作者还实现了ELIZA在ASR 33电传打字机上的运行，并参与证明了1966年CACM版本的ELIZA是图灵完备的。项目代码简洁地包含在一个eliza.cpp文件中，并提供了在macOS和Windows平台上的编译方法。这是一个对人工智能历史的精彩致敬，也为对早期AI技术感兴趣的开发者提供了宝贵的学习资源。

阅读更多
(github.com)
AI

VirtualBox 虚拟机逃逸漏洞：整数溢出引发的安全灾难

2025-05-17
VirtualBox 虚拟机逃逸漏洞：整数溢出引发的安全灾难

VirtualBox 的 vmsvga3dSurfaceMipBufferSize 函数中存在整数溢出漏洞，攻击者可利用此漏洞操纵 malloc 函数分配 0 字节，同时 VirtualBox 跟踪缓冲区大小为大于 0 的值。这允许攻击者实现线性读写原语，进而升级为对主机内存的任意读写访问。研究人员已成功利用该漏洞完全逃逸虚拟机，该漏洞利用过程包括：触发错误大小的表面分配、利用边界外读写操作、任意堆分配以及最终获得 RIP 控制和执行任意代码。此漏洞的修复已发布，建议用户尽快升级。

阅读更多
(github.com)
安全

开源语义模型服务器Publisher：让你的数据更有意义

2025-05-17
开源语义模型服务器Publisher：让你的数据更有意义

Publisher是一个开源的语义模型服务器，它使用Malloy数据语言，为你的数据构建丰富的语义模型，定义数据背后的含义、关系和上下文。它通过服务器接口公开这些模型，允许应用程序、AI代理和用户以一致可靠的方式查询数据。Publisher解决了现代数据和AI系统中日益增长的一个问题：如果数据背后的含义不明确，你将无法信任答案。它利用Malloy查询，在幕后将其编译成SQL，从而获得可靠的答案，无需在每个工具中重新定义数据的含义。Publisher由服务器、SDK和应用程序三个主要组件组成，支持多种数据库和AI应用。

阅读更多
(github.com)
开发 语义模型 Malloy

新兴操作系统目录：一场对计算未来的探索

2025-05-17
新兴操作系统目录：一场对计算未来的探索

在大型语言模型热潮过后，一股创造新型操作系统的浪潮悄然兴起。本文列举了一系列新兴操作系统，例如基于UXN/Varvara堆栈的个人计算系统、面向Web研究的Nette.io操作系统、以及使用Lisp语言构建的Interim和ChrysaLisp操作系统等。这些项目展现了对操作系统设计理念的创新探索，例如DesktopNeo对桌面界面的重新思考，以及MercuryOS基于意图的操作系统设计。这些尝试，如同对计算未来的一次次大胆探索，重燃了人们对操作系统创新和发展的热情。

阅读更多
(github.com)
开发

Fahmatrix：Java 的轻量级 Pandas 替代品

2025-05-17
Fahmatrix：Java 的轻量级 Pandas 替代品

Fahmatrix 是一个轻量级的现代 Java 库，用于处理表格数据，其灵感来自 Python 的 Pandas，旨在简化 JVM 上的数据理解。它提供直观的 API，支持 CSV 读取和预览、行过滤和列选择，以及聚合、分组和排序等功能（即将推出）。Fahmatrix 没有外部依赖项，可以直接从 GitHub 下载 JAR 文件使用，或通过 Maven/Gradle 使用（未来版本添加）。它支持 CSV 文件加载、数据打印、head()/tail() 函数、多种聚合函数、行过滤和列选择、分组和透视表、数据导出以及类型推断和转换等功能。Fahmatrix 为 Java 开发者提供了一个高效处理表格数据的工具，无需离开 JVM。

阅读更多
(github.com)
开发
1 2 … 16 17 18 20 22 23 24 … 93 94