GitHub - aome510/spotify-player: 功能齐全的终端Spotify播放器

2024-07-18

Spotify-player是一款功能丰富的终端Spotify播放器,具有极简的界面和直观的分页和弹出系统。它提供与官方Spotify应用程序相同的功能,支持Spotify Connect远程控制、直接从终端流式传输歌曲、歌词显示、跨平台媒体控制、图像渲染、桌面通知以及作为守护程序运行等功能。

阅读更多
62

Devzat:通过 SSH 进行聊天

2024-07-18

Devzat 是一款自定义 SSH 服务器,可将用户带到聊天室而不是 shell 提示符。由于所有平台(甚至手机)上都有 SSH 应用程序,因此您可以在任何设备上连接到 Devzat!它具有房间、Markdown 支持、代码语法高亮、直接消息、时区支持、内置游戏、表情符号替换等功能。

阅读更多
97
未分类 Devzat

llm2sh: 让 GPT 运行命令行指令

2024-07-18

llm2sh 是一个命令行工具,利用大型语言模型 (LLM) 将自然语言请求转换为 shell 命令。它提供了一种使用自然语言与系统交互的便捷方式。支持多种 LLM(例如 OpenAI、Claude 和 Groq)用于命令生成,并提供可自定义的配置文件。

阅读更多
87
未分类

sqlite-bench:测试 SQLite 事务行为的项目

2024-07-18

该项目包含 SQLite 事务行为测试的代码,并提供了一个多平台 Docker 镜像,用于对 SQLite 数据库执行基准测试。该项目提供详细的使用说明,包括如何编译、运行和配置测试参数,例如线程数、扫描操作和更新操作等。

阅读更多
32
未分类

基于 RP2040 的 DECstation 模拟器

2024-07-17

DECstation 2040是一个基于RP2040的DECstation 3000模拟器,可以运行DECWindows。它具有32 MB的PSRAM、8 MB的SPI闪存和一个uSD卡插槽,并支持以太网和单色VGA输出。该项目使用了RP2040的PIO和DMA功能来实现高效的视频输出和内存访问。

阅读更多
43
未分类 DECstation

Blitzping: 用户空间下极速发送IP数据包

2024-07-17

Blitzping是一款在用户空间内尽可能快地发送IP数据包的工具,专为嵌入式设备设计,仅依赖于标准POSIX头文件和C11的libc。它通过预先生成数据包静态部分、异步配置、多线程发送和编译器优化等方式,实现了比hping3和nping更高的数据包发送速度,尤其是在发送最小TCP SYN数据包时,性能提升显著。

阅读更多
40

Ar: 一种图灵完备的编程语言

2024-07-16

Ar 是一种受限算术和 Z3 启发的图灵完备编程语言,它仅使用 inc、sub、mul 和 div 四个基本函数进行编程,不依赖循环或递归。Ar 使用整数代替 inc,实际上只需要三个函数。文章提供了使用 Ar 函数定义的示例,并探讨了其图灵完备性和通用函数的可能性。

阅读更多
44
未分类 图灵完备 Ar

splatviz:一款用于实时编辑和分析的完整 Python 交互式 3D 高斯渲染查看器

2024-07-16

splatviz 是一款交互式查看器,允许用户实时显示和编辑 3D 高斯渲染场景。它使用原生 Python GUI 库 (imgui) 在渲染前直接操作高斯 Python 对象,实现无限的编辑和可视化可能性。用户还可以渲染后评估 Python 表达式,以及可视化多个场景以进行并排或分屏比较。此外,它还能保存渲染、当前场景的 ply 文件,以及围绕场景 360° 旋转的视频。

阅读更多
64
未分类 3D 高斯渲染

BOA27: 开源智能气球项目,为朝鲜民众带去希望

2024-07-16

BOA27是一个开源智能气球项目,旨在为生活在朝鲜《反动思想文化排斥法》第27条下的人们提供希望。该项目旨在设计和制造低成本的智能气球,用于向朝鲜运送信息、教育材料、宗教材料以及生活必需品等。该项目的目标是通过技术手段突破信息封锁,为朝鲜民众带去希望和改变。

阅读更多
31
未分类 智能气球

Exo: 利用日常设备打造属于你的人工智能集群

2024-07-16

Exo 是一个开源项目,可以将你的 iPhone、iPad、Android、Mac、Linux 等各种设备连接成一个人工智能集群,让你无需购买昂贵的 NVIDIA GPU 就能运行 LLaMA 等大型 AI 模型。Exo 支持自动设备发现、动态模型分区、ChatGPT 兼容 API 等功能,让你轻松构建和使用自己的 AI 集群。

阅读更多
110
未分类 集群

GitHub - rectanglehq/Shapeshift:使用向量嵌入转换 JSON 对象

2024-07-16

Shapeshift 是一个 TypeScript 库,使用向量嵌入映射任意结构的 JSON 对象。它利用语义相似性匹配对象之间的键,允许灵活和智能的对象转换,包括对嵌套结构的支持。 该库的工作原理是:将源对象和目标对象都扁平化,在键中保留嵌套结构信息。它使用指定的嵌入提供程序和模型计算扁平化键的嵌入。对于扁平化源对象中的每个键,它使用嵌入的余弦相似度在扁平化目标对象中找到语义最相似的键。如果相似度得分高于指定的阈值,则将源对象中的值映射到目标对象中的相应键。最后,库对结果进行反扁平化,恢复目标对象的嵌套结构。

阅读更多
40
未分类 向量嵌入

KUtrace:用于深度性能分析的轻量级 Linux 内核追踪工具

2024-07-16

KUtrace 是一款轻量级 Linux 内核追踪工具,用于观察多核处理器上所有核心的执行时间,适用于分析未经修改的用户程序。它包含内核补丁、可加载模块和后处理软件,输出结果为每个 CPU 核心的 HTML/SVG 时间线,可以精确到纳秒级别,有助于理解实时交易或数据库处理中延迟响应的根本原因。

阅读更多
43
未分类 内核追踪

GitHub - urbanadventurer/WhatWeb: 下一代Web扫描器

2024-07-15

WhatWeb 是一款用 Ruby 编写的开源网站指纹识别工具,它可以识别网站使用的技术,包括内容管理系统、博客平台、统计/分析包、JavaScript 库、Web 服务器和嵌入式设备等。它拥有超过 1800 个插件,每个插件都可以识别不同的技术。WhatWeb 还可以识别版本号、电子邮件地址、帐户 ID、Web 框架模块、SQL 错误等。

阅读更多
40

Bluetui: Linux蓝牙管理TUI工具

2024-07-15

Bluetui是一款用Rust编写的Linux蓝牙管理命令行工具,提供图形界面,方便用户管理蓝牙适配器、配对设备和新设备。用户可以通过Bluetui进行蓝牙扫描、连接、断开、配对、取消配对、信任、取消信任以及重命名等操作。

阅读更多
39
未分类 蓝牙管理

QUIC 文件传输服务

2024-07-15

该项目是一个基于 QUIC 协议的文件传输服务,利用 QUIC 的多路复用特性,通过多个流并发传输文件以提高速度。服务端将文件分割成多个块,客户端并发请求和接收这些块,并能在传输完成后进行 MD5 校验。

阅读更多
39
未分类 多路复用

GitHub - khaledh/fusion:使用 Nim 实现的爱好操作系统

2024-07-14

Fusion 是一个针对 x86-64 架构,使用 Nim 语言实现的业余爱好操作系统。该项目包含 UEFI 引导加载程序、物理内存管理器、虚拟内存管理器、单地址空间、用户模式、抢占式多任务处理、系统调用、ELF 加载程序、定时器中断等功能。未来计划实现分页机制、进程间通信、磁盘 I/O、文件系统、键盘/鼠标输入、Shell、GUI 和网络等功能。

阅读更多
43
未分类

Kaskade:一款用于 Kafka 的文本用户界面

2024-07-14

Kaskade 是一款基于 Textual 构建的 Apache Kafka 文本用户界面 (TUI),它允许用户在终端中以一种优雅的方式与 Kafka 交互和消费主题。Kaskade 提供了丰富的功能,包括主题管理、消费者视图、多种数据格式反序列化、Schema Registry 支持、Protobuf 反序列化支持等。用户可以通过命令行轻松使用 Kaskade 连接到 Kafka 集群,并执行各种操作。

阅读更多
50
未分类

Google Fonts 氧化项目:将字体工具和库迁移到 Rust 的思考

2024-07-14

Google Fonts 团队正在探索将字体工具和库从 Python 和 C++ 迁移到 Rust 的可行性,该项目被称为“氧化”。目标是用 Rust 重写 HarfBuzz 和部分 FreeType,以提高性能、内存安全性、代码可维护性和开发效率。该项目将分阶段进行,并优先考虑内存安全和高性能,同时会与现有工具进行性能和正确性测试。

阅读更多
32
未分类 Google Fonts

Mazeppa:一款面向值调用函数式语言的现代超级编译器

2024-07-14

Mazeppa是一款面向值调用函数式语言的全新超级编译器,它能够通过符号化地执行程序并推断运行时值的可能取值,发现程序的执行模式并将它们合成为独立的函数,从而生成更高效的代码。与之前的超级编译器不同,Mazeppa支持全套基本数据类型,允许手动控制函数展开,并且在转换过程中完全透明。文章通过多个例子展示了Mazeppa如何进行代码优化,包括消除森林砍伐、部分求值、程序特化、算法合成等,并讨论了超级编译的局限性和未来研究方向。

阅读更多
47
未分类

ULID 规范

2024-07-14

本文介绍了ULID(通用唯一按字典排序的标识符),它是一种用于替代UUID的新方法,解决了UUID在字符效率、随机分布导致数据碎片化等方面的不足。ULID使用128位编码,保证了每毫秒生成1.21e+24个唯一ID,并采用Crockford的base32编码,确保了字典排序和可读性。

阅读更多
33
未分类

Disruptor-rs: 基于 LMAX Disruptor 的 Rust 低延迟线程间通信库

2024-07-13

Disruptor-rs 是一个 Rust 低延迟线程间通信库,灵感来自 LMAX Disruptor。它支持单生产者单消费者、多生产者单消费者和多生产者多消费者模型,提供忙碌自旋等待策略、事件批量发布和消费、线程关联性设置以及线程名称设置等功能。Disruptor-rs 追求低延迟和高吞吐,基准测试结果显示,它在不同负载情况下都优于 Crossbeam,尤其在批量发布事件时性能更佳。

阅读更多
49
1 2 21 22 23 25 27 28 29 45 46