命令行ASCII艺术与SVG Logo生成器

2025-03-28
命令行ASCII艺术与SVG Logo生成器

一个名为`ascii-logo-generator`的命令行工具可以生成ASCII艺术文本并将其转换为SVG Logo。用户可以自定义字体、颜色、尺寸等参数,并将结果保存为文本或SVG文件。该工具尤其适合需要激光切割ASCII艺术Logo的用户。项目开源,并附带一个基于Web的SVG查看器用于测试。

阅读更多
开发

Claude操控Elektron Digitone合成器:AI音乐制作新纪元

2025-03-28
Claude操控Elektron Digitone合成器:AI音乐制作新纪元

一个名为Digitone MCP的服务器项目允许Claude等兼容MCP的大型语言模型通过MIDI与Elektron Digitone合成器互动并控制它。目前仅支持Wavetone音源,未来将添加更多。该项目使用Python编写,需要安装uv包和Claude Desktop应用。通过在`claude_desktop_config.json`文件中配置MCP服务器,即可让Claude实时控制Digitone合成器,实现AI辅助音乐创作。该库采用面向对象架构,包含基础控制器、专用控制器、MCP工具和MIDI接口,并利用FastMCP、Pydantic和mido等库保证效率和稳定性。

阅读更多

Dish:轻量级一次性监控服务

2025-03-27
Dish:轻量级一次性监控服务

Dish是一个极简的Go语言编写的一次性监控服务,用于快速测试HTTP/S和TCP端点。它支持从本地JSON文件或远程JSON API读取目标列表,并提供多种告警方式,包括Telegram通知、Prometheus Pushgateway推送和Webhook回调。用户可通过命令行参数灵活配置,并支持自定义请求头。Dish零依赖,易于部署,无论是通过构建二进制文件还是Docker镜像都非常便捷,非常适合快速搭建监控系统。

阅读更多
开发

xorq:简化多引擎机器学习管道的利器

2025-03-27
xorq:简化多引擎机器学习管道的利器

xorq是一个延迟计算框架,它将声明式管道的可重复性和性能带入Python机器学习生态系统。它使我们能够编写永不耗尽内存的pandas风格转换,自动缓存中间结果,并在SQL引擎和Python UDF之间无缝切换,同时保持可重复性。xorq构建在Ibis和DataFusion之上,具有声明式表达式、多引擎支持、内置缓存、可序列化管道、可移植UDF和Arrow原生架构等特性,并提供交互式库和命令行界面,方便从探索性研究过渡到生产就绪型工件。

阅读更多
开发

Inko:构建高可靠并发软件的新语言

2025-03-27
Inko:构建高可靠并发软件的新语言

Inko 是一种用于构建可靠并发软件的新型编程语言。它通过确定性自动内存管理、移动语义、静态类型、类型安全并发和高效的错误处理等特性,简化了并发软件的开发,避免了性能不可预测、运行时错误和竞争条件等问题。Inko 代码编译为 LLVM 机器码。示例代码展示了简单的“Hello, world!”和一个并发计算阶乘的程序。更多信息和安装指南请访问 Inko 官网。

阅读更多
开发 Inko

Stoffel虚拟机:一个面向多方计算优化的虚拟机

2025-03-27
Stoffel虚拟机:一个面向多方计算优化的虚拟机

Stoffel虚拟机是一个正在开发中的新型虚拟机,旨在优化多方计算 (MPC)。目前,它已实现基本功能,支持多种数据类型(整数、布尔值、字符串、对象、数组等)和丰富的指令集,包括算术运算、位运算、控制流以及函数调用等。它还支持Rust FFI,方便开发者集成高性能功能。未来,Stoffel将加入MPC支持、垃圾回收等功能。

阅读更多
开发

Rivulet:一种基于流动的编程语言

2025-03-27
Rivulet:一种基于流动的编程语言

Rivulet 是一种新颖的编程语言,它使用半图解字符表示“股线”来编写代码。程序由紧密排列的代码块(称作字形)构成,每个字形包含多种类型的股线,它们共同执行。Rivulet 避免了传统的流程控制方式,而是通过回滚机制来实现条件分支和循环。数据以列表形式组织,命令作用于单个单元格或整个列表。其语法虽然乍看起来复杂,但实际上易于上手。

阅读更多

Playwright MCP:赋能LLM的无头浏览器自动化

2025-03-26
Playwright MCP:赋能LLM的无头浏览器自动化

Playwright 模型上下文协议 (MCP) 服务器通过使用 Playwright 提供浏览器自动化功能,让大型语言模型 (LLM) 可以通过结构化的可访问性快照与网页交互,无需截图或视觉调整模型。它支持无头和有头模式,提供多种工具,包括页面导航、表单填写、数据提取和自动化测试。两种模式:快照模式(默认)使用可访问性快照,视觉模式使用截图。安装方便,可通过VS Code CLI安装。

阅读更多
开发

ghidraMCP:让LLM自动逆向工程的MCP服务器

2025-03-26
ghidraMCP:让LLM自动逆向工程的MCP服务器

ghidraMCP是一个模型上下文协议(MCP)服务器,允许大型语言模型(LLM)自主逆向工程应用程序。它将Ghidra核心功能的众多工具暴露给MCP客户端。该插件支持在Ghidra中反编译和分析二进制文件,自动重命名方法和数据,列出方法、类、导入和导出等功能。安装方法简单,只需下载插件并将其导入Ghidra即可。此外,它还支持Claude Desktop和5ire等多种MCP客户端。

阅读更多
开发

增强版Windows 7 SP2:体验焕新,但需谨慎

2025-03-26
增强版Windows 7 SP2:体验焕新,但需谨慎

一个名为Windows 7 Service Pack 2的项目旨在通过更新和增强,为老旧的Windows 7系统带来焕然一新的体验。该项目目前尚未完善,仅支持64位系统,且不包含ESU更新和定制GPU驱动。安装过程需谨慎操作,不当操作可能导致系统损坏。该项目目前提供ISO镜像用于全新安装,后续将推出用于原位升级的安装程序。项目团队特别强调,RAID/Intel RST支持有限,32位系统用户不受支持。

阅读更多
开发 64位系统

CSV格式:被低估的数据序列化利器

2025-03-26
CSV格式:被低估的数据序列化利器

一篇博文为CSV格式唱赞歌,反驳了CSV即将过时的说法。文章指出,CSV简单易懂,无需专用软件即可读取和编辑;其开放性、可追加性以及动态类型特性使其在许多场景下都具有优势,尤其是在处理大型数据集时,CSV的逐行读取能力和低内存占用使其表现出色。此外,CSV的逆序读取特性也使其成为高效恢复中断进程的理想选择。

阅读更多
开发

Ratomic:用于 Ruby Ractor 的可变数据结构

2025-03-26
Ratomic:用于 Ruby Ractor 的可变数据结构

Ratomic 项目为 Ruby 的 Ractor 提供了可变数据结构,从而突破了 GVL 的限制,提升了 Ruby 代码的可扩展性。该项目目前正处于早期阶段,需要熟悉 Rust 和 Ruby C 扩展的开发者参与贡献。Ratomic 提供了多种 Ractor 安全的数据结构,例如计数器、对象池、Map 和队列,这些结构的设计旨在用作类级别的常量,以便多个 Ractor 共享。项目采用 MIT 许可证。

阅读更多
开发

Dapr Agents:构建可扩展、弹性AI代理系统的框架

2025-03-26
Dapr Agents:构建可扩展、弹性AI代理系统的框架

Dapr Agents是一个用于构建生产级、高弹性、可扩展AI代理系统的开发者框架。它基于成熟的Dapr项目,允许开发者创建能够推理、行动和协作的AI代理,并利用大型语言模型(LLM)。内置的可观察性和有状态工作流执行保证了代理工作流的成功完成,无论其复杂程度如何。Dapr Agents支持数千个代理在单核上高效运行,具有自动重试、Kubernetes原生支持、多种数据源集成、多代理系统协作、平台就绪等特性,并具有成本效益,避免厂商锁定。

阅读更多
AI Dapr

Cocommit: 你的 Git 提交助手

2025-03-26
Cocommit: 你的 Git 提交助手

Cocommit 是一款命令行工具,它能利用你选择的 LLM 来提升你的 Git 提交质量。它分析你的最后一次提交信息,并提出改进建议,指出优缺点。Cocommit 支持多种 LLM,例如 OpenAI 和 Amazon Bedrock 的 Claude 3.7,并通过 LangChain 来抽象底层模型。安装简单,使用方便,还能自定义 LLM 体验,是开发者提升代码规范的好帮手。

阅读更多
开发

GitHub代码建议应用限制

2025-03-26
GitHub代码建议应用限制

本文列举了GitHub代码审查中应用建议时遇到的各种限制,例如:建议应用需单次提交、不能应用于无代码修改、已关闭或待合并的pull request,以及已解决或删除的建议等。这些限制旨在维护代码库的完整性和审查流程的效率。

阅读更多
开发 Pull Request

Jakt:一款内存安全的系统编程语言

2025-03-25
Jakt:一款内存安全的系统编程语言

Jakt 是一款新兴的内存安全系统编程语言,目前编译到 C++。它采用自动引用计数、强类型和边界检查等策略来确保内存安全,并避免使用原始指针。Jakt 强调代码可读性,具有灵活的模块系统和简洁的语法。它支持结构体、类、枚举、模式匹配、泛型、操作符重载和异常处理等特性,并提供强大的编译时功能,例如编译时函数执行。虽然尚处于开发阶段,但 Jakt 的设计目标是兼顾性能、安全性和开发效率。

阅读更多
开发 Jakt

秒速3D场景重建:VGGT模型惊艳亮相

2025-03-25
秒速3D场景重建:VGGT模型惊艳亮相

Facebook Research 推出的 VGGT (Visual Geometry Grounded Transformer) 模型,能在几秒钟内从单张或多张图像中直接推断出场景的所有关键3D属性,包括相机参数、点云、深度图和3D点轨迹。该模型基于Transformer架构,易于使用,并提供交互式3D可视化工具。即使只有一张图片,VGGT也能展现出令人惊叹的单视图重建能力,性能与最先进的单目方法相比毫不逊色。

阅读更多
AI

Go语言高性能近似最近邻搜索库Hann

2025-03-25
Go语言高性能近似最近邻搜索库Hann

Hann是一个为Go语言打造的高性能近似最近邻搜索(ANN)库,它提供了多种索引数据结构,用于在高维空间中高效地进行相似性搜索。支持HNSW、PQIVF和RPT三种索引,可用于构建向量数据库,并能快速提升Go应用的内存相似性搜索能力。Hann支持多种距离计算方式,例如欧几里得距离、曼哈顿距离和余弦距离,并支持索引的保存和加载。

阅读更多
开发

Triforce:一款针对苹果硅芯片笔记本电脑的波束成形器

2025-03-25
Triforce:一款针对苹果硅芯片笔记本电脑的波束成形器

Triforce 是一款针对苹果 M1/M2 芯片 MacBook 的最小方差无失真响应自适应波束成形器。苹果笔记本电脑的麦克风阵列(三角形或直线排列)过于灵敏且全向,需借助波束成形来隔离所需信号并降低背景噪音。Triforce 项目旨在提供一个易于使用的波束成形器,虽然性能可能不如苹果官方实现,但其依赖项极少,并支持持续改进。

阅读更多
开发

Vibe-Eyes:让大型语言模型“看”懂浏览器游戏

2025-03-25
Vibe-Eyes:让大型语言模型“看”懂浏览器游戏

Vibe-Eyes是一个创新的MCP服务器,它允许大型语言模型(LLM)通过矢量化画布可视化和调试信息来“查看”基于浏览器的游戏和应用程序中发生的事情。它采用客户端-服务器架构,轻量级浏览器客户端捕获画布内容和调试信息,并通过WebSockets将其发送到Node.js服务器。服务器将图像矢量化为紧凑的SVG表示,并通过模型上下文协议(MCP)将其提供给LLM。这使得LLM能够“看到”应用程序中发生的事情,并提供更有效的调试帮助,极大地提升了“vibe coding”的效率。

阅读更多
开发

MRubyD:一款用C#编写的mruby虚拟机

2025-03-24
MRubyD:一款用C#编写的mruby虚拟机

MRubyD是一个用纯C#实现的全新mruby虚拟机,旨在与基于C#的游戏引擎无缝集成。它利用C#的特性实现了高性能和高扩展性,并注重与Ruby API的兼容性。目前版本为预览版,部分功能仍在开发中,例如内置类型和方法的完整实现以及私有和受保护可见性的支持。开发者可以使用`dotnet add package MRubyD`安装,并通过提供的示例代码体验其功能。

阅读更多
开发 MRubyD

灵活的授权库:融合RBAC、ABAC和ReBAC

2025-03-24
灵活的授权库:融合RBAC、ABAC和ReBAC

一个灵活的授权库,结合了基于角色(RBAC)、基于属性(ABAC)和基于关系(ReBAC)的访问控制策略。它支持策略组合(AND、OR、NOT)、详细的评估跟踪和流畅的构建器API,并具有类型安全性和异步支持。你可以轻松添加RBAC、ABAC等多种策略,并使用PolicyBuilder创建自定义策略。示例包括RBAC、ReBAC和策略组合器的完整演示。

阅读更多
开发 RBAC

PicoRuby:一款适用于微控制器的轻量级Ruby实现

2025-03-24
PicoRuby:一款适用于微控制器的轻量级Ruby实现

PicoRuby是一个精简的mruby实现,其ROM占用空间仅为256KB,RAM占用空间小于128KB(32位架构下)。它可移植性强,仅依赖标准C库,并支持Raspberry Pi Pico等微控制器。该项目目前仍在开发中,但已提供API文档、示例视频和构建工具。用户可以使用`rake`命令编译生成三种可执行文件:`picorbc`(将Ruby代码编译成mruby虚拟机代码)、`picoruby`(直接执行Ruby代码)和`r2p2`(特定用途)。该项目由HASUMI Hitoshi和Monstarlab开发,并获得了Ruby协会的资助。

阅读更多

Autology:一个能自我修改的Lisp解释器

2025-03-24
Autology:一个能自我修改的Lisp解释器

Autology是一个用Clojure编写的函数式Lisp解释器,其核心亮点在于它能够访问并修改自身的解释器。通过重新绑定变量*i*(指向解释器函数),程序可以在运行时动态地改变Autology的语法和行为,例如添加函数、修改求值策略等。虽然Autology本身效率不高,但它为探索Lisp元编程和语言运行时修改提供了独特的视角。

阅读更多
开发

命令行工具:OSGInt——GitHub 用户信息检索利器

2025-03-24
命令行工具:OSGInt——GitHub 用户信息检索利器

OSGInt 是一款强大的命令行工具,能够通过用户名或邮箱检索 GitHub 用户信息。它不仅能获取用户的基本信息(如用户名、头像、个人简介等),还能挖掘出用户的邮箱地址、GPG 密钥等更详细的数据。OSGInt 通过多种途径获取信息,包括分析用户的公开提交、GPG 密钥以及 GitHub 用户 API。项目灵感源于 Zen 项目,并持续迭代更新中,例如计划实现通过模拟提交来获取邮箱地址的功能。

阅读更多

Dennis Ritchie 的原始 C 编译器:一段科技史的回眸

2025-03-24
Dennis Ritchie 的原始 C 编译器:一段科技史的回眸

本文分享了已故传奇人物 Dennis Ritchie 编写的最早版本的 C 编译器源代码。这些代码如今无法用现代 C 编译器(如 GCC)编译,但它们代表了价值万亿美元产业的起点。文章还提供了 Aiju 的 PDP-11/Unix 模拟器链接,读者可以尝试编译这些代码,并附带了其他相关资源链接,例如 Research Unix 仓库,让读者可以一窥早期 Unix 系统的奥秘。

阅读更多

beeFormer:弥合推荐系统中语义和交互相似性差距的利器

2025-03-24
beeFormer:弥合推荐系统中语义和交互相似性差距的利器

beeFormer项目提出了一种新颖的推荐系统方法,旨在解决冷启动问题。该方法利用语言模型学习用户交互数据中的行为模式,并将此知识迁移到未曾见过的商品上。不同于传统的基于内容的过滤方法依赖于商品属性,beeFormer利用语言模型学习用户行为模式,从而更好地推荐与用户兴趣相关的商品,即使这些商品没有任何交互数据。实验结果表明,该方法显著提升了推荐系统的性能。项目提供了详细的训练步骤和预训练模型,并支持多种数据集,例如MovieLens、GoodBooks和Amazon Books。

阅读更多
AI

LangManus:开源AI自动化框架,赋能多Agent协同

2025-03-23
LangManus:开源AI自动化框架,赋能多Agent协同

LangManus是一个由社区驱动的开源AI自动化框架,它整合了语言模型、Web搜索、爬虫和Python代码执行等工具。该项目由一群前同事在业余时间开发,旨在探索多Agent和深度研究领域,并参与GAIA排行榜。LangManus采用分层多Agent系统,包含协调器、规划器、监督器、研究员、编码器、浏览器和报告器等多个Agent角色,并支持多种LLM模型集成,如Qwen和OpenAI兼容模型。项目采用MIT许可证开源,欢迎社区贡献。

阅读更多
1 2 28 29 30 32 34 35 36 93 94