互联网从业者充电站@https1024 · 频道 · 31 291 订阅者✅ 高可信度

帖子我是还没睡醒吗

2026年10月8日

互

互联网从业者充电站

视频
ghrKcgsDp738QHgY.mp4 · 1.6 MB

我是还没睡醒吗互联网充电｜优质资源优质内容｜内幕消息

1 · 424 · 04:32

信息流中的邻近内容

互联网从业者充电站04:01OpenAI 官方新开的 Lean 形式化数学仓库，刚上线一天就冲到榜首。用形式化证明语言做数学，是 OpenAI 在自动定理证明/数学推理方向的新动作，值得关注。 https://github.com/openai/math 互联网充电｜优质资源优质内容｜内幕消息互

互联网从业者充电站04:02把六个 AI 客户端（DSH、WorkBuddy、ZCode、Codex、Cursor、Claude Code）里用户碰不到的内置提示词换掉，改成自己写的 persona.md，动手前留备份，出事一条命令还原。 https://github.com/z91772524-ai/pojia-next 互联网充电｜优质资源

这条消息

互联网从业者充电站06:06macOS 截完图，缩略图堆在桌面、文件还得自己收拾；装这个菜单栏小工具，截图统一挂到屏幕顶边一条线上，用的时候拉下来拿。 https://github.com/alejandrobujan/tendedero 互联网充电｜优质资源优质内容｜内幕消息互

互联网从业者充电站06:07用纯 Rust 从零重写一个 Word 兼容的文字处理软件，让 .docx 编辑、排版和 PDF 导出不依赖微软 Office，并能由 AI agent 通过 CLI 与 MCP 驱动。 https://github.com/storytold/wordcraft 互联网充电｜优质资源优质内容｜内幕消息

互

互联网从业者充电站

互联网从业者充电站@https1024 · 频道 · 科技

31 291订阅者341帖子平均触达

社群信息流在 Telegram 中打开

来自搜索索引的公开信息流 ChatCrawler ——“公开 Telegram 的 Google”；随着该社群被抓取而更新。时间为 UTC。

仅限公开内容，使用 Telegram 官方 API。关于 · 常见问题 · 索引限制 · 移除页面 · 目录 · 搜索 · 计算方法