#Github #搜索 #代码

grep.app

GitHub 代码搜索引擎，覆盖超过 50 万个公共仓库，支持精确搜索任意字符串，包括标点符号及其他特殊字符，也支持使用正则表达式进行检索，搜索结果实时返回，响应速度极快，适合开发者使用，免费使用，无需注册。

频道 @Edgebyte

跨平台的「Human-in-the-loop」交互工具。当 AI Agent 准备结束对话或需要确认时，调用命令行 AskHuman 弹出窗口，让你继续提问、勾选选项、补充文字或附带图片，并把结果回传给 AI。

https://github.com/Naituw/AskHuman/

GitHub

GitHub - Naituw/AskHuman: Human-in-the-loop tool for answering questions from AI agents.

Human-in-the-loop tool for answering questions from AI agents. - Naituw/AskHuman

#macOS #硬件

🤍 MacCheck - 一款面向二手 Mac 的本地验机工具

⬇️ 下载页面

MacCheck 是一款用于二手 Mac 交易、门店验机和个人自检的 macOS 工具，可以自动读取机器配置、电池、硬盘、网络和安全信息，还能完成键盘、屏幕、音频、摄像头、触控板等交互测试。

检测完成后可导出 PDF 或 PNG 长图报告，也能保存历史记录进行对比。项目默认完全在本地运行，不上传序列号和检测结果。

📮投稿 📢频道 💬吹水 🌐网站

WSJ：月之暗面的Kimi K3发布震动了美国股市

周五，在中国的月之暗面公司（Moonshot）发布了一款新AI模型后，美国股市下跌，英伟达和美光科技等芯片公司的股价尤其受到重创，过去一周主要半导体股指下跌10%。

Kimi K3来自总部位于北京的初创公司月之暗面，月之暗面计划在本月晚些时候将其完全开源。

月之暗面称，Kimi K3是全球最大的开源模型，拥有2.8万亿个参数，参数是衡量模型能力的一种简略说法。外部研究人员估计，Anthropic于5月发布的Claude Opus 4.8拥有超过1.5万亿个参数。

中国AI模型通常设计为使用较少的算力，并提供更好的成本效率，部分原因是美国出口管制限制了中国获得先进芯片的机会。

今年美国股市受到对科技硬件巨大需求预期的推动，这些硬件用于开发和使用来自Google、OpenAI和SpaceX等公司的AI模型。

如果中国模型获得市场份额，这种需求可能最终不会爆发，这正是一些投资者所担心的。2025年1月，另一家中国AI初创公司DeepSeek发布了一款高性价比的开源模型DeepSeek R1时，曾出现过类似的抛售潮。

via 匿名

🗒 标签: #月之暗面 #Kimi #AI
📢 频道: @GodlyNews1
🤖 投稿: @GodlyNewsBot

Gemini Spark已向Google AI Pro用户推出

Google表示，Gemini Spark功能已向英语Google AI Pro订阅用户推出，此前Gemini Spark只适用于Google AI Ultra订阅用户。

via 匿名

🗒 标签: #Google #AI
📢 频道: @GodlyNews1
🤖 投稿: @GodlyNewsBot

#开源 #telegram #博客

📡 hexo-bb-channel - 把 Telegram 频道变成 Hexo 动态碎片流

hexo-bb-channel 是一个轻量 Hexo 插件，可以把公开 Telegram Channel 的内容渲染成博客里的动态碎片流页面。

插件只在 Hexo 中生成页面壳，实际内容由浏览器访问时从独立 API 拉取。因此 Telegram 频道更新后，不需要重新执行 hexo generate。“”

📮投稿 📢频道 💬吹水 🌐网站

#摄像头 #监控

World Cams

全球实时摄像头聚合网站，收录来自世界各地的实时网络摄像头，可观看城市街景、海滩、机场、铁路、动物、港口、酒吧等场景直播，支持按国家、分类和地区筛选，部分摄像头还提供当地时间、天气信息及地图位置，注册后可收藏喜欢的镜头和参与评论交流，免费使用。

频道 @WidgetChannel

#电子书 #开源

彩读 ColorTxt

一个跨平台的本地 TXT 小说阅读器，特点是可以给内容上色，也支持打开常见的电子书格式，但会舍弃掉自带的样式，从而转换为 .md 进行加载，此外还有章节识别、空行压缩、行首缩进、语音朗读、AI 阅读助手等功能，支持 macOS、Windows 和 Linux 系统。

🐙 GitHub

频道 @WidgetChannel

#火车票 #退票

12306免费退票助手

12306 免费退票辅助工具，通过特定的购票与退票操作，可有效避免退票手续费，且完全符合 12306 官方规定，所有操作均在官方 APP 自行完成，无需在外部环境输入账号密码，使用前需仔细浏览操作说明，免费使用，界面有少量广告。

这个属于是钻了规则的漏洞，如果问题不大的话应该可以一直用，但是也可能会被官方修复。

https://12306.cjh0613.com/zh/free-refund

频道 @WidgetChannel

#USB #macOS #开源

WhatCable

Mac 菜单栏 USB-C 线缆识别工具，可查看已连接线缆支持的充电功率、传输速率、Thunderbolt、DisplayPort 等协议信息，并检测是否带有 E-Marker 芯片，帮助排查充电慢或传输速度受限等问题，数据直接读取系统底层接口，本地离线运行，不联网收集数据，免费开源，仅适用于搭载 Apple Silicon 且运行 macOS 14 及以上系统。

❤️主页 🐙GitHub

频道 @WidgetChannel

日本计划斥资24亿美元购入英伟达Rubin芯片，用于建设机器人AI系统

据《彭博社》报道，日本计划从英伟达采购27500枚下一代Rubin芯片，总投入达3873亿日元（约合24亿美元），用于建设大规模数据中心并开发本土机器人基础AI模型。负责统筹该项目的新成立企业Noetra Corp.已获得上述政府拨款，资金使用期限至明年3月。英伟达首席执行官黄仁勋周三表示，日本拥有众多优秀创意，但劳动力严重不足，"通过自动化、AI和机器人技术，经济可以再度腾飞。"

软银、丰田汽车旗下Preferred Networks Inc.以及NEC Corp.等数十家企业已参与Noetra的组建与运营。Noetra计划于明年3月前发布首个AI模型，并在此后数年内推出专为机器人应用场景定制的专项模型。

🗒 标签: #英伟达 #芯片 #AI
📢 频道: @GodlyNews1
🤖 投稿: @GodlyNewsBot