Systemd-detect-fash: utility to detect problematic software and configurations6 months agohttps://github.com/systemd/systemd/pull/39285一款名为'detect-fash'的新工具被推出。该工具会扫描系统中与法西斯意识形态相关的软件和配置。它有助于识别可能干扰systemd工具的不良或恶意活动。
Tauri binding for Python through Pyo36 months agohttps://github.com/pytauri/pytauriPyTauri通过Pyo3为Tauri提供Python绑定，使Python开发者能够利用Tauri的功能特性该项目为开源项目，鼓励社区贡献并通过点星（star）支持项目发展提供是否使用Rust编译器的灵活选择，包含纯Python环境下的wheel安装选项支持与tauri-cli集成构建独立可执行文件，并可通过Cython实现源代码保护核心特性包括零IPC开销、完整支持Tauri插件体系、原生异步Python支持致力于实现100%类型完备性，并提供接近Tauri原生Rust API的符合人体工程学的接口设计提供与前端框架及nicegui/gradio/FastAPI等Python库的集成示例遵循语义化版本控制2.0.0规范，确保Rust与Python组件的版本号严格同步旨在成为pywebview和Pystray的替代方案，充分发挥Tauri的全功能优势非Tauri官方认证项目，采用Apache License 2.0开源协议授权
Edge AI for Beginners6 months agohttps://github.com/microsoft/edgeai-for-beginnersEdgeAI入门指南：分叉并克隆代码库，加入Azure AI Foundry的Discord社区课程涵盖从基础到生产的Edge AI全流程，包括小型语言模型(SLMs)、硬件优化、实时推理和部署策略Edge AI优势：隐私与安全、实时性能、成本效益、弹性运营和法规合规性Edge AI定义：在设备本地运行AI，实现低延迟、隐私保护和离线能力Phi-4/Mistral-7B/Gemma等SLM专为边缘部署优化，降低内存和计算需求课程模块：EdgeAI导论/SLM模型基础/部署实践/模型优化工具包/SLMOps生产/AI智能体/平台实现/本地工具包实践项目：本地AI聊天应用/RAG流水线/多智能体系统/模型路由器和API框架学习路径：初级(7-9小时)/中级(9-11小时)/高级(12-15小时)/专家(8-10小时)应用场景：制造业/医疗健康/自动驾驶/智慧城市/移动应用附加资源：学习指南/多语言翻译/其他入门课程链接
Wireguard FPGA6 months agohttps://github.com/chili-chips-ba/wireguard-fpgaVPN是互联网安全的核心工具，通过创建加密隧道实现安全通信。Wireguard正逐渐成为替代传统VPN方案（如OpenVPN/IPSec）的现代化安全协议。现有Wireguard实现存在痛点：软件方案速度慢，硬件方案成本高且闭源。本项目旨在通过SystemVerilog硬件描述语言开发开源的Wireguard FPGA实现。项目聚焦低成本方案，采用Artix7 FPGA等廉价硬件与开源工具链。第一阶段为概念验证，第二阶段计划进行性能优化并整合社区反馈。架构包含控制平面（基于RISC-V CPU的软件层）和数据平面（FPGA硬件加速层）。核心组件包括ChaCha20-Poly1305加密算法、Curve25519密钥交换和BLAKE2哈希算法。测试方案涵盖功能验证与性能评估，并计划为开发者提供远程实验室访问。本项目由NLnet基金会赞助，并获wyvernSemi公司技术支持。
M*LIB The STL library for modern C6 months agohttps://github.com/P-p-H-d/mlibM*LIB是一个用纯C语言(C99/C11)编写的通用且类型安全的容器/数据结构库。它提供了与C++ STL类似的大量容器集合。该项目托管在GitHub上，仓库名为'P-p-H-d/mlib'。
Show HN: I made an esoteric programming language that's read like a spellbook6 months agohttps://github.com/sirbread/spellscriptSpellscript是一种深奥的编程语言，设计成类似魔法咒语的形式。程序被称为'咒语'，书写于'魔法书'中，无需换行或缩进。变量通过'以10之精粹召唤x'声明，相当于传统代码中的'x = 10'。支持动态类型，变量可通过'以20附魔x'修改。数组被称为'集合'，可容纳多个值。函数称为'仪式'，必须至少有一个参数。条件语句和循环以诗意风格书写，例如'若征兆示x等于5则'表示if语句。字符串操作通过'"文本"之低语'表示字符串。用户输入通过'将"提示"之低语询入x'捕获。输出通过'铭刻"力量已增强："之低语与结果绑定'生成。该语言缺乏嵌套数组、字符串索引、取模运算符、循环中的break/continue、注释和递归等功能。可通过Python脚本运行.spell文件来执行Spellscript。该语言灵感源自Muffin编程语言，并利用AI调试解释器问题。
Show HN: rift – a tiling window manager for macOS6 months agohttps://github.com/acsandmann/rift包括平铺式（类似i3/sway）和二叉空间分割（类似bspwm）在内的多种布局风格菜单栏图标显示工作区和布局MacOS风格的任务控制，用于可视化工作区导航鼠标焦点跟随并自动提升窗口拖拽窗口以交换位置高性能动画效果支持触控板手势切换工作区支持热重载配置可与Sketchybar等第三方程序互操作提供CLI和mach端口用于发送请求启动、工作区切换和窗口变更时发送信号无需禁用系统完整性保护（SIP）支持'显示器具有独立空间'设置处于活跃开发阶段，尚未正式发布欢迎提交问题报告和拉取请求基于glide-wm分支，使用通过yabai逆向工程的私有API
Microsoft Amplifier6 months agohttps://github.com/microsoft/amplifierAmplifier是一个研究性演示工具，通过专业知识、自动化流程和已验证模式来增强AI编程助手的能力。包含20多个专项智能体，覆盖架构设计、调试纠错、安全防护等开发任务。核心功能包括预加载上下文、并行工作树系统、知识提取引擎和对话记录追踪。运行环境要求Python 3.11+、UV工具链、Node.js、VS Code及Git版本控制系统。支持通过隔离式工作树实现多方案并行开发验证。知识提取功能能将文档转化为可查询的关联知识网络。自动生成的对话记录会在信息压缩前完整保存上下文。模块化构建流程实现从创意到落地的全自动化。提供可视化工具支持无代码化的方案构思、工具构建及迭代优化。当前为实验性系统，稳定性不作保证，暂不接受外部代码贡献。
Windows Subsystem for FreeBSD (WSFB)6 months agohttps://github.com/BalajeS/WSL-For-FreeBSD在WSL2上运行FreeBSD的实验性项目，对FreeBSD基础系统仅需最小改动。目标包括让FreeBSD原生支持WSL2运行环境，并将改进贡献回开源组件。当前进展包括成功启动系统、基础功能实现，网络、I/O和进程管理功能持续开发中。已实现特性包含初始启动支持、完整控制台命令执行，网络支持功能正在开发。欢迎通过反馈意见、测试协助、缺陷报告和技术讨论等形式参与贡献。本项目为开源项目（许可证待定），与微软及FreeBSD官方组织无隶属关系。
Automated code reviews via mutation testing6 months agohttps://github.com/mbj/mutantMutant是一款自动化代码审查工具，能像专家开发者一样在确保测试通过的同时简化代码它帮助识别冗余代码或缺失测试，从而用更少代码实现更高可靠性作为变异测试工具，Mutant能提供类似代码审查标记的可操作反馈支持的Ruby版本包括cRUBY/MRI 3.2、3.3和3.4，其他版本提供实验性支持开源项目可免费使用Mutant，商业用途需订阅授权采用订阅制定价，支持美元/欧元的月付或年付方式商业用户需提供企业信息，欧盟客户还需提供增值税号Mutant的开发受益于社区贡献和多机构赞助支持由Schirp DSO LTD维护，文档中提供联系方式和办公地址信息
Show HN: I extracted BASIC listings for Tim Hartnell's 1986 book6 months agohttps://github.com/nzduck/hartnell-exploring-ai-book资源库包含Tim Hartnell所著《在IBM PC上探索人工智能》一书中BASIC源代码的可编辑电子副本。提供开箱即用的运行时环境（含PC-BASIC），便于程序直接运行。源代码按章节组织，涵盖多种AI主题，如井字棋学习、类ELIZA聊天机器人和专家系统。程序专为IBM BASICA/GW-BASIC编写，支持IBM PC特有命令和40列显示模式。推荐替代BASIC解释器：DOSBox+GW-BASIC、QB64和FreeBASIC。该书通过BASIC编程实例介绍人工智能基础概念。提供的源代码用于教育目的和历史存档。欢迎遵循原始代码结构与风格的规范进行贡献。
Markdown2pdf – pure md to pdf transpiler implementation in Rust6 months agohttps://github.com/theiskaa/markdown2pdfmarkdown2pdf 是一个将Markdown转换为PDF的命令行工具和库它使用词法分析器解析Markdown，并通过PDF模块生成文档支持通过TOML配置文件自定义字体、颜色、间距和排版属性提供二进制程序和库两种形式，基于Rust构建以确保性能和内存安全支持完整的Markdown语法，包括标题、列表、代码块、链接和图片支持多种安装方式：Homebrew、Cargo或各平台预编译二进制文件命令行支持文件路径、直接字符串内容或URL作为输入源库函数包含parse_into_file()和parse_into_bytes()以实现灵活的PDF生成配置方式支持默认值、文件配置或嵌入式配置（适用于独立可执行文件）高级用法允许直接与词法分析器和PDF生成组件交互具备优雅的错误处理机制，遇到配置问题时自动回退到默认样式
Show HN: Cjam – a modern MP3 file editor6 months agohttps://github.com/cutandjoin/Cjam/releases/tag/v2230Cjam是一款适用于Windows的简易MP3编辑工具。该软件并非开源软件。其源代码不向公众开放使用。官方网站：https://cjmapp.net/论坛地址：https://forum.cjmapp.net/
We are open sourcing The Mathematical Universe6 months agohttps://github.com/UOR-Foundation/atlas-embeddings黄金种子分形是96重自相似的共振类图谱可视化结构共振类图谱作为96顶点图，通过范畴运算构建所有五种例外李群（G₂, F₄, E₆, E₇, E₈）的基础框架黄金种子向量是E₈根系中的96维构型，完整编码了例外李群层级结构该分形具有三大特征：96重自相似性、≈4.155的分形维数、8重旋转对称性应用领域涵盖量子计算、人工智能、物理学与去中心化系统，提供结构化嵌入空间与对称性框架项目采用Rust语言实现精确运算，通过Lean 4进行形式化验证，并配备完整文档体系图谱从第一性原理推导而来，作为作用泛函的稳态构型确保数学严谨性代码库设计符合学术评审标准，所有数学命题均可通过测试代码验证，测试用例即形式证明
Patina: a Rust implementation of UEFI firmware6 months agohttps://github.com/OpenDevicePartnership/patinaPatina是一个基于Rust实现的UEFI固件项目，旨在用纯Rust替代基于C的组件以提升安全性和稳定性。该项目目前处于测试阶段，欢迎进行平台测试和集成反馈。发布流程包括在GitHub上审查草稿版本、更新版本号以及监控发布工作流。文档可在代码库中获取，并支持通过mdbook工具自行托管。安装需要Rust环境及cargo-make、cargo-llvm-cov等附加工具。Patina支持三种构建目标：aarch64、x64或本机架构，提供开发版和发布版选项。测试涵盖单元测试与实机平台测试，支持覆盖率统计和基准测试命令。Rust版本应每季度更新一次，由贡献者团队审查合并拉取请求。近期工作重点聚焦稳定性提升、功能扩展（组件增长和MM Core支持）及生态集成。鼓励社区贡献以加速重点领域的开发进度。
ThalamusDB: Query text, tables, images, and audio6 months agohttps://github.com/itrummer/thalamusdbThalamusDB是一个支持多模态数据语义运算符SQL查询的近似处理引擎使用pip安装ThalamusDB：`pip install thalamusdb`设置API密钥环境变量，例如：`export OPENAI_API_KEY=[您的密钥]`通过DuckDB数据库文件和模型配置运行ThalamusDB控制台示例数据库`cars.db`包含带有文本描述和图片路径的表格支持语义查询，如`nlfilter(pic, '图片中的车是红色的')`可处理文本、图像及以文本列路径存储的音频文件支持两种语义过滤运算符：`NLfilter`和`NLjoin`模型配置文件指定不同数据类型和运算符对应的模型专为近似处理设计：聚合查询显示误差范围，检索查询显示交集行误差范围帮助追踪精确结果的逼近进度可配置停止标准包括最大时间、LLM调用次数、token数和误差阈值文档和示例详见GitHub和Google Colab
Distributed Rate Limiter – Production-ready token bucket implementation6 months agohttps://github.com/uppnrise/distributed-rate-limiter采用令牌桶算法并基于Redis的高性能分布式限流器。支持每秒50,000+请求，P95延迟低于2毫秒。功能包括分布式状态、线程安全和丰富的指标统计。提供全面的监控、健康检查和可观测性支持。灵活的配置选项，支持按键限流和动态规则调整。经过265+项严格测试，包括集成测试和负载测试。容器化就绪，支持Docker和多阶段构建。通过Swagger UI提供交互式API文档。多语言客户端集成：Java/Spring Boot、Python、Node.js、Go。详尽的部署指南、配置说明、性能优化和负载测试文档。
Show HN: Modeling the Human Body in Rust So I Can Cmd+Click Through It6 months agohttps://github.com/lantos1618/open_human_ontology采用Rust构建的全面、类型安全的人体生物学计算模型包含13个完整器官系统及其详细功能由313个Rust源文件组成，约10万行代码支持生物系统的模拟、分析与诊断包含心血管、呼吸、神经等系统的详细模型提供BMI、心输出量、肾小球滤过率等健康指标MIT开源协议，欢迎贡献代码通过临床标准和医学文献验证持续开发中，当前版本0.1.0（2025年10月10日）
A Library for Parsing Dutch Smart Meter Requirements (DSMR)6 months agohttps://github.com/mijnverbruik/dsmr用于解析荷兰智能电表需求(DSMR)电报数据的库支持荷兰、比利时和卢森堡使用的DSMR 4.x和5.x协议将电报解析为Elixir结构体，便于集成到应用程序中电报包含电力和燃气消耗量、电压、停电日志等信息通过Decimal依赖项可选支持高精度小数通过unknown_fields优雅处理未知OBIS代码包含校验和验证和数值精度控制功能可将解析后的结构体转换回原始字符串表示形式错误处理包括无效校验和和语法错误采用Apache 2.0开源协议，欢迎社区贡献
Show HN: Gitcasso – Syntax Highlighting and Draft Recovery for GitHub Comments6 months agohttps://github.com/diffplug/gitcassoGitHub等支持Markdown的网站上评论的语法高亮和自动保存功能。关于语法高亮和人生目的的引述，与评论草稿相关。鼓励通过参考CONTRIBUTING.md来贡献或修复问题。感谢overtype提供的textarea语法高亮，highlight.js提供的语法高亮器，以及Yukai Huang整合两者的PR（拉取请求）。