rust-bfield是一个Rust库,实现了B-field概率性键值数据结构,用于高效存储键值对。它具有高空间效率、快速查询速度和可控的错误率。文章详细介绍了B-field的设计原理、实现细节、参数选择和应用场景。与Bloom过滤器类似,B-field使用多个哈希函数将键映射到位数组,但它还编码值信息以支持键值对存储。文章还讨论了B-field的错误类型,包括假阳性和不确定性错误,并解释了如何通过构建额外的位数组来降低这些错误。
这篇GitHub项目介绍了“Tensor Puzzles”,这是一套包含21个张量谜题的练习集,旨在帮助学习者提升PyTorch或NumPy等张量编程语言的技能。这些谜题要求在不使用任何库函数的情况下,仅使用广播机制和基本操作符来实现NumPy标准库中的函数。项目提供了详细的说明和示例,鼓励学习者通过解决这些谜题来深入理解张量编程的核心概念。
Neosync是一个开源工具,旨在帮助开发者进行数据匿名化、生成合成数据并同步环境,以提升测试、调试和开发体验。它可以用于安全地测试代码、轻松复现生产环境错误、修复损坏的测试环境、减少合规范围以及为开发数据库提供种子数据等。Neosync 提供了基于声明式 GitOps 配置的完整异步管道,并支持多种数据源和自定义转换器。
PBT 是一个 Ruby 的基于属性的测试工具,支持多种并发方法(Ractor、多进程、多线程)。它允许开发者指定代码应遵循的一般特征,然后自动生成各种输入来验证这些属性,从而更有效地发现传统测试方法可能遗漏的边缘情况和错误。
CodiumAI Cover-Agent 是一款开源工具,旨在利用生成式 AI 自动化和增强测试(目前主要是单元测试)的生成,从而简化开发流程。它可以从终端运行,并计划集成到流行的 CI 平台中。Cover-Agent 通过分析代码库、生成测试提示并与大型语言模型(LLM)交互来自动创建单元测试,从而提高代码覆盖率。
Mactop是一款专为苹果芯片设计的终端监控工具,使用纯Golang编写,代码不到1000行。它可以实时显示CPU和GPU使用情况、E核心和P核心、功耗以及其他系统指标。Mactop支持macOS Monterey 12.3+及以上版本,并可通过Homebrew轻松安装。
Alacritty 是一款现代终端模拟器,具有合理的默认设置,但也允许进行广泛的配置。它通过与其他应用程序集成,而不是重新实现其功能,从而设法以高性能提供灵活的功能集。Alacritty 支持 BSD、Linux、macOS 和 Windows 平台,被认为处于测试阶段;还有一些缺失的功能和错误需要修复,但它已经被许多人作为日常驱动程序使用。
Podly Pure Podcasts 是一款可以创建无广告私人 RSS Feed 的播客广告拦截器。它可以下载指定音频、转录内容、利用 Chat GPT 标记广告片段、移除广告片段,最终为你提供无广告版本的播客。
Tillywork 是一个开源工作管理平台,旨在满足动态团队的需求。该平台提供三大模块:项目管理、销售 CRM 和敏捷项目管理,分别用于管理项目进度、资源分配和交付成果监控,以及客户关系管理、销售跟踪和绩效分析,以及产品路线图、冲刺计划和问题跟踪。Tillywork 采用直观的 Material 3 用户界面,并允许用户根据自身需求进行定制和扩展。
Openpanel 是一款开源的数据分析工具,可以记录网页、应用程序和后端的事件。它结合了 Mixpanel 和 Plausible 的优点,提供可视化图表、漏斗分析、用户历史记录等功能。Openpanel 符合 GDPR 标准,支持云端或自托管,具有实时事件跟踪、无 cookie 和隐私友好等特点。
微软 Phi-3 食谱是一本关于如何使用微软 Phi-3 系列的指南。Phi-3 是由微软开发的一系列开放式人工智能模型,是最强大且经济高效的小型语言模型 (SLM),在各种语言、推理、编码和数学基准测试中优于同等规模和更大规模的模型。
本文介绍了一个名为“Educator Tool Suite '87”的BASICA程序套件,由作者的父亲Mike Knox在20世纪80年代后期编写。该程序套件旨在自动化和简化八年级科学教学中的日常工作,例如评分测试、分配课堂和实验室座位、监控出勤率、评分测试和州立 Regents 考试等等。该程序套件包括用于评分测试、生成随机学生座位分配、处理出勤率和曲线评分的实用程序。
Oracolo 是一款由 Nostr 驱动的极简博客,仅包含一个 HTML 文件,大小约为 140Kb。它甚至可以在没有网络服务器的情况下运行;例如,您可以通过电子邮件将其作为名片发送。它使用丑陋的哈希路由来实现功能齐全的永久链接,而无需任何额外的服务器级配置来捕获所有 URL。
gifski是一个基于pngquant的最高质量的GIF编码器。它使用pngquant的强大功能将视频帧转换为GIF动画,以实现高效的跨帧调色板和时间抖动。它生成每帧使用数千种颜色的动画GIF。它是一个CLI工具,但也可以编译成C库,以便在其他应用程序中无缝使用。
noTunes 是一款 macOS 应用,可阻止 iTunes 或 Apple Music 启动。该应用提供了菜单栏图标以切换功能,用户可通过设置让其在开机时启动。此外,noTunes 还允许用户设置替代音乐应用程序或网站,以便在 iTunes/Music 尝试启动时打开。
waxolotl是一个编译为WebAssembly文本格式的小型语言。它结合了wax和wat-compiler的特点,能够在浏览器或服务器上构建独立的WASM二进制文件。
这是一个 GitHub 页面,展示了 langfuse 项目中的 careers 文件夹内容。该页面包含项目导航、操作选项、安全设置、代码空间、Copilot 功能、代码审查、问题跟踪、讨论区等信息。
OptiGraph 是一款用于地下网络图形创建和分配的应用程序,用户可以添加节点/站点到图形中并绘制它们。OptiGraph 提供了不同的算法模式,用户可以通过设置更改模式,并通过 ID 删除站点。OptiGraph 还具有使用文件菜单保存和加载图形的功能。OptiGraph 可以用于规划地铁系统,以及设计 Minecraft 活塞螺栓网络,以减少任意两个站点之间的移动空间。
这是一个极简的现代编译器示例,用易于阅读的 JavaScript 编写。 通过阅读引导代码,您将了解大多数编译器是如何端到端工作的。
Groqbook是一个streamlit应用程序,它使用Groq上的Llama3,根据一行提示构建书籍的创作框架。它适用于非小说类书籍,并在几秒钟内生成每一章。该应用程序混合了Llama3-8b和Llama3-70b,利用较大的模型生成结构,较小的模型创建内容。目前,该模型仅使用章节标题的上下文来生成章节内容。未来,这将扩展到更完整的书籍上下文,以允许groqbook也生成高质量的小说书籍。
本文介绍了作者最喜欢的 C 编程实践,涵盖了代码风格、规范、最佳实践等方面,旨在帮助开发者编写更正确、可读、简洁和易于维护的 C 代码。作者强调了代码正确性、可读性、简洁性和可维护性优先于速度,并建议在完成开发后进行基准测试以识别瓶颈并进行优化。文章还讨论了诸如使用空格、注释、命名约定、数据类型、控制结构、宏、结构体、枚举和函数等方面的最佳实践。
Devon是一款开源的结对编程工具,可以帮助开发者进行多文件编辑、代码库探索、配置编写、测试编写和错误修复等任务。它支持多种模型,包括Claude 3、Opus、GPT4-o、Grok和Ollama。Devon目前还处于早期开发阶段,但已经具备了一些基本功能。
本文介绍了一个名为 ffmpeg-english 的 Python 脚本,该脚本利用 OpenAI 的 GPT-4 模型将用户输入的英文描述转换为相应的 FFmpeg 命令。用户只需用简单的英语描述想要执行的任务,例如“capture video from the camera every 1 second and write it to jpg files”,脚本就会自动生成并执行对应的 FFmpeg 命令。
这篇文章详细介绍了如何从零开始实现Llama3模型,并逐个展示了张量和矩阵乘法的实现过程。文章首先介绍了如何从Meta提供的模型文件中直接加载张量,然后解释了如何使用Tiktoken进行文本标记化。接着,文章深入探讨了模型的各个组成部分,包括词嵌入、RMS归一化、注意力机制、RoPE位置编码、多头注意力机制、SwiGLU前馈网络以及最终的解码过程。文章通过大量的代码和图表,清晰地展示了Llama3模型的内部工作原理。
brawshot是一个用于处理Blackmagic RAW格式视频的工具,通过应用时间低通滤波器,显著降低在低光环境下拍摄视频的噪点。该工具通过计算连续视频帧的移动平均值来减少随机图像传感器噪点,但会造成运动模糊,无法消除图像传感器中的模式噪点和坏点。brawshot使用OpenGL进行GPU加速,使用32位无符号整数纹理作为渲染缓冲区,将BRAW解码器设置为解码为16位无符号整数帧,以确保累加过程的准确性。
Worklenz 是一款开源项目管理工具,旨在帮助组织提高效率。它提供了用于管理项目、任务和团队内部协作的全面解决方案,功能包括项目规划、任务管理、协作、时间跟踪和报告。Worklenz 的前端使用 Angular 构建,后端使用 TypeScript 实现的 ExpressJS,并使用 PostgreSQL 作为数据库。
retrospex是一个命令行工具,可以将图像转换为适合Commodore 64图形模式的格式。它可以与其他工具(如ImageMagick和png2prg)一起使用,将图像转换为C64可执行文件。
Netris 是一个开源的云游戏平台,允许用户与朋友一起玩游戏。它可以被看作是 GeForce NOW 的替代品,并且可以自托管。该平台目前处于实验阶段,具有 Proton-GE 兼容性、QUIC 协议支持、游戏进度自动同步、合作游戏、跨平台游戏和带宽优化等功能。用户可以选择自托管 Netris 或使用其网站 netris.me,无需安装或设置。
这篇文章介绍了如何退出 Vim 编辑器。文章详细解释了 Vim 的不同模式以及如何从这些模式中退出,包括命令模式、插入模式和可视模式。文章还提供了一些实用的技巧和快捷键,帮助用户快速有效地退出 Vim。
本文介绍了一个基于GitHub的私有证书颁发机构,它可以为需要TLS证书的本地开发环境提供服务。该方案使用openssl证书签名命令,可以在GitHub actions中运行,并将CA的私钥存储为存储库密钥,签署的证书存储为工作流运行工件。