产品:cool retro term 终端 主要功能: 1. 增加了AI的侧边栏。 2. 可以通过AI执行常见指令。 适用人群:新手小白。 额外说明: - 如果显示已损坏,可以尝试运行指令。 - 需要对应用进行xattr和codesign操作来修复和签名。

产品名称:Lumenfolio 主要功能: 1. 本地优先的PDF论文阅读工具。 2. 支持PDF、索引、聊天历史、笔记的本地存储。 3. 回答能够回到原文的page、quote、bbox。 4. 不使用向量数据库,而是利用PDF结构树、SQLite FTS、page/block evidence进行检索。 5. 支持Agentic RAG(辅助引用分析),提供分步找证据、判断证据是否足够的系统,以生成回答。 6. 支持PDF翻译,通过PDFMathTranslate sidecar保留双栏、图表、公式等版面结构。 7. 支持锚定笔记,笔记可以回跳到PDF原文位置。 设计理念: - 重视证据链,提供更清晰的答案路径。 - 解决向量检索在单篇论文精读场景中的局限性,强调可解释性和证据路径。 - 通过本地优先的方式,加快PDF的解析和检索速度,使用户能够更快进入阅读状态。 技术实现: - 使用PDF结构树、SQLite FTS、page/block evidence等技术手段。 - 设计了一个从PDF到本地证据层的解析过程。 目标: - 创建一个面向论文阅读和分析的工作空间,不仅仅总结PDF,而是帮助用户理解论文的结构、证据、图表、实验和笔记。 项目地址: - GitHub: https://github.com/tanghui315/lumenfolio 技术原理介绍文章: - 中文链接: https://zhuanlan.zhihu.com/p/2044458693488637381 社区互动: - 鼓励经常读论文的用户参与,对无向量RAG、PDF结构解析、本地优先桌面应用感兴趣的用户可以关注项目并提issue或反馈。
产品主要功能:在线计算器音乐工具,可以用计算器数字键弹歌。 产品描述:一个无需App和注册的在线工具,支持自动播放歌曲、跟弹练习、数字乐谱、自由弹奏等功能,拥有中英文歌曲库,可在手机和桌面端使用。目前还在改进一些歌曲的节奏和数字谱与原曲的相似度,以及跟弹练习模式的设计。用户可提出使用体验反馈,以帮助优化产品。
![[送兑换码] 一个 macOS 平台的一键翻译软件,无联网权限,大小不到 1M](/_next/image?url=https%3A%2F%2Fstatic.rustpoint.com%2Fscreenshots%2F1112174.jpg&w=3840&q=75)
产品主要功能:一键翻译软件,支持划线选中句子后使用自定义快捷键触发翻译。 描述:该软件为 macOS 平台应用,无联网权限要求,体积小,约 1M 大小。通过调用 macOS 自带的翻译功能实现翻译,用户可以上架至 Mac App Store。软件特点包括:上架审核过程耗时较长,需注意使用顺序,已提供部分兑换码供用户使用。
产品主要功能:企业级编程助手 产品描述:使用 Rust 编写,可以在 HackerNews 上获取前三的项目地址。

产品主要功能:AI coding 魔方求解器 描述:自己抽空 AI coding 制作了一个魔方求解器,可供自己和玩魔方的人使用,作为学习和参考的工具。如有其他需求,可以留言,作者尝试实现。

产品主要功能:判断某些产品是否是智商税 描述:基于claudecode的skills,用于评估用户对产品的评价,帮助用户判断产品是否值得购买。