Show HN:Visual cdecl 支持以英文、代码或图形编辑 C 声明
Visual cdecl 在 Hacker News 的 Show HN 亮相,支持将 C 声明以英文、代码或图形三种方式编辑。该工具聚焦 C 声明的多形式编辑,原文未披露更多功能或可用性细节。
Visual cdecl 在 Hacker News 的 Show HN 亮相,支持将 C 声明以英文、代码或图形三种方式编辑。该工具聚焦 C 声明的多形式编辑,原文未披露更多功能或可用性细节。
基于 Crafting Interpreters 的 Lox 编译器可视化工具在 Show HN 展示,可将 lexer token、AST 节点与字节码指令联动查看。其 clox 字节码 VM 由 Crafting Interpreters 编译为 WebAssembly,支持通过回放条逐条或拖动查看执行过程,并在栈面板重建每一步的求值栈。
Google 将 Personal Intelligence 引入 Android Auto 和内置 Google 车机中的 Gemini,使其可调用 Gmail、Calendar、Maps、Photos、YouTube、Search 中的个人信息,例如从 Gmail 确认邮件中查航班状态。
MCP Census 上线,为 48,800 个 MCP server 提供公开证据核查,无账号即可调用 /v1/stats 和 MCP 工具 census_stats。
strategystudio.org 在 Show HN 展示公共数据搜索工具,可按姓名、学校、慈善机构或问题查询非营利组织的薪酬、资助与
AHP Matrix 是本地运行的开源层次分析法(AHP)决策工具,单个二进制启动 Web 应用,决策项目存为本机 .ahp.json 文件。它对两两比较计算一致性比率、指认矛盾答案并支持一键修正,支持 1–10 打分或价格等测量值,多人判断可加权合并。
独立工作室 Ideas Collective 推出 Mac 菜单栏计时器 Piola 1.0,提供拉拽取时、表盘和全局快捷键键盘输入三种方式,已在 Mac App Store 上架,要求 macOS 26 或更高版本。单个计时器最长可设 24 小时,支持同时运行多个并各带标签与结束时间,数据仅存本地,无需账号或联网。
Tenbri 在 Show HN 发布,用签名且仅追加的记录保存 AI Agent 的每一次决策,写明谁执行、依据哪条规则和输入、谁批准、结果如何。
Tapelark 发布 Linux 版,以 Flatpak 形式安装后可直接录制桌面单个应用、多个应用或整个系统的声音,并按曲名、艺人、专辑归档成曲目。它通过 PipeWire 抓取音频,无需麦克风或改动系统声音设置,其他应用的声音则在静音处切分,还支持搜索数千个网络电台、按曲目录制与定时录制、订阅播客,并可导出 AAC、Apple Lossless、FLAC、WAV、MP3。
OpenAI 周二宣布收购成立四年的 AI 生物科技软件初创公司 Orchestra Bio,交易条款未披露,该公司截至 2025 年累计融资约 2000 万美元,投资方包括 Andreessen Horowitz、Atria 和 8VC。
Agent-Zero 是一个面向 AI 原生编码项目的 GitHub 起步模板,作者用它引导编码智能体产出简洁、符合语言习惯的代码。模板提供 CLAUDE.md 的写作规范以及提交、PR、Issue 约定,还有一个每次提示都重申写作标准的钩子脚本,约消耗 100 token,另有一个避免沙箱内 Linux 构建输出与宿主冲突的脚本。
Classic Ads 是一款 Chrome 扩展,可把 Google 搜索广告恢复成经典配色和明确的广告标识,让广告重新像广告。它提供 9 个经典年代样式、一键暂停,且不进行扩展跟踪。
ElevenLabs 发布两款语音转语音模型 Eleven Realtime,其中 v1 Max 在 Big Bench Audio 上得分 98.8%,响应时间 0.57 秒,官方称 Artificial Analysis 榜单上没有模型同时更快又更准。
Harness Studio 是 Vignesh Murugan 开发的 macOS 与 Linux 桌面编码智能体,基于 DeepSeek Harness 的分支,填入任意模型厂商的 API key 即可使用。
notbot 是一款每日游戏:同一提示下玩家有五次作答机会,目标是用 LLM 未预测到的有效答案获胜。AI 会在玩家作答前锁定 10 条预测,答案不在其中即为成功;意外答案得 25 分,并按当日玩家答案稀缺度最多再加 75 分。游戏无计时器,得分在 UTC 午夜后最终确定,由 JEV 校验和归并答案。
开源 MCP 服务 apple-reminders-mcp 发布,让 Claude Code、Codex 等智能体在 macOS 上读写提醒事项。写入走 Reminders.app 同款私有 ReminderKit 框架,标签、子任务、Urgent 和位置提醒都能原生落库,再由系统同步到 iCloud。
Modula-9 是一门 Wirth 系编程语言,面向审计 AI 智能体写的代码,类型、失效模式、副作用和线程安全都在定义模块中声明并由编译器强制检查。类型不做隐式转换,把 F64 赋给 I64 会直接编译失败,且这些检查无法关闭。
Gauge 发布开源 CLI,用来对 Skills、CLI、SDK、MCP 和文档做爬山式改进,让编码 Agent 更容易发现并使用它们。它在本地用 Docker 启动真实 Agent 会话,记录 Agent 卡住的位置并生成 Findings,再由你的编码 Agent 修改后重跑同一批用例,确认问题是否消失。
Smash Gauntlet 在 Hacker News 的 Show HN 板块发布,目前获得 2 分、0 条评论。原始条目未附带项目说明、功能细节或可用性信息。
Trellis 是 MIT 开源的 macOS 原生终端,把窗口、标签、窗格和会话操作都通过本地 JSON-RPC 接口暴露,并可选用默认关闭的 MCP Server 供 Claude Code 等 agent 调用。
Slap Alert 是运行在 macOS 14 Sonoma 及以上系统的菜单栏应用,用只读密钥接入 Stripe、Paddle、RevenueCat、Shopify、Polar、Dodo Payments 和 App Store,每笔成交就让像素猴子贴出一张纸条,显示谁付了多少钱。
Show HN 展示的每日猜密码游戏用数据泄露中的真实常见密码作答案,玩家需在 6 次内猜出。每次猜测长度必须与密码一致,键盘只保留泄露密码中实际出现的字母大小写、数字和符号,已放置字符会锁定。游戏提供 3 次不消耗猜测次数的提示,但密码列表以混淆而非加密形式随页面下发到浏览器,查看源码即可推算次日谜题。
Rocus 是一个浏览器本地 LLM,可在本地整理用户的网站、笔记和文件。该项目以 Show HN 形式发布,原始信息未披露模型版本、参数规模或具体可用方式。
Polytomic 上线 What the Harness 测试站,通过公开 MCP 端点向各家 LLM agent harness 下发同一组探针,比对 MCP 实现差异。
DeepSeek 以 Apache License 2.0 开源了内部推理框架 DeepInfer,它是让 V4.1-Flash 在规模化部署下快速生成回答的服务端软件。
Meta 已暂停 Muse 的对话分享功能,原因是 Claroc 研究人员通过公共 DNS 记录发现了 6,800 多条可公开访问的 Muse 链接。这些链接由对话标题和随机 ID 构成,主机名会暴露页面内容,研究人员据此查看了数百条 Muse 对话。Muse 发言人 Tracy Clayton 表示,正在审查报告并考虑调整链接的发现方式。
OpenAI 为 ChatGPT 上线 Locked Chats,用户可用四位 PIN、Face ID 或 Touch ID 锁定会话,锁定后聊天移入独立分区。
GitHub 现支持一次性将仓库全部分支保护规则迁移为 rulesets。用户可在 Settings → Rulesets 的 Import branch protection rules 中预览将创建的 rulesets、查看已有 ruleset 覆盖情况,并选择 Active、Evaluate 或 Disabled 状态。
Contrack 是自托管的联系人管理与人物搜索应用,作者在 Show HN 发布,用 Docker 一条命令即可在本机或家庭服务器运行,无需注册云账号和 API key。
Skillsync 是一款面向编码 Agent 的 Mac 应用,在每次提示前搜索你的全部历史会话,把匹配到的过往会话作为带来源的简短回忆附在提示里。它通过插件接入 Claude Code、Codex、Cursor、OpenCode、Amp 等工具,不做预索引也不用配置,会话只在本地读取和索引,分享前保持私密。
hackingscreenfake.com 提供免费的浏览器端假黑客屏幕模拟器,含 Matrix Rain、病毒警告、Windows Update、BSOD、碎屏等 10 种整蛊样式与 11+ 终端模式。
dp_intl 是一个兼容 Gettext 的 C++ 国际化库,它不依赖 locale,并通过虚拟流类读取消息目录,可包装压缩包等任意类文件对象。它用 uint64_t 统一各平台数字类型(Gettext 的 unsigned long 在 64 位 Windows 上仅 32 位),复数规则可配置,源字符串支持任意语言。
Frink 是一款桌面端应用,可在最多四个分屏里并行运行 Claude Code、Codex、GitHub Copilot 等编程 agent,每个分屏各自保留模型和待审 diff。
Ankita 是一个 MIT 许可的开源桌面 AI 工作台,同时提供浮动伴侣和终端 CLI,2.6.0 版本可沿用已打开的 ChatGPT 会话,并新增 Windows 原生 Computer Use 与可见的动画指针。
Smarter Currency 在 Show HN 展示了面向旅行者的 iOS 货币换算应用,可按位置和地区自动切换货币,并基于当地税率估算含税总价。其税费估算覆盖美国与加拿大的地区税,同时提供出租车、餐饮、住宿的小费习惯提示。应用支持离线换算,并适配 Apple Watch 与小组件。
Mistral AI 发布 Voxtral 3,一套面向实时语音智能体的模型家族,包含转写模型 Voxtral Small Transcribe 3、语音合成模型 Voxtral Mini TTS 3 和基于 LiveKit 的语音智能体 SDK,把听、思考、工具调用和说话合并为单一流式管线。
Mistral 发布 Voxtral 3 语音模型家族,包含 Small Transcribe 3、Mini Transcribe Realtime 3、Mini TTS 3 三款模型以及一套语音 Agent SDK。
推荐理由:做客服或语音助手的团队可用它的 SDK 在现有电话系统上试跑实时转写与工具调用,自部署前需评估算力与数据留存要求。
GitHub Dependabot 告警的 REST API 响应新增 version_requirement 字段,可直接返回 Dependabot 最后记录的脆弱依赖版本或版本约束。
Koody for Business 上线面向个体经营者和小企业的 AI 记账工具,可导入 PDF 或 CSV 银行对账单并自动分类收支,生成损益表和美国 Schedule C 准备表格。用户不连接银行账户也能手动录入,个人与业务支出可分账。免费档支持手动记账,Plus 4.99 美元/月含对账单导入、自动分类和不限年限记录;税务功能仅限美国用户。
开源实验性 CLI 工具 REW 能把失败的 Go 构建连同工作区文件与依赖产物打包成可移植 .rew 胶囊,并在无网络的 Linux Docker 容器中离线重放、比对失败结果。