CoMaps: New OSM based navigation app10 months agohttps://www.comaps.app/news/2025-07-03/Announcing-Navigate-with-Privacy-Discover...CoMaps现已登陆Google Play商店、苹果App商店及F-Droid平台。支持离线搜索与路线规划，无需网络连接即可使用。采用高效低耗设计，显著延长设备续航时间。注重隐私保护：零追踪、零数据收集、绝不识别用户身份。完全免费且无广告干扰，保障流畅使用体验。由社区驱动并开源，所有决策过程公开透明。用户可直接参与应用的开发与功能演进。非营利性质，始终以创造社区价值为核心目标。
Postcard is now open source10 months agohttps://www.contraption.co/postcard-open-source/2022年推出Postcard个人网站及订阅通讯，作为删除社交媒体后与朋友保持联系的方式。Postcard为philipithomas.com提供支持，自上线以来每月发布'我的近况'更新。初期数千人注册，至今仍有大量用户使用，但收入微薄（每月几十美元）。Postcard由作者自行维护，运行在家中的Mac Mini上。开源决定基于更新频率低、开发者兴趣浓厚及对商业回报预期较低。Postcard是精简的Ruby on Rails应用，依赖项少，便于定制和运行。新增'Solo'单站点托管模式简化开源用户部署；托管服务采用'多用户'模式。包含Dockerfile和render.yaml文件，支持一键部署至Render平台。鼓励用户探索、分叉并基于开源版Postcard进行二次开发。
Gecode is an open source C++ toolkit for developing constraint-based systems10 months agohttps://www.gecode.org/Gecode是一个基于约束系统的开源C++工具包它提供最先进的性能表现、模块化设计和可扩展性核心特性包括开放编程接口、全面的约束支持以及高效运行Gecode支持整数、布尔值、集合和浮点数等70多种预定义约束类型包含高级分支启发式算法、多搜索引擎和自动对称性破缺技术2008至2012年间在MiniZinc挑战赛中多次获得金奖提供超过500页的教程和参考文档等详尽资料采用MIT许可证发布，属于免费开源软件具有跨平台移植性，支持多核硬件的并行搜索
opencode: AI coding agent, built for the terminal10 months agohttps://github.com/sst/opencode专为终端使用设计的AI编程助手支持多种安装方式：curl、npm、brew和paru本地运行需要Bun和Golang 1.24.x环境开源且支持多AI模型，不依赖特定供应商专注于终端用户界面(TUI)和客户端/服务器架构支持通过手机应用等客户端进行远程操作欢迎通过GitHub issues讨论新功能需求
Show HN: Piano Trainer – Learn piano scales, chords and more using MIDI10 months agohttps://github.com/ZaneH/piano-trainer通过多种练习模式，按照自己的节奏学习钢琴。功能包括MIDI兼容、主排键盘输入和跨平台支持。互动练习选项：音阶、和弦、五度音程和测验。附加模式：困难模式、随机模式和更多音阶练习。可自定义设置，如键盘声音和测验问题。可在itch.io免费下载或直接获取构建版本。安装需要Rust和Tauri CLI；提供详细安装步骤。开放贡献；PR应指向开发分支。代码格式化通过Git Hooks自动管理。鸣谢主要贡献者和社区支持。
Best Way to Advertise a Programming Language10 months agohttps://www.stylewarning.com/posts/write-programs/推广编程语言的最佳方式是编写吸引广泛受众的有用程序。尽管Common Lisp和Haskell有其优点，但缺乏大量广泛使用的程序，这影响了它们的流行度。GitHub星标和项目实用性是衡量语言实际采用情况的关键指标。著名的Common Lisp项目包括Nyxt（网页浏览器）和pgloader（PostgreSQL迁移工具）。Haskell拥有如pandoc（标记语言转换器）和ShellCheck（Shell脚本分析器）等项目，但许多是利基工具或编译器。Python和Zig拥有更多广泛使用的程序，展示了超越理论优势的实际采用情况。发布实际软件证明了语言的可行性，并可以作为有效的宣传手段。语言的流行度受营销、教育和机构支持的影响，而不仅仅是技术优势。
Grinding down open source maintainers with AI10 months agohttps://shkspr.mobi/blog/2025/07/grinding-down-open-source-maintainers-with-ai/作者收到一份AI生成的漏洞报告，充斥着过量表情符号和情感操控话术该报告毫无实质内容，后被证实是针对Codeberg平台的垃圾信息攻击另一份AI生成的漏洞报告呈现出相似模式：愤怒情绪、指责、批判性言论和强硬要求Codeberg团队正在积极清理这些垃圾报告以维护开发者权益可能的动机包括干扰平台运营、消耗开发者精力或进行不道德的实验研究AI生成的垃圾报告对开源社区有害无益，应当坚决抵制
Show HN: Ossia score – a sequencer for audio-visual artists10 months agohttps://github.com/ossia/scoreOssia Score是一款为视听艺术家设计的交互式演出序列软件支持OSC、MIDI、DMX、音频、视频等多种协议，可集成各类软硬件设备具备JavaScript实时编程功能，兼容ISF着色器、Faust、PureData及C++适配物联网协议（如CoAP/MQTT）及游戏手柄、Wii遥控器、LeapMotion、蓝牙传感器等外设支持多种音视频格式，通过Spout/Syphon/NDI/Shmdata/Sh4lt实现视觉处理免费开源，可运行于桌面端、移动端、网页及树莓派Zero 2等嵌入式系统提供Windows、Linux(AppImage)和macOS版本下载欢迎贡献代码，代码库使用TODO/FIXME/OPTIMIZEME等标签标注待改进项支持开发自定义功能插件拥有论坛、Discord和Matrix等社区支持渠道
Applite – A macOS native GUI for homebrew10 months agohttps://aerolite.dev/applite一键下载、更新和卸载应用。简洁直观的界面设计，适合非技术用户。完全免费开源，无任何费用或追踪行为。使用Homebrew包管理器管理macOS应用。应用来源为Homebrew官方目录。安全性依赖macOS原生防护机制（如Gatekeeper和XProtect）。应用可能未启用沙盒机制，需谨慎操作。Applite不会收集任何用户信息。兼容现有Homebrew环境。仅可管理通过Homebrew安装的应用（手动安装的除外）。提供捐赠通道支持项目发展。
I used to prefer permissive licenses and now favor copyleft10 months agohttps://vitalik.eth.limo/general/2025/07/07/copyleft.html宽松许可证（如CC0、MIT）允许无限制使用和再分发，仅需最低限度的署名要求。著佐权许可证（如CC-BY-SA、GPL）要求衍生作品以相同许可证共享，以此促进开放共享。历史上，作者偏爱宽松许可证以最大化采用率，并出于对版权的哲学性反感。著佐权被视为'以版权对抗版权'的手段，确保衍生作品的自由与开放。近期向著佐权的转变源于开源成为主流、加密领域的竞争压力，以及支持技术扩散的经济学论点。经济学观点指出，规模报酬递增的特性必须通过开放性来防止垄断控制。技术快速进步和政治不稳定等现代趋势，增强了著佐权维持平衡的必要性。著佐权被视为中立的激励扩散机制，既不偏袒特定主体，也无需中央规划。尽管宽松许可证仍有其适用场景，但如今著佐权的益处比过去更为显著。
Epanet-JS10 months agohttps://macwright.com/2025/07/03/epanet-placemarkepanet-js 是一款将现代网络地图与 EPANET 水力模拟算法相结合的网页应用程序，专为水务公共事业规划设计。由 Iterating 公司的专家 Luke Butler 和 Sam Payá 开发，主要面向水力模拟领域的专业人士。该项目使用了作者此前开发的 Placemark 开源工具代码，采用宽松的 MIT 许可证授权。Iterating 公司对 Placemark 代码库进行了反哺贡献，展现了良好的开源协作范例。epanet-js 采用 Functional Source License 开源，所有贡献代码将在两年后转为开源。该工具通过 WASM 技术在浏览器中运行，为传统年费高达 16,000 美元且仅限 Windows 系统的 EPANET 软件提供了现代化替代方案。作者对该项目表示高度赞赏，强调其有望颠覆传统水力模拟工具市场格局。
BharatMLStack – Realtime Inference, MLOps10 months agohttps://github.com/Meesho/BharatMLStackBharatMLStack是一个生产就绪的机器学习基础设施平台，旨在普及ML能力。使命：为组织提供可扩展、易获取的ML解决方案，以规模化构建、部署和管理ML。核心特性：普及ML、无限扩展、印度优先策略、实时智能、开发者友好。性能指标：每秒100万+特征向量检索、亚10毫秒延迟、99.99%正常运行时间、PB级存储。组件：Horizon（控制平面）、Trufflebox UI（ML管理控制台）、在线特征存储、Go & Python SDK。在线特征存储：亚10毫秒特征检索、流式数据摄取、向后兼容的版本控制、多源集成。部署：云无关、Kubernetes原生、内置可观测性、支持Docker设置。快速入门：包含Docker设置、示例数据、健康检查及分步教程。社区：欢迎开源贡献，提供Discord、GitHub Issues和邮件支持。许可证：BharatMLStack商业源代码许可证1.1版。
Lichess mobile app10 months agohttps://lichess.org/mobileLichess移动应用为国际象棋爱好者而生，不为盈利所有功能完全免费，无广告无追踪应用采用全开源架构支持手机和平板设备对战包含超快棋、闪电战、经典棋局等多种模式支持通讯赛、在线/离线对战、锦标赛和棋局直播提供战术题训练、棋局分析及好友互动功能支持100多种语言界面所有版本均在GitHub开源发布
Radium – The Music Editor10 months agohttp://users.notam02.no/~kjetism/radium/Radium是一款拥有独特界面的音乐编辑器，融合了钢琴卷帘窗与追踪器界面元素，可实现高效且富有音乐性的编辑。它作为数字音频工作站(DAW)运行，支持音频录制、编辑与混音功能。Radium的开发始于1999年，首个公开版本发布于2000年，现支持Linux、Windows和Mac系统。核心功能包括多轨录制（音频与MIDI）、自动化控制、粒子合成、平滑滚动，并支持多种插件格式（AU、LADSPA、LV2、VST、VST3）。额外特性涵盖微分音阶、Python/Scheme脚本支持、多核处理器优化以及无限撤销/重做功能。该软件为开源项目，采用简易构建系统，内置Faust音频DSP开发环境。快速入门指南：加载演示曲目→空格键播放→键盘输入音符→查阅使用手册。联系方式：info@radium.dog，关注@MusicRadium，最后更新于2024-09-14。近期更新包含2024年、2023年及2022年的多个版本迭代。可通过捐赠或订阅支持开发，赞助者可优先提交错误报告与功能需求。
RapidRAW: A non-destructive and GPU-accelerated RAW image editor10 months agohttps://github.com/CyberTimon/RapidRAWRapidRAW是一款轻量级、GPU加速的RAW图像编辑器，体积不足30MB，支持Windows、macOS和Linux系统。由18岁开发者个人挑战开发，采用React和Rust技术栈，并获Google Gemini支持。功能包括AI智能蒙版、与ComfyUI集成的生成式AI技术，以及非破坏性编辑。近期更新包含改进的着色器、AI路线图更新，并支持更多RAW格式。该项目采用AGPL-3.0开源协议，确保永久免费并由社区驱动发展。
Reachy Mini – The Open-Source Robot for Today's and Tomorrow's AI Builders10 months agohttps://huggingface.co/blog/reachy-miniReachy Mini是一款开源机器人，专为人机交互、创意编程和AI实验设计。起售价299美元，完全支持Python编程（未来将支持JavaScript和Scratch）。提供Lite版和全自主版本，配备板载计算模块、无线连接和电池。功能包括摄像头、麦克风、扬声器、加速度计，以及头部旋转和天线动画等拟人化动作。面向教育、研究和原型开发，支持即插即用行为模式，采用社区驱动开发模式。集成Hugging Face平台，可使用开源语音、视觉和个性模型。以DIY套件形式销售，鼓励与亲友共同组装。目前处于早期开发阶段，2025年秋季至2026年间开始预购发货。
Show HN: I built a playground to showcase what Flux Kontext is good at10 months agohttps://fluxkontextlab.comFlux Kontext Dev 是一款基于AI的在线工具，可进行即时图像编辑。用户可以上传图片并描述修改需求，实时查看图像变换效果。功能包括修改图像元素、照片修复和风格迁移。额外能力涵盖文字修改、Logo增强和人群消除。支持创建专业级电商产品展示图。技术特性包含开放权重、卓越性能和硬件优化。兼容ComfyUI、HuggingFace Diffusers和TensorRT平台。120亿参数模型针对消费级硬件优化。研究与非商业用途可免费使用。
Show HN: Typeform was too expensive so I built my own forms10 months agohttps://www.ikiform.com/Ikiform是Typeform和Google Forms的开源替代品。它让用户能够轻松创建美观且经济实惠的表单。功能包括AI表单构建器、直观的表单构建器和AI驱动的分析工具。核心功能涵盖无限提交、AI表单生成和导出回复数据。高级分析功能通过AI驱动的建议提供深度洞察。即将推出的功能包括团队协作、自定义域名和文件上传。定价简单透明，提供免费基础版。用户可获得优先支持，并能在移动设备上创建表单。
Mentra: Open-Source Smart Glasses10 months agohttps://mentra.glass/Mentra Live Camera Glasses 智能眼镜配备摄像头、扬声器、麦克风及开源SDK功能涵盖视频直播、AI交互、实时翻译、通话及应用下载MentraOS系统支持应用安装、设备管理及多设备协同功能Mentra应用商店提供X（原Twitter）、Shazam、AI助手及翻译等应用支持YouTube/Twitch/TikTok/Instagram等平台实时流媒体直播开源SDK支持开发者定制智能眼镜专属应用程序Mentra致力于打造最佳的人类智能增强体验
Linux Containers – Incus10 months agohttps://linuxcontainers.org/incus/Incus是新一代系统容器、应用容器及虚拟机管理器提供类似公有云的用户体验，支持容器与虚拟机混合部署，共享存储和网络基于镜像架构，兼容多种Linux发行版，可从小型笔记本扩展至服务器集群支持命令行、REST API及第三方工具管理，通过统一API实现本地/远程访问最初作为LXD的社区替代方案，现由原LXD核心团队维护支持系统容器（模拟完整OS）、应用容器（隔离应用）及虚拟机（跨OS运行）核心特性包括安全防护、弹性扩展、事件驱动操作、远程管理及多项目支持提供备份/快照、实例迁移、多存储后端、高级资源控制等功能兼容主流Linux发行版，Windows/macOS客户端可用提供LTS长期支持版本（如Incus 6.0支持至2029年）及月度功能更新商业支持由Zabbly提供，基于Go语言开发（Apache 2协议），代码托管于GitHub贡献需签署开发证书（DCO），无需签署CLA协议