技术日报 · 2026.10.07
每日精选：GitHub 热门项目 + 技术圈新鲜事。
GitHub 热门
openai/math
📝 Lean
⭐ 5.0K+ stars
alchaincyf/huashu-art-motion
艺术动画skill：35种艺术风格、9种解说语法，用代码让画动起来。 📝 前端
⭐ 881+ stars
elstongun/leviathan
Deep memory for agents over large datasets. Leviathan is a single static binary that turns your records (JSONL, JSON, CSV/TSV, SQLite, or anythi 📝 Rust
⭐ 649+ stars
rit3zh/morphlet
A native, morphing floating tray for React Native. 📝 前端
⭐ 223+ stars
jasonbitsmith/muse-skills
300 条 Muse 技能：每条一句话痛点 + 三步做法，点开就能用 📝 开源
⭐ 207+ stars
Henryfud/werm
A 302 neuron network on the real C. elegans wiring diagram, with a steering layer for local language models. 📝 HTML
⭐ 197+ stars
AI/LLM 动态
openai/math
📝 AI · Lean
⭐ 5.0K+ stars
alchaincyf/huashu-art-motion
艺术动画skill：35种艺术风格、9种解说语法，用代码让画动起来。 📝 AI · 前端
⭐ 881+ stars
elstongun/leviathan
Deep memory for agents over large datasets. Leviathan is a single static binary that turns your records (JSONL, JSON, CSV/TSV, SQLite, or anythi 📝 AI · Rust
⭐ 649+ stars
Hacker News 热门
Sharing AI progress in mathematics
759 分 · Sharing AI progress in mathematics
Strands Decider 2B: a small, open-source, decision model
126 分 · Strands Decider 2B: a small, open-source, decision model
Decisions API is in public beta
239 分 · Decisions API is in public beta
[Mistral Large 4](https://mistral.ai/news/mistral-large-4/\)
1718 分 · Mistral Large 4
Penguin Mail – open-source Rust email client for Linux with AI
147 分 · Penguin Mail – open-source Rust email client for Linux with AI
ESP32-C3 Adblock
56 分 · ESP32-C3 Adblock
数据来源：GitHub API · Hacker News Firebase API