该项目是一个基于 QUIC 协议的文件传输服务，利用 QUIC 的多路复用特性，通过多个流并发传输文件以提高速度。服务端将文件分割成多个块，客户端并发请求和接收这些块，并能在传输完成后进行 MD5 校验。
阅读更多
Fusion 是一个针对 x86-64 架构，使用 Nim 语言实现的业余爱好操作系统。该项目包含 UEFI 引导加载程序、物理内存管理器、虚拟内存管理器、单地址空间、用户模式、抢占式多任务处理、系统调用、ELF 加载程序、定时器中断等功能。未来计划实现分页机制、进程间通信、磁盘 I/O、文件系统、键盘/鼠标输入、Shell、GUI 和网络等功能。
阅读更多
Kaskade 是一款基于 Textual 构建的 Apache Kafka 文本用户界面 (TUI)，它允许用户在终端中以一种优雅的方式与 Kafka 交互和消费主题。Kaskade 提供了丰富的功能，包括主题管理、消费者视图、多种数据格式反序列化、Schema Registry 支持、Protobuf 反序列化支持等。用户可以通过命令行轻松使用 Kaskade 连接到 Kafka 集群，并执行各种操作。
阅读更多
Bio是一种类似于Scheme的实验性Lisp方言，使用Zig编写解释器。其特点包括宏、垃圾回收、错误处理、模块机制、解构和标准库。 该语言的核心是lambda表达式，标准库基于lambda表达式构建了类型和函数等语法。
阅读更多
Google Fonts 团队正在探索将字体工具和库从 Python 和 C++ 迁移到 Rust 的可行性，该项目被称为“氧化”。目标是用 Rust 重写 HarfBuzz 和部分 FreeType，以提高性能、内存安全性、代码可维护性和开发效率。该项目将分阶段进行，并优先考虑内存安全和高性能，同时会与现有工具进行性能和正确性测试。
阅读更多
Mazeppa是一款面向值调用函数式语言的全新超级编译器，它能够通过符号化地执行程序并推断运行时值的可能取值，发现程序的执行模式并将它们合成为独立的函数，从而生成更高效的代码。与之前的超级编译器不同，Mazeppa支持全套基本数据类型，允许手动控制函数展开，并且在转换过程中完全透明。文章通过多个例子展示了Mazeppa如何进行代码优化，包括消除森林砍伐、部分求值、程序特化、算法合成等，并讨论了超级编译的局限性和未来研究方向。
阅读更多
Disruptor-rs 是一个 Rust 低延迟线程间通信库，灵感来自 LMAX Disruptor。它支持单生产者单消费者、多生产者单消费者和多生产者多消费者模型，提供忙碌自旋等待策略、事件批量发布和消费、线程关联性设置以及线程名称设置等功能。Disruptor-rs 追求低延迟和高吞吐，基准测试结果显示，它在不同负载情况下都优于 Crossbeam，尤其在批量发布事件时性能更佳。
阅读更多
gpu.cpp 是一个轻量级 C++ 库，它简化了使用 WebGPU 进行的便携式 GPU 计算。它专注于通用的原生 GPU 计算，利用 WebGPU 规范作为便携式底层 GPU 接口，可以在 Nvidia、Intel、AMD 和其他 GPU 上运行。它具有轻量级、快速迭代和低开销的特点，只需标准的 C++ 编译器即可构建。
阅读更多
这篇文章介绍了一个名为“gm”的R语言包，该包用于音乐创作。用户可以使用该包创建音乐，示例代码展示了如何创建一个包含特定音符和节拍的简单音乐片段。该包依赖于MuseScore，这是一个开源且免费的音乐符号软件。
阅读更多
Transformers.js 是一个功能强大且易于使用的库，可以直接在浏览器中运行最先进的机器学习模型，无需任何服务器。它支持多种任务，包括自然语言处理、计算机视觉和音频处理，并使用ONNX Runtime 在浏览器中运行模型。 用户可以轻松地将预训练的 PyTorch、TensorFlow 或 JAX 模型转换为 ONNX，并在 Transformers.js 中使用。
阅读更多
Syncthing 是一款开源的持续文件同步程序，可以在两台或多台计算机之间同步文件。其主要目标是确保数据安全，防止数据丢失和攻击，同时易于使用和自动化运行。Syncthing 适用于各种常见计算机，并提供多种GUI实现。
阅读更多
BitWHIP是一个用Rust编写的命令行WebRTC代理，可以实现低延迟桌面推流、播放WebRTC视频流等功能。它支持WHIP/WHEP协议，可以与OBS、FFmpeg、GStreamer等工具和库进行互操作。
阅读更多
Lldap 是一款轻量级身份验证服务器，提供简化的 LDAP 接口，用于身份验证。它可以与 KeyCloak、Authelia、Nextcloud 等多种后端集成，并带有一个易于使用的 Web 前端，用于用户管理、信息编辑和密码重置。Lldap 主要面向使用 Nextcloud、Airsonic 等开源组件的自托管服务器，并支持 SQLite、MySQL/MariaDB 或 PostgreSQL 作为数据存储后端。
阅读更多
本文介绍了一个名为“cel-rust”的GitHub项目，这是一个用Rust语言编写的通用表达式语言（CEL）解释器。CEL是一种非图灵完备的语言，其设计目标是简单、快速、安全和可移植。该项目提供了一个CEL解析器和解释器，可以用于评估CEL表达式。
阅读更多
Dravid (DRD) 是一款基于人工智能的命令行编码框架，旨在简化和增强开发流程。它利用人工智能帮助开发者完成从项目设置到代码生成和文件管理的各种任务。Dravid 提供了高效的编码和项目管理功能、图像查询处理、强大的文件操作和元数据管理、与外部 API 的集成、内置开发服务器以及全面的错误处理和报告功能。
阅读更多
Dropbase是一个本地优先、自托管的开源平台，利用AI帮助开发者更快地构建和原型化Web应用程序。它提供了一个内置的Web框架和预构建的UI组件，开发者可以使用代码编写任何自定义业务逻辑，而无需处理前端库。Dropbase允许开发者通过AI生成、验证和编辑应用程序代码，使构建和定制应用程序变得容易。
阅读更多
Perspective 是一款交互式分析和数据可视化组件，特别适用于大型和/或流数据集。它可以用于创建用户可配置的报告、仪表板、笔记本和应用程序，然后在浏览器中独立部署，或与 Python 和/或 Jupyterlab 协同部署。Perspective 具有用 C++ 编写的快速、内存高效的流查询引擎，为 WebAssembly 和 Python 编译，具有针对 Apache Arrow 的读/写/流式传输功能，以及基于 ExprTK 的高性能列式表达式语言。
阅读更多
Tau 是一个开源的分布式平台即服务 (PaaS)，可以替代 Vercel、Netlify 和 Cloudflare 等平台。它提供了一个本地编码等于全球生产的环境，具有最小的配置要求、Git 原生集成、内容寻址存储和基于 WebAssembly 的计算能力。Tau 还支持通过其插件系统进行扩展，并提供用于本地开发和端到端测试的工具。
阅读更多
这篇技术文章介绍了如何使用少量的Go语言代码构建一个简单的容器，该项目曾在DockerCon 2017和O'Reilly Safari上展出。代码利用了Go语言的系统调用能力，实现了容器的核心功能，但也需要root权限才能运行。
阅读更多
本文介绍了名为 maciNTosh 的开源项目，该项目将 PowerPC Windows NT 移植到 Power Macintosh 系统上。文章详细描述了该项目的硬件支持情况、安装步骤、软件兼容性、已知问题、双启动系统的配置方法以及如何构建 ARC 固件。
阅读更多
AWS Secrets Manager Agent 是一款客户端 HTTP 服务，用于在 AWS Lambda、Amazon ECS、Amazon EKS 和 Amazon EC2 等环境中标准化从 Secrets Manager 使用密钥。它能够检索密钥并将其缓存在内存中，使应用程序可以直接从缓存中使用密钥，无需直接调用 Secrets Manager。该代理使用您在环境中提供的 AWS 凭证来调用 Secrets Manager，并提供针对服务器端请求伪造 (SSRF) 的保护，支持通过配置最大连接数、生存时间 (TTL)、本地主机 HTTP 端口和缓存大小等参数来自定义其行为。
阅读更多
Jurigged 是一款 Python 热重载工具，它允许你在代码运行时对其进行更新。该工具使用简单，只需使用 jurigged 命令运行脚本即可。Jurigged 会监控代码文件的变化，并在你保存文件时将更新后的函数或方法热更新到正在运行的脚本中。Jurigged 还提供了一个名为 develoop 的终端界面，可以实现交互式开发环境，方便开发者实时调试代码。
阅读更多
mandala是一个实验跟踪框架，它通过@op装饰器自动捕获Python函数调用的输入、输出和代码依赖，并通过ComputationFrame数据结构自动将代码执行组织成计算图。它可以自动复用过去的结果，避免重复计算，并支持版本控制和查询。与其他实验跟踪框架相比，mandala更细粒度地集成到Python代码执行中，并提供更强大的查询和操作功能。
阅读更多
本文介绍了如何使用llm.c在单个8卡H100节点上，花费24小时，复现GPT-2 (1.6B)模型。文章详细介绍了训练过程、参数设置、内存优化技巧以及与PyTorch实现的性能比较。此外，还展示了模型在FineWeb-EDU验证集和HellaSwag评估集上的性能表现，并讨论了模型训练的稳定性问题以及未来的改进方向。
阅读更多
eCapture 是一款使用 eBPF 技术，无需 CA 证书即可捕获 SSL/TLS 明文的工具。它支持 Linux/Android x86_64 4.18 及以上、aarch64 5.5 及以上内核版本，但不支持 Windows 和 macOS 系统。eCapture 提供多种功能，包括捕获 OpenSSL、GnuTLS、NSPR、BoringSSL 和 GoTLS 等加密库的明文，以及对 Bash、MySQL 和 PostgreSQL 应用进行软件审计。
阅读更多
由于谷歌Play商店拒绝授予Syncthing访问设备存储的权限，Syncthing Android 应用将暂停在该平台发布更新。开发者已多次与谷歌方面沟通，但未得到有效回应。建议用户转向F-Droid平台获取Syncthing更新。
阅读更多
Korvus 是一款开源 RAG 搜索 SDK，基于 Postgres 构建，可将整个 RAG 流程整合到单个数据库查询中。它支持 Python、JavaScript、Rust 和 C 等多种编程语言，并提供嵌入生成、向量搜索、重新排序、文本生成等功能，所有操作都通过高效的 SQL 查询在 Postgres 数据库中执行，具有高性能、可定制化和易于扩展等优点。
阅读更多
这篇GitHub帖子讨论了开发者对 WebView2 支持 macOS 的强烈需求。开发者认为这将为跨平台 Electron 应用开发带来巨大改变。尽管微软最初计划优先支持 macOS，并在 2023 年 3 月表示 macOS 版本即将推出，但微软最终于 2024 年 7 月宣布放弃在 macOS 和 Linux 上公开发布 WebView2，理由是将资源集中在目前支持的平台上。
阅读更多
这是一个GitHub项目，名为“python_neural_network”，作者是tonio-m。该项目使用60行Python代码实现了一个用于识别手写数字的简单神经网络模型，并使用了MNIST数据集进行训练和测试。 该项目没有任何外部依赖，旨在为教育目的提供一个简洁易懂的神经网络实现示例。
阅读更多