Show HN: Re-Implementing the macOS Spatial Finder6 months agohttps://github.com/everydayanchovies/SpatialFinder脚本让macOS的Finder记住文件夹大小和位置。仅影响Documents文件夹内的目录。灵感来自Ars Technica上的一篇文章。将脚本链接到路径并执行install.sh以安装yabai规则。Finder窗口状态保存在隐藏的.framedata.json文件中。对于名称重复的文件夹，状态不会被保存或恢复。
Show HN: Pyscn – Python code quality analyzer for vibe coders6 months agohttps://github.com/ludo-technologies/pyscnpyscn通过结构分析保障代码库质量功能包括：基于控制流图(CFG)的无效代码检测、APTED+LSH的克隆代码检测、耦合度指标(CBO)计算及圈复杂度分析采用Go+tree-sitter技术实现，支持10万+行/秒的高速分析可生成HTML/JSON报告，支持按需选择分析项（复杂度/依赖关系/无效代码等）提供CI友好的质量门禁机制，支持自定义阈值通过.pyscn.toml或pyproject.toml文件配置三种安装方式：推荐pipx安装、uvx安装或源码编译附GitHub Actions集成示例，实现自动化代码质量检查MIT开源协议，提供开发指南和架构设计文档
Parrot – type-safe SQL in Gleam, supports SQlite, PostgreSQL and MySQL6 months agohttps://github.com/daniellionel01/parrotParrot被列为sqlc网站上的社区项目。支持SQLite、PostgreSQL和MySQL数据库。功能包括每个文件多个查询、与数据库客户端无关、以及为流行Gleam数据库库提供的实用封装器。自动拉取数据库架构并下载sqlc二进制文件。命名参数从SQL查询推断名称以避免混淆和错误。生成对SQL查询的类型安全访问，并将其编译到单个模块中。包含示例文件结构和用于在不同数据库上运行Parrot的命令。为lpil/pog和lpil/sqlight库提供了封装函数。提供针对PostgreSQL、MySQL和SQLite的集成测试。已知问题包括复杂数据类型问题和某些不受支持的查询注解。目前仅支持Erlang Gleam应用，但生成的代码可在JavaScript环境中运行。欢迎贡献和想法，任务在GitHub上组织管理。
Show HN: The Little Book of C6 months agohttps://github.com/little-book-of/c《C语言小书》提供多种格式：PDF、EPUB、LaTeX源码及GitHub Pages在线版使用Quarto生成所有输出格式，提供预览和渲染命令（支持HTML/PDF/EPUB/LaTeX）欢迎贡献：修正拼写、优化章节、添加图表或改进示例代码作者Duc-Tam Nguyen（2025年出版），书名《数学小书》，采用CC BY-NC-SA 4.0协议授权
Newton: physics simulation engine built upon NVIDIA Warp6 months agohttps://github.com/newton-physics/newtonNewton是一款基于NVIDIA Warp构建的GPU加速物理模拟引擎，主要面向机器人专家和仿真研究人员。它扩展了Warp已弃用的warp.sim模块，并集成MuJoCo Warp作为其主要后端。核心特性包括基于GPU的计算、OpenUSD支持、可微分性以及用户自定义扩展能力。Newton是Linux基金会项目，采用Apache-2.0许可证由社区构建和维护。由迪士尼研究院、Google DeepMind和NVIDIA共同发起。在Alpha测试阶段，建议使用uv Python包进行环境配置和示例运行。示例涵盖基础模拟场景，如钟摆、URDF模型、布料动力学等。支持通过命令行参数自定义查看器类型、计算设备、帧数及输出路径。为贡献者提供了开发指南和代码提交规范说明。社区参与者需遵守Linux基金会行为准则。
Show HN: Run – a CLI universal code runner I built while learning Rust6 months agohttps://github.com/Esubaalew/run多语言命令运行器 & 支持25+种语言的智能REPL环境基于Rust构建，专为需要跨多运行时开发的工程师设计核心特性包含统一命令行接口、持久化REPL会话及多语言示例库支持代码片段执行、通过文件扩展名自动识别语言及交互式REPL提供Cargo安装、Homebrew包管理、Debian/Ubuntu系统包、Windows(Scoop)及直接下载等多种安装方式架构设计采用真实工具链调用，保持核心轻量化涵盖脚本语言、Web开发、系统编程及编译型语言的全栈支持内置REPL会话管理、语言切换及文件执行等交互命令采用Apache 2.0开源协议，积极鼓励社区贡献
Use theorem provers to ensure the correctness of your LLM's reasoning6 months agohttps://github.com/DebarghaG/proofofthought展示了基于LLM（大语言模型）结合Z3定理证明器的推理方法该系统包含高层API（`z3dsl.reasoning`）用于简易Python接口任务，以及底层DSL（`z3dsl`）支持基于JSON的Z3定理证明器交互典型用法包括通过`ProofOfThought`进行查询，并使用`EvaluationPipeline`评估结果安装需依赖`z3-solver`、`openai`、`scikit-learn`和`numpy`库建议大多数用户优先使用高层API完整示例（含Azure OpenAI支持）可在`examples/`目录中查看
Homebrew: Apps like LibreWolf and FreeTube are to be deprecated in 2026-09-016 months agohttps://github.com/orgs/Homebrew/discussions/6334LibreWolf和FreeTube应用因未签名将于2026-09-01停止支持鼓励用户联系应用开发者请求签名版本替代安装方案包括使用签名安装包或手动从git仓库提取有担忧指出该弃用政策会影响基于Intel的macOS用户并促使其转向Linux系统关于Homebrew在安全性与用户友好性之间平衡策略的讨论
Show HN: Magic-markers – control a smart bulb with crayola markers7 months agohttps://github.com/thejchap/magic-markers使用带有RFID标签的Crayola马克笔控制LED智能灯泡。每支马克笔都有唯一的RFID标签，由NanoC6 RFID读取器识别。RFID读取器为Tasmota固件灯泡暴露一个WiFi接入点。颜色变化通过HTTP请求发送到Tasmota命令端点。全新的Tasmota灯泡需要刷入特定模板进行设置。模板配置灯泡设置、WiFi连接和设备命名。
Show HN: Neural Emotion Matrix for NPCs7 months agohttps://github.com/mavdol/npc-neural-affect-matrixNPC被赋予持久的情感和动态性格，通过互动不断演变，使其更具人性化系统采用Russell的环状情绪模型，将情绪映射到二维坐标系（效价与唤醒度）核心功能包括：情绪理解、情感记忆、性格演变、复杂人际关系模拟神经情感矩阵提供C语言API，支持与Unity/虚幻引擎等游戏引擎集成关键API功能包含：初始化NPC会话、交互行为评估、情感状态获取可通过JSON配置NPC属性，包括身份设定、性格参数、记忆衰减速率交互记忆本地存储，将持续影响后续情感反应本项目采用MIT开源协议，欢迎开发者贡献代码
Fast SSIMULACRA2 Implementation in Zig6 months agohttps://github.com/gianni-rosato/fssimu2用Zig语言实现的高速SSIMULACRA2衍生版本，命名为fssimu2支持sRGB格式的PNG、PAM、JPEG、WebP或AVIF输入格式在Intel Core i7 13700k处理器上测试，性能较参考实现提升最高23%，内存占用减少约40%提供JSON输出和误差图保存功能通过validate.py验证与参考SSIMULACRA2的符合性，显示高度相关性（PCC: 0.999700）编译需要Zig（版本0.15.1）、libjpeg-turbo、libwebp和libavif提供C兼容ABI接口（ssimu2.h头文件）用于SSIMULACRA2分数计算示例C程序存放在c_abi_example/目录项目采用Apache 2.0许可证，包含来自libspng、libminiz和vapoursynth-zip的第三方代码
Simple Hotkey Daemon for macOS, Ported to Zig6 months agohttps://github.com/jackielii/skhd.zigskhd.zig 是 macOS 的快捷键守护进程，由 skhd 移植到 Zig 语言开发，保持对原版 skhd 配置文件的兼容性。新增功能包括进程组管理、命令定义 (.define)、按键转发/重映射以及改进的错误报告机制。支持通过 Homebrew 安装、按架构直接下载或使用 Zig 从源码构建三种安装方式。提供便捷的服务管理命令，可轻松实现服务启动、状态查询和停止操作。核心特性包含事件捕获、热键映射、进程专属绑定、模态系统和完善的错误报告体系。配置语法完全兼容原版 skhd，新增了 shell 定制指令、黑名单功能及额外配置文件加载功能。高级特性支持左右修饰键区分、特殊按键处理、穿透模式及配置文件嵌套引入。调试与分析功能因构建模式而异（Debug/ReleaseSafe/ReleaseFast/ReleaseSmall），其中 ReleaseFast 模式为日常使用优化。示例配置展示了基础热键映射、应用专属命令、窗口管理模式和可复用命令定义等场景。性能优化确保低延迟热键处理，在 release 构建中实现无分配事件循环。
Webbol: A minimal static web server written in COBOL6 months agohttps://github.com/jmsdnns/webbol使用GnuCOBOL编写的极简静态网页服务器从当前目录提供静态文件服务，支持自动MIME类型检测支持的HTTP状态码：200、403、404防止路径遍历攻击，并记录清晰的HTTP请求头根路径请求默认返回'index.html'需要GnuCOBOL（cobc）编译器、POSIX兼容操作系统和make工具提供macOS、Ubuntu/Debian和Fedora/RHEL系统的安装说明使用'make'编译，运行'./webserver'启动服务（默认端口8080）可通过'curl http://localhost:8080/'测试修改'config.cpy'文件并重新编译可更改服务端口支持HTML、CSS、JS、图片等常见MIME类型安全特性包括路径验证和目录访问限制局限性：不支持SSL/TLS、最大文件64KB、无缓存或压缩功能提供端口冲突、权限问题和文件找不到等故障排查建议已进入公共领域，展示COBOL语言的现代应用场景
KitteHub: Workflow as Python code using AutoKitteh6 months agohttps://github.com/autokitteh/kittehubAutoKitteh项目库包含完整解决方案、可组合模板和高级功能演示示例目录展示系统基础功能、集成API和最佳实践项目涵盖Slack、Google Sheets、GitHub、Jira、AWS等多种集成场景案例包括Slack机器人、GitHub工作流编排、AWS健康监控和事件管理自动化通过KitteHub鼓励社区贡献，用户可分享自动化方案与创意
FyneDesk: A full desktop environment for Linux written in Go6 months agohttps://github.com/FyshOS/fynedeskFyneDesk是一个基于Go语言Fyne工具包构建的Linux/Unix桌面环境，专为易用性和开发便捷性设计。编译需安装Fyne依赖项；推荐搭配arandr（屏幕布局工具）、xbacklight/brightnessctl（亮度控制）、connman-gtk（网络管理）和compton（窗口合成器）等外部工具增强体验。通过'go get fyshos.com/fynedesk/cmd/fynedesk'安装并进入预览模式；完整部署需克隆代码库后执行make编译及安装。测试时可用Xephyr配合'make embed'命令，将窗口管理器组件运行在嵌入式X窗口中。FyneDesk内置'fynedesk_runner'组件，用于预览版测试期间的崩溃恢复。界面设计由Jost Grant贡献；建议发行版打包时包含显示管理器应用'fin'以完善集成。
Dbos: Durable Workflow Orchestration with Go and PostgreSQL7 months agohttps://github.com/dbos-inc/dbos-transact-golangDBOS在Postgres之上提供轻量级持久化工作流编排服务它通过在Postgres中建立状态检查点并自动从任何故障中恢复，简化了故障处理DBOS提供持久化工作流、队列、通知、调度和事件处理功能工作流适用于业务流程、数据管道和AI智能体场景持久化队列无需独立队列服务即可确保任务完成和流量控制精确一次事件处理可实现可靠的webhook和事件监听持久化调度支持cron语法和长时间暂停后自动恢复持久化通知使工作流能以精确一次语义等待事件触发与Temporal、Airflow和Celery/BullMQ相比，DBOS采用更轻量级的Postgres底层架构特别适合需要最小化架构改造、Postgres集成或追求比Airflow更高性能的应用场景
A neural network written in jq (2017)6 months agohttps://github.com/kevin-albert/jq-neural-network一个完全用jq实现的神经网络处理MNIST数据集，成功率高达94%。该程序使用JSON配置并以不可变方式处理数据，使得状态保存/加载变得简单直接。输入记录包含'input'、'expected'和'train'字段，当'train'为true时会执行反向传播。通过debug语句记录进度，最终输出包含错误率和已处理记录的计数。神经网络库位于'neural_net.jq'中，示例配置文件为'config-trivial.json'。
Bonsai – A library for building dynamic webapps, using JS_of_OCaml6 months agohttps://github.com/janestreet/bonsaiBonsai是一个用于构建增量式、可组合状态机的库。Bonsai_web用于通过Bonsai创建基于浏览器的交互式用户界面。Bonsai_examples提供了使用bonsai_web构建的示例网站。Bonsai_web_components为使用bonsai_web的Web应用程序提供组件库。Bonsai_test是一个用于测试Bonsai状态机的库。Bonsai_web_test是一个用于测试Bonsai Web应用程序的库。Bonsai_bench是一个用于对Bonsai应用程序进行基准测试的库。文档可在Bonsai web的docs目录中找到，API文档位于src/proc_intf.ml中。
Icebird: JavaScript Iceberg Reader6 months agohttps://github.com/hyparam/icebirdIcebird 是一个基于 hyparquet 构建的 JavaScript 库，用于读取 Apache Iceberg 表。读取 Iceberg 表时，使用 `icebergRead` 并传入参数如 `tableUrl`、`rowStart` 和 `rowEnd`。读取 Iceberg 元数据（如模式等），使用 `icebergMetadata`。如果提供元数据，后续读取速度会更快。提供了一个极简的 Iceberg 表查看器演示，集成了 Icebird、React 和 HighTable。在线演示：https://hyparam.github.io/demos/icebird/演示源代码：https://github.com/hyparam/demos/tree/master/icebird通过指定 `metadataFileName` 获取表的先前版本。通过 `requestInit` 为 HTTP 请求添加认证。Icebird 目前支持部分 Iceberg 功能，具体支持情况详见功能支持表。
Generate HTML conveniently and efficiently with Python generators7 months agohttps://github.com/pcarbonn/fast_htmlfast_html 是一个快速、极简的HTML生成器，可作为Jinja等模板引擎的替代方案优点：使用熟悉的Python语法、高效的字符串连接技术，以及可选的自动缩进功能与其他HTML生成器不同，fast_html通过字符串生成器配合'join'方法实现更快的渲染速度由于Python解析器限制，标签名和属性可能需要添加下划线后缀（如'class_'、'for_'）带下划线的属性会被自动转换（例如'hx_get'会变成'hx-get'）支持使用嵌套列表和生成器作为innerHTML内容可通过'tag'函数创建自定义标签默认不对内部字符串进行转义，但支持全局开启该功能调试功能包含自动缩进，可生成易读的HTML输出内置工具可将HTML字符串转换为基于函数的代码表示形式