开源仓库
共 8 个仓库 · 按最近更新排序
vuejs/core
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
twbs/bootstrap
The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.
DIYgod/RSSHub
🧡 Everything is RSSible
tailwindlabs/tailwindcss
A utility-first CSS framework for rapid UI development.
Minglink/dsh-infinite-gen-5
DeepSeek v4.1 flash 逆向工具（无限五代） 求 Star 收藏 ⭐欢迎大家提交项目的改进
xia-sc/dsh-opencode-go
DeepSeek Harness LLM provider plugin for OpenCode Go (zen-go route)
OpenAI 一次放出 722 份数学手稿：Lean 验过了，但没人读懂
一句话总结：10月6日OpenAI公开了722份由内部未发布模型生成的数学手稿，覆盖372组成果，部分附了Lean形式化证明。机器能验的那一层过了，人类能理解的那一层是空的，发布后两天就有3篇因符号错误撤回、14篇修订。争论的焦点不在AI会不会做数学，在于验证这件事的成本被推给了谁。...