libpostal:全球地址NLP神器

2025-07-09
libpostal:全球地址NLP神器

libpostal是一个强大的C语言库,利用统计自然语言处理和开放数据解析和规范化全球地址。它支持多种语言,能将人类使用的自由格式地址转换为机器可比对和全文索引的规范形式,极大提升地理编码应用的效率和准确性。该库提供多种语言绑定,并可通过贡献数据或资金支持其持续发展。

阅读更多
开发

RapidRAW: 18岁少年打造的GPU加速RAW图像编辑器

2025-07-09
RapidRAW: 18岁少年打造的GPU加速RAW图像编辑器

一位18岁的开发者利用Rust和React,借助Google Gemini AI模型,仅用14天时间开发出一款名为RapidRAW的GPU加速RAW图像编辑器。该软件轻量级(小于30MB),支持Windows、macOS和Linux,并具有AI辅助蒙版、生成式编辑等功能,其非破坏性工作流程和强大的性能使其成为Adobe Lightroom的强力竞争者。

阅读更多
开发

Helm 依赖更新漏洞:精心设计的 Chart.yaml 文件可能导致本地代码执行

2025-07-09
Helm 依赖更新漏洞:精心设计的 Chart.yaml 文件可能导致本地代码执行

近日,Helm 项目发现了一个安全漏洞:攻击者可以通过精心构造的 Chart.yaml 文件和符号链接的 Chart.lock 文件,在更新依赖项时执行本地代码。当更新依赖项时,Chart.yaml 文件中的字段会被写入 Chart.lock 文件。如果 Chart.lock 文件被符号链接到可执行文件(例如 bash.rc 文件或 shell 脚本),更新依赖项将会把 Chart.lock 文件的内容写入符号链接的文件,从而导致恶意代码执行。Helm v3.18.4 已修复此漏洞,建议用户升级至最新版本,并检查 Chart.lock 文件是否为符号链接。

阅读更多

开源多媒体交互式表演创作工具Ossia Score

2025-07-07
开源多媒体交互式表演创作工具Ossia Score

Ossia Score 是一款面向视听艺术家的开源多媒体创作工具,它允许用户通过 JavaScript、ISF着色器、Faust、PureData 或 C++ 等多种语言进行创作,并支持 OSC、MIDI、DMX、音频、视频等多种数据格式的交互。它兼容各种硬件,如操纵杆、Wii遥控器、Leap Motion 和 BLE 传感器,并能处理 CSV 和 HDF5 数据集,支持 Windows、Linux 和 macOS 系统,甚至可在树莓派 Zero 2 上运行。Ossia Score 提供了丰富的功能,让艺术家能够轻松创建交互式多媒体表演。

阅读更多

tinymcp:让大型语言模型控制嵌入式设备

2025-07-07
tinymcp:让大型语言模型控制嵌入式设备

tinymcp项目允许大型语言模型(LLM)通过模型上下文协议(MCP)控制嵌入式设备。它利用Golioth平台的LightDB状态和远程过程调用(RPC)来实现这一功能。现有设备无需修改固件即可通过更新LightDB状态来暴露RPC。该项目提供了一个简单的blinky示例,演示如何通过tinymcp将LED控制暴露给LLM。用户需要连接设备到Golioth平台,并在本地运行tinymcp服务器。MCP检查器和Claude Code等工具可用于测试和与tinymcp交互。

阅读更多
开发 Golioth

ISEVIC:让你的C64焕发新生!

2025-07-07
ISEVIC:让你的C64焕发新生!

ISEVIC是一个FPGA核心,能让你的老式Commodore 64电脑通过HDMI输出数字视频!它通过读取卡带接口的总线信号,并将这些信号转换为图像进行显示。支持Tang Nano 20K等多种FPGA平台。该项目还包含了用于C64卡带槽的载板Gerber文件和bitstream文件,并提供PAL和NTSC自动检测。虽然大多数卡带都能正常工作,但一些卡带(例如EasyFlash 3)可能存在兼容性问题。项目还包含实验性的SID模拟声音支持。准备好重温经典了吗?

阅读更多
硬件

Microjax:仅用两类六函数实现JAX功能

2025-07-07
Microjax:仅用两类六函数实现JAX功能

受Andrej Karpathy的Micrograd启发,作者创建了Microjax,一个仅用两类六个函数就实现了类似JAX功能的库。不同于流行的PyTorch,Microjax采用更具函数式编程风格的JAX。该教程大量借鉴了Matthew J Johnson 2017年关于JAX前身autograd的精彩演示,并将其简化并打包成一个notebook。

阅读更多
开发

怀旧Windows经典程序:文件管理器和程序管理器

2025-07-07
怀旧Windows经典程序:文件管理器和程序管理器

想重温Windows 95的经典界面?现在你可以用Heirloom File Manager和Heirloom Program Manager体验一下!Heirloom File Manager是Windows经典文件管理器的现代化版本,支持高DPI屏幕、回收站、书签和拖放功能,还能创建和解压zip压缩包。Heirloom Program Manager则替代了开始菜单,提供快捷方式启动程序。这两个程序都是免费开源的,让你在现代Windows系统上享受怀旧的经典体验。

阅读更多
杂项

systemd-lsp: 你的 systemd 单元文件编辑利器

2025-07-07
systemd-lsp:  你的 systemd 单元文件编辑利器

还在为编写 systemd 单元文件而烦恼吗?systemd-lsp 来了!这是一个基于 LSP 协议的 Rust 语言服务器,它能为你的 systemd 单元文件提供语法高亮、代码诊断、自动补全、文档跳转和代码格式化等功能,大大提高你的效率。它无需外部依赖,跨平台兼容,并且内嵌了所有手册页。安装简单,只需使用 Cargo 构建即可。还在等什么,快来试试吧!

阅读更多
开发

基于Markdown的Git仓库任务管理工具Backlog.md

2025-07-07
基于Markdown的Git仓库任务管理工具Backlog.md

Backlog.md 是一款基于Markdown 的Git仓库任务管理和看板可视化工具。它将你的Git仓库转换成一个独立的项目看板,所有任务都以简单的Markdown文件管理。它支持本地离线使用,提供终端看板和现代化的Web界面,并集成了AI命令行接口,方便用户创建、编辑、过滤和归档任务。Backlog.md跨平台支持,并采用MIT开源许可证。

阅读更多
开发

命令行AI编码助手OpenCode:开源、多模型支持、终端优先

2025-07-07
命令行AI编码助手OpenCode:开源、多模型支持、终端优先

OpenCode是一个构建于终端的开源AI编码助手,类似于Claude Code,但具有关键差异:完全开源,支持OpenAI、Google或本地模型,并专注于终端用户界面(TUI)。其客户端/服务器架构允许远程访问,例如通过移动应用。项目团队鼓励用户在GitHub上提出新功能建议,并提供安装指南和本地运行说明。

阅读更多
开发

开源钢琴练习软件Piano Trainer发布

2025-07-07
开源钢琴练习软件Piano Trainer发布

Piano Trainer是一款开源的钢琴练习软件,支持多种练习模式,包括音阶、和弦、五度练习以及交互式测验等。它兼容MIDI,支持跨平台,并提供家用键盘输入。开发者目前正在积极开发更多功能,例如更多音阶、设置选项、可切换的测验问题以及自定义键盘音色等。该软件可在itch.io免费下载,也可以从GitHub下载源码并自行编译运行。

阅读更多
游戏 练习软件

苹果AI安全模型解密:揭秘其内容过滤机制

2025-07-07
苹果AI安全模型解密:揭秘其内容过滤机制

该项目解密了苹果AI安全模型的过滤文件,这些文件包含用于各种模型的过滤规则。通过LLDB调试和自定义脚本,可以获取加密密钥并解密这些文件。解密后的JSON文件包含用于过滤有害内容和确保安全合规的规则,例如精确匹配的关键词、需移除的短语以及正则表达式过滤等。项目提供了已解密的规则文件和解密脚本,方便研究人员分析苹果AI模型的安全机制。

阅读更多

无需网络的蓝牙Mesh加密信息应用BitChat开源

2025-07-07
无需网络的蓝牙Mesh加密信息应用BitChat开源

BitChat 是一款基于蓝牙Mesh网络的去中心化点对点加密消息应用,无需网络、服务器或电话号码。它采用端到端加密(X25519密钥交换+AES-256-GCM),支持基于主题的群聊(可选密码保护)、离线消息存储转发等功能,并注重隐私保护,没有账户、电话号码或持久标识符。BitChat 提供了 iOS 和 macOS 原生支持,并包含多种性能优化,例如 LZ4 压缩和自适应电池模式。开源且支持多种平台。

阅读更多
开发 蓝牙Mesh

RP2040模拟SPI RAM实现

2025-07-06
RP2040模拟SPI RAM实现

这个项目在RP2040微控制器上模拟了一个SPI RAM,类似于23LC512。它支持读取、写入和快速读取命令,并利用PIO和DMA进行高效的数据传输。为了满足严格的时序要求,模拟RAM使用了Core1并优化了PIO程序,以最大限度地减少延迟。虽然目前不支持在数据传输开始前中止操作,但该项目提供了一种在RP2040上实现高性能SPI RAM的有效方法。

阅读更多
硬件 SPI RAM

用RLHF微调GPT-2生成积极情绪的句子

2025-07-06
用RLHF微调GPT-2生成积极情绪的句子

这个项目提供了一个使用来自人类反馈的强化学习(RLHF)微调预训练GPT-2模型的参考实现,使其生成表达积极情绪的句子的教程。该方法包含三个步骤:1. 有监督微调(SFT):使用stanfordnlp/sst2数据集微调GPT-2;2. 奖励模型训练:训练一个带有奖励头的GPT-2模型来预测句子的情感;3. 使用近端策略优化(PPO)进行强化学习:优化SFT模型以生成奖励模型评价为积极的句子。通过三个Jupyter Notebook依次完成这三个步骤,最终使GPT-2能够生成更积极的句子。需要Hugging Face访问令牌下载预训练的GPT-2模型。

阅读更多
AI

BreakerMachines:你的微服务架构的守护神

2025-07-06
BreakerMachines:你的微服务架构的守护神

在微服务架构盛行的时代,级联故障和重试风暴是开发者挥之不去的噩梦。BreakerMachines,一个基于Ruby的库,就像一位守护神,通过巧妙的电路断路器机制,保护你的系统免受这些灾难的侵袭。它利用battle-tested的state_machines gem,提供经典模式和Fiber模式,支持异步操作,并提供多种配置选项,让你能够根据服务的关键程度和流量大小,灵活调整断路器的阈值和超时时间。BreakerMachines不仅能有效防止级联故障,还能通过可视化仪表盘和智能告警,帮助你快速定位问题,提升系统的稳定性和可靠性。

阅读更多

Semcheck:用大型语言模型验证代码规范

2025-07-05
Semcheck:用大型语言模型验证代码规范

Semcheck 是一款利用大型语言模型(LLM)来验证代码实现是否符合规范的工具。你只需定义语义规则来描述代码应该如何与规范对齐,Semcheck 就会自动进行比较。它可以作为提交或合并代码前的最终检查。Semcheck 支持多种 LLM 提供商,包括 OpenAI、Anthropic 等,也支持本地模型和远程规范文件。它易于设置,并提供丰富的命令行选项,方便集成到 CI/CD 流程中,甚至可以自检其自身规范。

阅读更多
开发

AI辅助开发的时空塔防游戏《时间之塔》

2025-07-04
AI辅助开发的时空塔防游戏《时间之塔》

《时间之塔》是一款独特的塔防游戏,结合了策略性建筑和时间操纵机制。当敌人压倒你的防御时,你可以使用你的时间旅行能力来倒退时间并重建你的策略。游戏采用AI辅助开发,95%的代码由AI编写,展现了AI在游戏开发领域的潜力。游戏拥有多种塔类型、能量管理和基于波次的敌人生成,支持键盘和游戏手柄操作。

阅读更多
游戏 塔防游戏

Pennybase: 简洁强大的Go语言轻量级BaaS

2025-07-04
Pennybase: 简洁强大的Go语言轻量级BaaS

Pennybase是一个用不到1000行Go代码实现的轻量级后端即服务(BaaS)解决方案,堪称Firebase、Supabase和Pocketbase的简化版。它仅依赖Go标准库,无需外部依赖,即可提供文件存储(基于版本化CSV)、REST API(JSON响应)、基于会话cookie和Basic Auth的身份验证、RBAC和基于所有权的权限控制、SSE实时更新、数据模式验证以及Go模板渲染等核心功能。数据存储在易于理解的CSV文件中,每次更新都会创建新版本记录。通过巧妙的内存索引,实现了快速查找和更新。其权限控制基于简洁的RBAC模型,并支持自定义Hook函数扩展功能。

阅读更多

GitHub代码建议应用限制

2025-07-04
GitHub代码建议应用限制

GitHub代码审查中,批量应用代码建议功能存在诸多限制,例如:建议无效(无代码改动)、PR已关闭、查看代码子集、单行只能应用一个建议、应用已删除行建议不支持、建议已应用或标记为已解决、来自待处理审查的建议无法应用、多行注释无法应用建议、PR排队合并时无法应用建议,以及一些未知原因导致的“现在无法应用建议”等情况。

阅读更多
开发

Gmailtail: 命令行Gmail监控工具

2025-07-03
Gmailtail: 命令行Gmail监控工具

Gmailtail是一个命令行工具,用于实时监控Gmail邮箱,并将邮件信息输出为JSON格式。它支持灵活的过滤条件(发件人、主题、标签、附件等)、多种输出格式(JSON、JSON Lines、紧凑格式)、OAuth2和服务账户认证,以及断点续传等功能。用户可通过简单的命令行参数或YAML配置文件自定义监控规则,方便自动化、监控和与其他工具集成。

阅读更多
开发

可视化聊天机器人对话流编辑器

2025-07-02
可视化聊天机器人对话流编辑器

一款基于浏览器的可视化工具,用于创建和编辑聊天机器人的对话流程。你可以用它设计、测试和导出为JSON格式的对话流。该工具支持添加节点、编辑内容、测试流程、导入导出JSON文件等功能,最终导出的JSON文件可用于任何聊天机器人应用中。安装方式有三种:作为开发依赖安装、添加到项目脚本或全局安装。

阅读更多
开发 对话流

C.O.R.E:你的AI助手专属私有记忆库

2025-07-02
C.O.R.E:你的AI助手专属私有记忆库

C.O.R.E是一个可共享的、私有的、完全属于用户的LLM记忆库。它能让你在本地或云端存储你的记忆,并与Cursor、Claude等工具连接,实现跨平台访问。C.O.R.E旨在让你完全拥有你的记忆,并帮助你的AI助手访问你的上下文、事实和偏好,从而获得更相关和个性化的回应。目前对Llama模型的支持正在积极改进中。

阅读更多

OpenFLOW:强大的开源等角投影图绘制工具

2025-07-01
OpenFLOW:强大的开源等角投影图绘制工具

OpenFLOW是一款强大的开源渐进式Web应用(PWA),用于创建精美的等角投影图。它基于React和Isoflow库构建,完全在浏览器中运行,并支持离线功能。用户可以拖放组件、连接项目、自定义样式、保存、导入和导出JSON文件等。该工具支持多种浏览器,并提供自动保存、撤销等便捷功能。需要注意的是,PWA功能需要HTTPS,且浏览器存储空间有限,建议定期导出重要图表。

阅读更多
设计 等角投影

Pluto:Lua 的增强版编程语言

2025-07-01
Pluto:Lua 的增强版编程语言

Pluto 是一种增强型的 Lua 方言,专注于通用编程。它拥有更快的开发速度,扩展的标准库,并引入了 switch 语句、复合运算符、三元表达式等新语法。虽然与 Lua 5.4 兼容,但新关键字可能与现有标识符冲突,此时可以使用兼容模式。Pluto 可执行 Lua 字节码,大多数 Pluto 特性生成的字节码与 Lua 兼容。其详细文档、工具和改进内容均可在开源网站上找到,用户可在浏览器中使用交互式游乐场或下载预编译二进制文件。

阅读更多
开发

Nimtable:Apache Iceberg™ 的控制面板

2025-07-01
Nimtable:Apache Iceberg™ 的控制面板

Nimtable 是一个轻量级、易于使用的平台,用于监控、优化和管理基于 Iceberg 的湖仓。它提供了一个基于 Web 的界面,方便用户浏览表、运行查询、分析文件分布和优化存储布局。Nimtable 支持多种目录(REST Catalog、AWS Glue、AWS S3 表和 PostgreSQL),并与 S3 等对象存储无缝集成。此外,它还提供交互式查询、AI 辅助功能(例如 AI 表格摘要和智能建议)、文件分布分析以及表优化功能(例如文件压缩和快照过期管理)。

阅读更多
开发 湖仓

TokenDagger:OpenAI TikToken 的高性能替代方案

2025-06-30
TokenDagger:OpenAI TikToken 的高性能替代方案

TokenDagger 是 OpenAI TikToken 的一个高性能替代品,针对大规模文本处理进行了优化。基准测试显示,在代码标记化方面,TokenDagger 的速度是 TikToken 的 4 倍以上,整体吞吐量提升 2 倍。该项目基于优化的 PCRE2 正则表达式引擎,并简化了字节对编码 (BPE) 算法,从而减少了大型特殊标记词汇表对性能的影响。开发者只需简单的几行命令即可安装和运行 TokenDagger,并进行性能测试。

阅读更多

OpenTyrian2000跨平台移植:征服从iOS到ESP32

2025-06-30
OpenTyrian2000跨平台移植:征服从iOS到ESP32

OpenTyrian2000游戏实现了令人惊叹的跨平台移植,支持macOS、iOS、Apple TV、VisionOS、Windows、Android、Linux、PS Vita、PSP和Nintendo 3DS等多个平台,甚至包括ESP32微控制器。该项目使用了SDL3和SDL2库,并修复了网络支持和增加了IPv6支持以及iOS等平台的沙盒支持。从ARM到x86,从移动设备到主机,OpenTyrian2000的成功移植展现了其强大的可移植性和兼容性。

阅读更多
游戏
1 2 7 8 9 11 13 14 15 93 94