3 位 Java Champion 如何用 GitHub Copilot 提升生产力
3 位 Java Champion 分享了用 GitHub Copilot 提升生产力的实践。Vlad Mihalcea 借其把 Hypersistence Optimizer 事件历史应用开发从数周缩短到 2 天;Patrick Baumgartner 用它迁移 15 份演示、约 900 张教学幻灯片(Reveal.js 到 Marp)。他们强调仍需审查生成代码并验证结果。
3 位 Java Champion 分享了用 GitHub Copilot 提升生产力的实践。Vlad Mihalcea 借其把 Hypersistence Optimizer 事件历史应用开发从数周缩短到 2 天;Patrick Baumgartner 用它迁移 15 份演示、约 900 张教学幻灯片(Reveal.js 到 Marp)。他们强调仍需审查生成代码并验证结果。
GitHub 推出包防火墙公开预览,在 Actions runner、编码智能体等端点与上游包仓库之间检查元数据请求和包下载,拦截安装阶段发起的恶意攻击。管理员可配置冷却期、查询 GitHub Advisory Database 的恶意软件与漏洞告警,以及识别证明降级等供应链检查。
Show HN 展示了 Another Blog Search Engine,一个面向真实、信息丰富网页内容的索引。它支持按关键词搜索 Outer Web,并提供整页搜索以发现和连接真实网络内容。用户还能按分类浏览、漫游网页。
VoidAccess 是一个可自托管的开源暗网 OSINT 工具,把调查查询经采集、实体抽取和多源富化后生成关系图谱与结构化情报。它并行检索 16 个以上 Tor 搜索引擎、.onion 种子、paste 站点、代码托管与威胁情报源,并可导出 STIX 2.1、MISP、YARA、Sigma 等格式。
Twig 是一款 Android 文件管理器,把本地存储、FTP、SFTP、SMB、WebDAV、S3、restic 备份与 Jellyfin/Emby 媒体库放进同一棵目录树中就地展开,并支持双栏互相复制。
Ripscope 是一个用安全 Rust 编写的 C 代码导航工具,兼容 cscope 命令行与查询协议,可在 Vim、Neovim 和 Emacs 中使用。它无需编译器或编译数据库即可读取源码,支持定义、调用者、赋值等九种 cscope 查询,在 Linux 内核上查询约 0.1 毫秒返回,比 cscope 快数百倍。
SIwithin 是一个独立开源工具,在 macOS 上用 sandbox-exec 围栏把 Claude Code 或 OpenAI Codex CLI 限制在指定目录内无人值守运行,并按单次美元预算强制中止。
Show HN 上出现一个 AWS 故障归档项目,在 AWS 官方 12 个月保留窗口结束后仍保留这些故障记录。该归档让超出窗口期的 AWS 故障信息继续可查,目前条目获 3 分、暂无评论。
Penmentor 是开源的 Linux 桌面工具,在 xournal++ 里按一个键即可让已登录的 Claude Code、Codex 或 Antigravity 批改手写数学过程。它在出错处圈画、给正确行打勾,只给提示不给答案,圈出公式还能生成 manim 交互动画。工具复用你已有的 AI 命令行订阅,需要 X11 环境并装好 rofi、slop、xdotool 和 PyQt6。
Clerkenwell 是一个在 Hacker News 的 Show HN 中展示的手写式 Clojure Notebook。原文未披露其具体功能、版本号或可用方式,仅给出项目名称与定位。
LongTerMemory 是一款基于 RAG 的 AI 学习工具,可把 PDF、幻灯片、笔记、图片和网页链接自动转成问答对,再用间隔重复与主动回忆生成每日复习计划。免费版 7 天含 1 个项目、1 份 5 MB 文档和 30 次对话;付费版为一次性买断,12 个月 Basic 84 美元、Pro 120 美元,无订阅与自动续费。
开源项目 BigMoeOnEdge 在 llama.cpp 公共 API 之上实现 MoE 流式推理,只把每个 token 需要的专家留在内存,其余按需从存储读入,使大于内存的模型也能运行且输出与全内存运行一致。
BodyCommit 是面向 VS Code 和 Cursor 的扩展,在你累计约 50 个活跃编码分钟后提示做一分钟左右的拉伸、徒手训练或呼吸练习。它只读取编辑器事件来推测 agent、构建或长终端命令正在运行,把提醒安排在这些自然停顿上,并支持安静时段与仅状态栏提醒。
Spotify 表示过去一年已从用户推荐中移除超过 5000 万首被判定为 AI 灌水或垃圾的歌曲,并调整推荐系统以优先展示真人艺术家的作品。平台依据听众互动与反馈、上传模式、元数据和第三方 AI 检测工具判断曲目是否由 AI 生成,还为使用 AI 身份的艺人上线 AI Persona 徽章,且不再推荐这类音乐。
microG 是 Google Play Services 的自由软件重实现,让调用 Google 专有 API 的应用可在 LineageOS 等 AOSP ROM 上运行。
code-mode 是一个 Claude Code 插件,让 Claude 只写一段 JavaScript 程序在沙箱里调用 MCP 工具、就地过滤拼接数据,只把最终答案送回上下文。
Pando 是一个开源、可自托管的平台,用来运行团队构建的应用,包括用 AI 写出来的应用。给它一个 git 仓库或镜像,它会构建应用、扫描漏洞、在独立的隔离网络中运行,并接入公司 SSO,只开放给需要的人。
PensionHunter 提供免费检查,覆盖 41 个国家、24 种语言,可从官方来源查找你遗留在海外的国家养老金和职业养老金由谁持有。用户还可支付 $99 起订购报告,24 至 48 小时内获得由具名研究员审核的完整报告,并附官方联系路径和截止日期。另有免费养老金登记册 GPFR,养老金基金加入时会查找前成员,未经用户同意不共享信息。
Nimbalyst 发布本地 wiki 插件,让 Claude Code 和 Codex 把会话中的决策写进仓库里的 markdown 页面。默认存放在被 git 忽略的 nimbalyst-local/wiki,也可改到 docs/wiki 提交,浏览器里能直接编辑文字、Excalidraw 绘图、思维导图、CSV 表格、Prisma 数据模型和 mockup。
GitWiki 是基于 Python Flask、用 Git 存储和版本控制 Wiki 页面的开源自由 Wiki 软件。它支持 Markdown 与 [[PageName]] Wiki 链接,编辑会提交到 Git 仓库并保留历史、diff 和回滚,还提供全文搜索、页面管理和管理员设置。
作者 daniilkhanin 在 Hacker News 展示了一个浏览器逻辑模拟器,用户可从晶体管和逻辑门起步,按图片说明一步步搭出各种设备。套件按顺序推进,从用两个 MUX8 拼出 MUX16,到用逻辑门做手表并延伸到自建处理器和内存,还包含 Mandelbrot 与 Julia 分形机器等硬件基础主题。作者强调 MUX16 那次是真实搭建过程,含出错与重建,视频加速 6 倍。
TalkJS 发布 AI 客服智能体 Tori,把官网、帮助中心或文档的 URL 接进来后,这些内容就成为它的知识库,用来回答客户问题,置信度低时带上上下文转交人工。
REALM 是一个 16 KB(gzip)的浏览器端运行时,把 custom-element 标签升级成可用的 Web Component,脚本、样式和结构都写在纯 HTML 里,从 CDN 引入即可运行,没有构建步骤。
Yedoo AI 电子书阅读器在 Show HN 亮相,支持收听任意页面,并可打开 PDF、EPUB、PPT、TXT、MOBI 等格式。它覆盖 Web、iPhone、iPad 和 Mac,用户能标记段落、向内容提问,并从上次阅读位置继续。
Doozy 是一款常驻 Slack 的 AI 同事,用户在 thread 里用自然语言提需求,它在自己的系统里完成任务并把结果和每一步记录发回同一线程。
mcpspan 开源了一套面向 MCP 服务器的自托管分析工具,服务端加一行埋点、用 docker compose 启动面板,数据留在本机。
PatchWave 发布一个 GitHub 应用,在团队已有的 Dependabot PR 上做静态分析和 AI 修复,并可按策略自动合并。自动合并默认关闭,开启后也只合并通过分析且符合策略的更新,PatchWave 不会合并自己改写的代码,置信度不足的 PR 会打上待审标签交给工程师。
Adobe 宣布 iOS、iPadOS 和 Android 版 Lightroom 手机端新增 Open Eyes 功能,用生成式 AI 一键修复照片中闭着的眼睛。
Eka Robotics 完成 1.5 亿美元 A 轮融资,投后估值 14.5 亿美元,由 a16z 和 F-Prime 领投。
Polanyi Labs 为 DTC 品牌提供从第一天起可用的合成点击流数据,用于填补推荐系统的冷启动缺口。其合成购物者会在品牌所属品类中浏览、比较、拒绝和购买,生成可供排序模型训练的结构化行为信号。品牌可将这些信号接入现有推荐栈,在自有会话数据积累前启动个性化。
Giverny 是面向 Claude Code 和 Codex 的原生终端,把两个智能体的会话按左侧分类并排跑起来,并可同时接多个账号。它用 Rust 基于 alacritty_terminal 编写、由 GPU 渲染且不含 web 引擎,支持 Linux、macOS 和 Windows。
Explorium 发布远程 MCP 服务器 Vibe Prospecting,可在 Claude、Claude Code、Codex CLI、Gemini CLI 等客户端里直接查公司、找联系人并导出名单。
MarkItDown AI 是一个浏览器端文档转 Markdown 工具,支持 PDF、DOCX、PPTX、XLSX、HTML、CSV、JSON、XML 八种格式的本地转换。
Tripps.io 推出了一款不替用户生成行程的旅行规划工具,添加交通与住宿后按天自动排序,并可分享免账号的查看、编辑或个人专属链接。其 Smart import 用 AI 从转发的邮件或截图中提取日期、时间与预订编号并填入对应日期,原邮件和截图立即删除。服务免费且无需账号即可完成整趟规划,登录后每天可用 20 次 Smart import。
Mnemoloci 是采用 MIT 许可的开源工具,用 Markdown 仓库充当 Claude Code 的第二大脑,把项目代码和 .md 文件编译成每句带编号引用的 wiki 页。
Daft Slop 是一款类似 Shazam 的 iPhone 应用,可听歌识别曲目并判断其是否由机器生成,给出 Human、Unsure 或 AI 三种结论及 AI 概率。无需 Apple Music 订阅或账号,但仅能检测 Apple Music 曲库中的歌曲,且官方称 AI 检测只是估计而非保证。
Habenna 是一款用宽限日替代连续打卡的习惯追踪应用,按每周达成率而非连续天数记录进度。它为每个习惯设置每月宽限日额度,周目标未达成时从额度扣除、记录不清零,并支持 4/7 等每周目标。应用免费且习惯数量不限、无广告,可选订阅或一次性买断解锁自动备份、跨设备同步等功能。
Innerwall 是采用 Apache-2.0 协议的微隔离工具,在每个 workload 上运行 agent 观察流入连接,再把标签策略写入主机自带的 nftables,不需要编排器。
Sorcerer 是一款开源、原生 SwiftUI 的 macOS 应用,围绕一个 what if 假设生成由 AI 智能体组成的社区并逐轮推演。每个角色带有人设、目标、关系和记忆,会发帖、表态、采取行动并参与投票,还能在任意轮次分叉对比不同走向,输出每个结论都可点击跳转到原帖的报告。
Cloudflare 发布 AI 模型 Clairic,用于从文档中抽取用户指定的字段,已在 Workers AI 上提供预览,开放权重将随后放出。用户给出订单号、发票总额等字段名,模型一次返回对应数值、正确格式与置信度,缺失时返回 null;它不逐 token 生成文本,也能做简单计算和估算。