SQLite-vec:可在任何地方运行的 SQLite 向量搜索扩展

2024-08-02

sqlite-vec 是一款小巧高效的向量搜索 SQLite 扩展,使用 C 语言编写,可在任何 SQLite 运行的环境中运行,包括 Linux、MacOS、Windows,甚至可以通过 WASM 在浏览器中运行。它允许用户在 vec0 虚拟表中存储和查询浮点数、int8 和二进制向量,并支持使用 rowid IN (...) 子查询进行预过滤。

阅读更多
50
未分类

Hackberry-Pi_Zero:一款基于树莓派 Zero 2W 的掌上 Linux 终端

2024-08-02

Hackberry-Pi_Zero 是一款以树莓派 Zero 2W 为核心,搭载 4 英寸 720x720 TFT 显示屏和 BlackBerry 键盘的掌上 Linux 终端。它支持可更换电池,续航可达 3.5 小时,并配备了 USB 接口、I2C 接口和 TF 卡插槽。用户可以根据需要安装 Kali、Raspberrypi OS 或 Retropi 等操作系统,并通过 VIAL 软件自定义键盘映射。

阅读更多
41
未分类 Linux 终端

WordGrinder:一款简洁高效的控制台文字处理器

2024-08-02

WordGrinder 是一款基于控制台的文字处理器,支持 Unicode,旨在提供简洁高效的写作体验。它支持基本的段落和字符样式、屏幕标记、菜单界面、HTML 导入导出以及其他实用功能。WordGrinder 不依赖 GUI,可以在终端中运行,但也提供适用于 Unix、Windows 和 OSX 的 GUI 版本。

阅读更多
54
未分类 控制台

xdg-override:覆盖 xdg-open 行为

2024-08-02

xdg-override是一个用于覆盖xdg-open行为的GNU/Linux应用程序,它允许用户在不改变系统设置的情况下,为特定应用程序临时更改默认浏览器或其他应用程序。例如,可以使用xdg-override强制Slack使用Chromium浏览器打开链接,即使系统默认浏览器是Firefox。

阅读更多
43
未分类 xdg-open

GitHub - ambianic/peerfetch:基于 WebRTC 的点对点 HTTP

2024-08-02

peerfetch项目实现了基于 WebRTC 数据通道的点对点 HTTP 客户端和服务器端代理,允许 Web 浏览器安全地直接访问位于防火墙后的边缘设备。它无需自定义 VPN、云中间人、动态 DNS 或防火墙规则,并提供端到端加密,适用于物联网设备网格、家庭安全摄像头访问和联邦学习等用例。

阅读更多
40
未分类 点对点

世界星座图集

2024-07-31

本文介绍了如何使用来自Stellarium和HYG数据库的数据制作世界各地文化的星座图。使用的软件包括Python 3.7.1、Illustrator CC 2019和Photoshop CC 2019。该项目使用的数据集包括Hipparcos、Yale Bright Star和Gliese星表中的所有恒星,以及来自Stellarium的来自不同文化的星群数据。文章详细介绍了数据处理、地图投影选择、Python绘图、Illustrator和Photoshop设计等步骤,并提供了一些有用的技巧和参考资料。

阅读更多
39
未分类 星座

SSOReady:开源企业单点登录开发工具

2024-07-31

SSOReady 是一款开源的开发工具,旨在帮助开发者快速为产品添加 SAML 支持,实现企业单点登录功能。它提供免费、自托管的服务,并提供 Python 和 TypeScript/Node.js SDK,方便开发者集成。SSOReady 的目标是简化企业单点登录的实现过程,使之更加清晰易懂,并通过 MIT 许可证确保用户对代码的控制权。

阅读更多
37
未分类

Zuo: 用于脚本编写的小型 Racket

2024-07-31

Zuo 是一款精简的 Racket 版本,专为脚本编写而设计。它提供了处理文件、运行进程以及类似 make 的嵌入式 DSL 等基本功能。Zuo 可以独立运行,也可以嵌入到其他应用程序中,并支持通过嵌入预编译的库来提高启动性能。

阅读更多
51
未分类 Zuo

Meta 发布 Segment Anything 模型 2 (SAM 2)

2024-07-29

Meta 发布了 Segment Anything 模型 2 (SAM 2),这是一个用于图像和视频中可提示视觉分割的基础模型。SAM 2 将图像视为具有一帧的视频扩展到视频。该模型设计是一个简单的 transformer 架构,具有用于实时视频处理的流内存。Meta 还构建了一个模型在环数据引擎,它通过用户交互改进模型和数据,以收集 SA-V 数据集,这是迄今为止最大的视频分割数据集。

阅读更多
39

GitHub - cpfiffer/julia-bootcamp-2022

2024-07-29

这篇GitHub文章介绍了斯坦福大学商学院举办的Julia经济学家训练营。训练营由Cameron Pfiffer主导,内容涵盖Julia基础、并行化、优化和自动微分、高性能Julia以及计算贝叶斯统计等主题,每个主题都有相应的课程记录、笔记和示例代码。

阅读更多
39
未分类

Burrow: 基于 AWS Lambda 的全球分布式 HTTP 代理

2024-07-29

Burrow 是一个基于 AWS Lambda 构建的、用于 Go 的无服务器、全球分布式 HTTP 代理。它与标准 Go *http.Client 完全兼容,可以透明地添加到许多现有应用程序中。Burrow 提供了 http.RoundTripper 接口的实现,该接口通过一个或多个使用函数 URL 公开的 AWS Lambda 函数代理请求。它还提供了一个轮询传输,可以轻松地在不同地区的多个 Lambda 函数之间自动轮换。

阅读更多
38
未分类 HTTP 代理

MeTube:自带网络用户界面的 YouTube 下载器

2024-07-29

MeTube 是一款基于 youtube-dl (yt-dlp 分支) 的开源 YouTube 下载器,提供网络用户界面,支持播放列表下载。它允许用户从 YouTube 和其他数十个网站下载视频,并可以通过 Docker 或 docker-compose 轻松部署和运行。MeTube 提供了多种配置选项,例如设置下载目录、自定义文件名模板、使用浏览器 Cookie 以及配置反向代理等。

阅读更多
41

Yark: 让 YouTube 存档变得简单

2024-07-29

Yark 是一款可以简化 YouTube 存档过程的工具。它可以下载 YouTube 视频及其元数据,并生成包含时间线、图表和注释功能的离线网站,方便用户浏览和管理存档内容。Yark 支持 Python 3.9+ 和 FFmpeg,使用简单,只需几个命令即可完成存档的创建、更新和查看。

阅读更多
51
未分类 存档

GitHub - SimonBlanke/Gradient-Free-Optimizers:适用于数值离散搜索空间的简单可靠的优化方法,包括局部、全局、基于群体和序列化的技术

2024-07-29

Gradient-Free-Optimizers 是一个易于使用的优化技术集合,其目标函数只需要一个可以最大化的任意分数。这使得无梯度方法能够解决各种优化问题,包括优化任意数学函数、将多个高斯分布拟合到数据以及机器学习方法的超参数优化。Gradient-Free-Optimizers 提供了多种优化算法,包括局部优化、全局优化、基于种群的优化和基于序列模型的优化,并提供了简单易用的 API 和高性能的优化后端。

阅读更多
41
未分类 无梯度优化

虚拟阿波罗制导计算机 (AGC) 软件

2024-07-29

Virtual AGC 项目提供了一个虚拟机,可以模拟阿波罗宇宙飞船中使用的 AGC、DSKY 以及制导系统中的其他部分。该项目包含 AGC 的汇编语言源代码、用于处理 AGC 代码的软件(如汇编器和 CPU 模拟器)以及模拟外围设备(如 DSKY)。该项目旨在对 AGC 进行建模,而不是对其外部行为进行模拟,因此它能够在例如台式机等平台上执行原始的阿波罗软件。

阅读更多
35
未分类

Pallene 语言参考手册

2024-07-29

Pallene 是 Lua 的静态类型伴随语言,允许与 Lua 函数互相调用。Pallene 在语法上与 Lua 类似,但需要类型注解。类型系统包括 Lua 原始类型、字符串、数组、表、函数和记录,以及涵盖所有类型的 any 类型。Pallene 支持数组、表、函数、记录等数据结构,并提供类似 Lua 的语法。它还实现了部分 Lua 标准库函数,并支持自动类型转换和类型推断,方便开发者编写类型安全的 Lua 代码。

阅读更多
36
未分类 Pallene

setuptools 72.0 版本导致部分软件包无法安装

2024-07-29

Python 包管理工具 setuptools 发布的 72.0 版本删除了测试命令,导致依赖旧版本 setuptools 的软件包在构建隔离环境下安装失败。许多用户反馈遇到此问题,并尝试了使用 constraints.txt 文件限制 setuptools 版本、使用 `--no-build-isolation` 选项、以及手动安装旧版本 setuptools 等方法解决。维护者建议受影响的用户通过上述方法临时解决问题,并表示正在讨论更平稳的过渡方案。

阅读更多
37
未分类 setuptools

vdm:一款通用的版本化依赖管理器

2024-07-29

vdm 是一款通用的版本化依赖管理器,类似于 Git Submodules,用于管理外部依赖项。它与语言无关,可以用于任何需要远程开发资源的场景。vdm 可以通过 YAML 或 JSON 格式的规范文件指定依赖项及其版本,并通过 `vdm sync` 命令自动下载和更新依赖项。

阅读更多
34
未分类

GitHub - izabera/ps

2024-07-29

这是一款名为ps aux的工具,完全使用bash编写,无需进行任何fork操作。该工具旨在解决在无法创建新进程的情况下,如何模拟ps aux功能的问题。

阅读更多
48
未分类 ps aux

Opslane: 减少值班工程师的警报疲劳

2024-07-28

Opslane 是一款开源工具,旨在减少值班工程师的警报疲劳。它利用大型语言模型对警报进行分类,识别可操作的警报和噪声警报,并提供处理警报所需的上下文信息。Opslane 集成了 Slack,可在团队接收警报的频道中提供见解和调试资源。此外,它还提供每周分析报告,帮助团队了解警报质量并直接从 Slack 中屏蔽噪声警报。

阅读更多
41
1 2 18 19 20 22 24 25 26 45 46