Map Matrix 是一款使用 React 开发的用于同步多视图地图比较的应用程序，支持 MapLibre、自定义图层和可配置布局。该项目主要由 Claude AI 生成，开发者最初是为了 veloplanner.com 网站而开发这个简单工具，并借此机会尝试用 Claude AI 从零开始编写代码。用户可以通过单击导航栏中的“添加自定义源”按钮来添加自定义地图源，配置存储在浏览器的本地存储中。
阅读更多
Memos是一个注重隐私的被动记录项目，可自动记录屏幕内容、构建智能索引，并提供便捷的Web界面检索历史记录。数据完全本地存储，用户可完全控制数据，避免数据泄露到不可信的数据中心。Memos支持全文和向量搜索，集成Ollama作为机器学习引擎，兼容任何OpenAI API模型，支持Mac和Windows系统，并可通过插件扩展功能。
阅读更多
Garak是一款用于评估大型语言模型（LLM）漏洞的命令行工具。它通过静态、动态和自适应探测来识别LLM中的弱点，例如幻觉、数据泄露、提示注入、错误信息、毒性生成和越狱等。Garak支持多种LLM，包括Hugging Face、OpenAI、Replicate、Cohere、Groq、ggml、REST API以及私有模型等。用户可以通过指定模型类型和名称，选择不同的探测方式进行测试，并获得详细的评估报告。
阅读更多
bpftune是一个基于BPF的Linux系统自动调优守护进程，旨在通过持续监控和调整系统行为，实现轻量级、始终在线的自动调优。它利用BPF的可观测性功能，针对系统中的各项可调参数（例如sysctl参数），根据系统运行时的实际情况进行动态调整，而不是依赖静态配置。bpftune的核心组件是调优器，每个调优器管理一组相关的可调参数，并根据BPF程序通过共享环形缓冲区发送到用户空间的事件做出响应。它还支持策略机制，允许为同一组可调参数定义多种调优策略，并根据策略的有效性进行评估和切换。bpftune的设计原则包括最小化开销、提供明确的策略变更解释、避免与管理员手动设置冲突、零配置以及采用推拉式方法进行调优。
阅读更多
该课程由Richard McElreath教授，重点讲解科学模型的贝叶斯数据分析及其在生物和社会科学中的应用。课程为期十周，采用线上翻转课堂形式，每周发布两节预录视频，并在线讨论。课程使用《统计反思》第二版教材，涵盖模型构建、因果推断、高维数据处理等内容，并提供R语言代码示例及其他语言版本。课程注册已满。
阅读更多
该项目发布于GitHub，是1991年Autodesk DOS程序“James Gleick的混沌：软件”的免费开源版本。该软件由Josh Gordon、Rudy Rucker和John Walker编写，包含六个模块：Mandelbrot集、磁铁摆、奇异吸引子、巴恩斯利分形、分形锻造和玩具宇宙。用户可以在DOSBox中运行该程序，并可以自由修改和上传新版本。
阅读更多
NumPyro是一个轻量级的概率编程库，它为Pyro提供NumPy后端，并依赖JAX进行自动微分和JIT编译到GPU/CPU/TPU。它支持多种推理算法，特别是MCMC算法，如NUTS、HMC、MixedHMC和HMCECS，以及变分推理。NumPyro提供了类似于PyTorch的distributions模块，并支持使用TFP的分布。它还提供了类似Pyro的效果处理器，用户可以轻松扩展它以实现自定义推理算法和实用程序。文章用一个8所学校的例子演示了NumPyro的使用，包括模型定义、MCMC推理、非中心参数化以及使用Predictive类进行预测。
阅读更多
HCC是一款能够将C代码编译成SPIR-V的C编译器，用于Vulkan图形API。它允许在CPU和GPU代码之间共享结构体、枚举和函数。HCC专注于GPU编程的未来，设计围绕无绑定资源和标量对齐等特性。该项目目前处于alpha阶段，支持Windows和Linux，目标是C11支持，并包含数学库。它还提供了一些示例和一个playground应用程序。
阅读更多
ZQDGR (Zoe's Quick and Dirty Golang Runner) 是一个简单的工具，允许用户像使用 npm 一样运行 Go 项目。它可以监控文件并在修改时重新构建项目，还包含一个可选的 WebSocket 服务器，用于通知监听器 rebuild 事件，这对于使用 Go 进行 Web 开发时的实时重新加载非常有用。
阅读更多
Go-Taskflow是一个受taskflow-cpp启发的Go通用任务并行编程框架，集成了可视化工具和分析器。它利用Go的原生并发模型和简单的编程接口，简化了复杂任务依赖管理。该框架支持静态任务、条件节点、嵌套子流程和循环流程，并提供优先级任务调度。内置的可视化和分析工具有助于调试和优化。适用于数据流水线、工作流自动化和并行任务等场景。
阅读更多
FreeTOWNSOS是一个旨在构建一个无版权的FM Towns OS的开源项目，目标是运行免费游戏、复刻游戏以及全新开发的FM Towns游戏，无需担心原版Towns OS的版权问题。目前该项目已成功运行一些热门免费游戏，如Panic Ball 2、VSGP和Sky Duel。项目使用了如ORICON、Free386、YAMAND.COM和YSDOS.SYS等外部程序或库。
阅读更多
Kyanos是一款基于eBPF的网络问题分析工具，可以捕获HTTP、Redis、MySQL等网络请求，并分析网络异常问题。它提供强大的流量过滤功能，支持按进程、容器、L7协议、请求/响应大小、延迟等过滤。与tcpdump不同，Kyanos支持聚合捕获的数据包指标，并提供内核级别的延迟细节，以可视化方式展示数据包从网卡到内核socket缓冲区的过程。该工具轻量级，几乎无依赖，并支持SSL流量自动解密。
阅读更多
emiT-C是一款允许变量进行时间旅行并修改过去的实验性编程语言。通过“warps”关键字，变量可以回到之前的“time”点，创建新的时间线并改变程序执行流程。变量有生死状态，被“kills”的变量将永久失效，除非有其他变量回溯阻止其死亡。这种机制容易造成悖论和时间循环，需要谨慎处理。该项目目前处于早期阶段，功能尚在完善中，例如变量间冲突处理、逻辑非运算符等。
阅读更多
pex是一个用于创建.pex文件的工具，.pex文件是一种类似于virtualenvs的可执行Python环境。它简化了Python应用程序的部署，使其像复制文件一样简单。pex文件可以包含多个特定于平台的Python发行版，这意味着单个pex文件可以跨Linux和OS X移植。pex工具可以用来构建pex文件，一些构建系统如Pants、Buck和{py}gradle也支持直接构建.pex文件。
阅读更多
Scooter是一款交互式终端查找和替换工具。它支持使用固定字符串或正则表达式进行搜索，输入替换内容，并交互式地切换要替换的实例。用户还可以指定文件路径的正则表达式模式进行搜索。Scooter 能够识别 .gitignore 和 .ignore 文件。如果尝试替换的实例自搜索执行后已更改（例如切换分支后该行不再存在），则不会进行替换，并在最后显示所有此类情况。
阅读更多
Seer是一个面向GDB的Linux图形用户界面前端。它旨在提供一个简单而美观的GDB界面，方便用户进行调试工作。Seer支持多种功能，包括查看源代码、函数、变量、寄存器、堆栈信息、线程信息、内存、汇编代码等。此外，Seer还支持设置断点、观察点、捕获点和打印点，以及执行手动GDB命令。Seer可以通过包管理器或从源码安装，并支持Qt6和Qt5构建。
阅读更多
该项目使用 Avalonia 和 C# 重现了经典的 Visual Basic 6 IDE 和语言，并提供 Web 版本。它支持可视化设计器、以 VB6 兼容格式保存和加载项目、运行项目以及部分 VB6 语言。构建桌面版本需要 .NET 9.0，也可以修改为 .NET 8.0。该项目是一个有趣的玩具项目，没有商业用途。
阅读更多
json.cpp是一个用于经典C++的JSON解析/序列化库，旨在提供比nlohmann/json更快、编译速度更快、代码更少、更符合JSONTestSuite标准的替代方案。它依赖于Google的double-conversion库，可以高效地序列化32位浮点数。基准测试显示，json.cpp在解析和序列化方面比nlohmann/json快2-3倍，编译速度快10倍，代码量少10倍。该库已在llamafile项目中使用，并通过了JSONTestSuite的大部分测试用例。
阅读更多
AFFiNE 发布了 0.18.0 版本，该版本包含众多功能更新、错误修复和性能优化。功能更新方面，新增了特性记录、用户内容与提示分离、验证码刷新、Copilot指标、导入模态框、快照导入导出配置等。错误修复方面，解决了消息附件合并、AI文本渲染器规格、文档无边距颜色主题、打开应用卡片样式等问题。此外，还对移动端、electron、服务器等方面进行了优化。
阅读更多
FusionAuth JWT 是一个简单易用的 Java 8 JWT 库，具有快速和易于使用的特点，仅依赖于Jackson，不依赖于Bouncy Castle、Apache Commons或Guava。它支持 HMAC、RSA 和椭圆曲线签名和验证JWT，以及 RSA-PSS 签名。该库提供PEM解码/编码、JSON Web Key构建和解析、密钥对生成、x5t 和 x5t#256 值生成等辅助功能。可以通过 Maven、Gradle 或 Savant 获取该库。
阅读更多
go-safeweb 是 Google 开源的一个 Go 语言库集合，用于构建默认安全的 HTTP 服务器。该项目旨在通过默认应用安全机制，简化安全 HTTP 服务器的开发，并提供易于审查、跟踪和限制不安全使用的机制。go-safeweb 致力于解决 XSS、XSRF、CORS 等安全问题，并提供基础设施以应对其他安全挑战。目前项目处于早期阶段，暂不接受外部贡献。
阅读更多
该GitHub仓库包含论文“使用局部消息为任何内容添加水印”的官方实现和预训练模型。该方法允许将（可能多个）局部水印嵌入到图像中。仓库提供了Python环境配置、模型权重下载链接、使用方法和训练代码示例。此外，还介绍了单水印和多水印嵌入、检测和解码的脚本示例，以及用于鲁棒性和多水印嵌入的预训练和微调的训练代码。
阅读更多
该项目使用树莓派 Zero 创建一个蓝牙 USB HID 中继，允许用户在禁用蓝牙的计算机上使用蓝牙键盘和鼠标。它将树莓派配置为复合 USB HID 设备，桥接蓝牙外设和计算机。项目包含设置脚本、Go 程序、systemd 服务等组件，支持 Windows、Mac 和 Linux 系统。但项目仍处于实验阶段，用户需谨慎操作，并对 Linux 系统管理和 USB 配置有一定了解。
阅读更多
HyperDX 是一个开源可观测平台，利用 Clickhouse 和 OpenTelemetry，将会话回放、日志、指标、跟踪和错误统一起来，帮助工程师快速解决生产问题。v2 版本目前处于本地模式 Beta 阶段，支持 OpenTelemetry 以及多种语言和平台，可通过 Docker 运行。HyperDX 提供直观的全文搜索和属性搜索语法，并针对 Clickhouse 进行了优化，以实现快速搜索和可视化。它还支持实时日志和跟踪，以及从 HTTP 请求到数据库查询的健康和性能监控。HyperDX 以 MIT 许可证开源，同时也提供云托管服务。
阅读更多
pgpdf 是一个 PostgreSQL 扩展，它提供了一个 pdf 数据类型和相关的函数。用户可以将文本路径或 bytea blob 转换为 pdf 类型。该扩展利用 poppler 库进行 PDF 解析，并提供了一系列函数，例如获取标题、作者、页数、页面内容、创建者、关键字、元数据、版本、主题、创建时间和修改时间等。此外，pgpdf 还支持全文搜索。需要注意的是，将任意二进制数据（PDF）读入数据库可能存在安全风险，建议仅对受信任的文件使用。
阅读更多
该项目基于IBM 5170 AT PC设计了一款ATX架构的80286主板，并已成功构建并运行于20MHz CPU速度。该设计包含一个全尺寸ATX主板和一个ISA内存卡，主板提供IDE接口、SCSI接口、软驱接口、Realtek LAN、USB转串口鼠标接口、LPT端口以及ATX电源控制等功能。ISA内存卡可支持最高15MB SRAM，提供640KB常规内存、128KB UMB内存以及14MB XMS内存。该项目旨在纪念历史计算机设计，并供电子爱好者学习和体验。设计者详细介绍了项目的设计过程、灵感来源、技术细节以及注意事项，并对帮助过他的人表示感谢。
阅读更多
SHFLA (Shoegaze Hierarchical Fractal Language Architecture) 是一款开源项目，它将音乐实时转换为动态的Julia集分形视觉效果。该项目提取音乐的音高、频谱质心、色度等特征，并将其映射到分形参数，如颜色、亮度、对比度、边缘平滑度和复杂度等，从而生成与音乐同步变化的视觉效果。用户只需输入歌曲名称，程序即可自动下载音频并生成可视化效果。该项目还探索了利用声音进行图灵完备计算的可能性。
阅读更多
Inferit是一个可视化的LLM推理工具，其界面允许多个并排生成，方便比较不同模型、提示和采样器设置的输出。它支持与OpenAI API兼容的本地或远程后端，以及Chrome内置的LLM（Gemini Nano）。用户可以通过在线部署的实例、浏览器扩展程序或本地运行代码来使用Inferit。
阅读更多
该项目idonthavespotify提供了一个方便的工具，可以将 Spotify 链接转换成其他流媒体服务的链接，例如 Youtube Music、Apple Music、Deezer 和 SoundCloud 等。该工具支持多种适配器和 API，可以轻松地将 Spotify 音乐转换到用户偏好的平台上。
阅读更多
TinyTroupe是一个实验性的Python库，利用大型语言模型（LLM），特别是GPT-4，模拟具有特定个性、兴趣和目标的多智能体角色。这些人工代理（TinyPersons）可以在模拟环境（TinyWorld）中进行交互，例如对话、评估广告、测试软件、生成数据、提供产品反馈等。该库旨在增强人类想象力，并为商业洞察提供支持。目前仍处于早期开发阶段，API可能会有频繁更改。
阅读更多