这个好玩

互联网充电｜优质资源
优质内容｜内幕消息

egui 是 Emil Ernerfeldt 用 Rust 写的即时模式 GUI 库，作者也是 Rerun 的创始人。它不负责收集输入和渲染，这两件事交给后端集成，所以同一份 UI 代码能跑在 Web（Wasm + WebGL）、Linux、macOS、Windows 和 Android 上，也能嵌进 Bevy 这类游戏引擎。
https://github.com/emilk/egui

互联网充电｜优质资源
优质内容｜内幕消息

汽水音乐竟然没有提供Mac版本的呢😅
@https1024

现在的国产手机格局
华为系：华为（荣耀已分家）
小米系：小米 + Redmi；投资黑鲨
OPPO 系：OPPO + 一加 + realme 真我
vivo 系：vivo + iQOO
中兴系：中兴 + 努比亚 + 红魔
联想系：moto 摩托罗拉 + 拯救者（游戏手机停更）
吉利系：星纪魅族（手机业务暂停）
华硕系：ROG 游戏手机
@https1024

一个 Windows x64 便携版文件管理器，能在浏览文件的同时递归统计文件夹大小，直观看出哪些目录最占磁盘空间。
https://github.com/ribeirogustav/FolderSizeExplorer-Releases

互联网充电｜优质资源
优质内容｜内幕消息

夯到爆 Cool

互联网充电｜优质资源
优质内容｜内幕消息

0:00

Media is too big

VIEW IN TELEGRAM

在 Apple silicon 的 macOS 27 上关掉 Apple Intelligence 并删除其模型，同时关闭遥测、广告、弹窗和其他应用的后台更新器，所有改动可见且可撤销。
https://github.com/omlahore/RemoveMacAI

互联网充电｜优质资源
优质内容｜内幕消息

AI Agent 抓网页时不用为了拿一段文本就背着一整套持续渲染的浏览器，Moli 只在真要几何数据或截图时才现算布局，内存和 CPU 都能压下来。
https://github.com/lexmount/moli

互联网充电｜优质资源
优质内容｜内幕消息

The Last Math Competition迎来了1000次完备的数学证明，其中200多次被我拒掉了。
https://github.com/The-Last-Math-Competition/The-Last-Math-Competition
我可以告诉你们的是，lean4 project并不能完备证明一个数学定理被证明或者一个猜想被证伪，因为很多时候会模糊这个conjecture的定义，那么整个lean4 project就会作废。
这是血的教训， OpenAI和Anthropic的同行们。

互联网充电｜优质资源
优质内容｜内幕消息

APP可以提供这个 允许摇一摇广告 开关选项的
不多了吧
@https1024

比修牛蹄、洗毛毯好解压多了，我可以看一天！

互联网充电｜优质资源
优质内容｜内幕消息

手写一个跑在终端里的 AI 编程助手，从交互界面到 Agent 主循环全链路自研并配中文注释，当 Agent 开发的活教材。
https://github.com/Harvil1/codeAgent

互联网充电｜优质资源
优质内容｜内幕消息

把散落的文档自动归档成结构化的 Markdown 维基，回答问时给出引用到具体笔记的答案，并用小型分类器替代大模型决定内容该放哪。
https://github.com/crow-hq/llm-wiki-v2

互联网充电｜优质资源
优质内容｜内幕消息

Azure Skills Plugin 是微软官方出的 AI 代理插件，主要干两件事：一是教代理 Azure 的工作套路（什么时候用什么服务、该验证什么、有哪些坑要避开），二是给它配上 MCP Server 的执行能力，200 多个工具覆盖 40 多项 Azure 服务。
https://github.com/microsoft/azure-skills

互联网充电｜优质资源
优质内容｜内幕消息

给你推个电视盒子用户必须收着的 GitHub 仓库：TVAPP，简直就是个 Android TV 软件库。
它把各种 TV 应用都归拢好了：TVBox、影视仓、FongMi、OK 影视、电视直播、K 歌、B站第三方客户端、儿童教育、工具、游戏等等都有，还标了版本、兼容性和当前能不能用。
更省事的是，仓库底下还整理了 TVBox 接口源、直播源、多仓配置，换电视、换盒子的时候不用满世界去扒 APK 和配置。
家里有 Android TV 或者电视盒子的，这一个仓库够你慢慢折腾了。
GitHub： ⁠https://github.com/youhunwl/TVAPP

互联网充电｜优质资源
优质内容｜内幕消息

BMW YYDS ！闪电麦昆和道奇合体了😍

互联网充电｜优质资源
优质内容｜内幕消息

0:34

Media is too big

VIEW IN TELEGRAM

在本地把发给模型供应商的请求先过一遍隐私检测，把密钥、邮箱、电等敏感内容按策略告警、拦截或脱敏，同时在响应里把占位符还原回原值。
https://github.com/Calcium-Ion/AstrLink

互联网充电｜优质资源
优质内容｜内幕消息

一群 coding agent 并行跑同一个仓库时，让第一个撞错并修好它的 agent 把修法传给同仓库的其他 agent，省掉每台各自从头诊断同一错误的 token。
https://github.com/Shyboy0499/antibody

互联网充电｜优质资源
优质内容｜内幕消息

This solves a pretty specific but annoying problem: you have the finished poster, but not the PSD or original assets.
Easy Pick is an image extractor that can pull multiple products, icons, or illustrations from one flat image and save them as separate PNG assets.
Not a background remover, not PSD recovery — just a quick way to reuse assets from old graphics.
@https1024

在 Windows 桌面上像 Stardock Fences 那样，把零散的图标收进可拖拽的"栅栏"分组里，省去手动整理。
https://github.com/Yumesaka13/DeskChan

互联网充电｜优质资源
优质内容｜内幕消息