GitHub - Michael-A-Kuykendall/shimmy: ⚡ Python-free Rust inference server — OpenAI-API compatible. GGUF + SafeTensors, hot model swap, auto-discovery, single binary. FREE now, FREE forever. · GitHubRust编写的AI推理引擎。

GitHub - datalab-to/chandra: OCR model that handles complex tables, forms, handwriting with full layout. · GitHub自动处理layout的OCR模型。

GitHub - uutils/coreutils: Cross-platform Rust rewrite of the GNU coreutils · GitHub使用Rust编写的 CoreUtils。

控制理论算法仿真模拟器。 Control Theory Simulator GitHub - cool-koala/Control-Theory-Simulator · GitHub

魔方维基和谜题 - Ruwix.cn如题。

GitHub - mmulet/term.everything: Run any GUI app in the terminal❗ · GitHub

Scientific & Scholarly Research Database | Scilit一个文献数据中心。

AI & Tech Blog | Guides, Reviews & Insights | Dupple一个关注AI的博客。

HeyBlog Console一个基于友链爬取所有博客的网页。

MathArena大模型数学能力测评榜单。

GitHub - atuinsh/atuin: ✨ Making your shell magical · GitHub终端历史搜索增强。

【漫士】“我证明了黎曼猜想,AI说我是对的” - YouTube

  1. up 主团队构建了一套对标高考难度的试题,且设计了容易让 ai 掉入陷阱的题目,测试了各家大模型的能力,国外主要是 gemini gpt claude 领先,国内则是 seed 和 deepseek 领先。
  2. 当前AI的数学能力处于一种矛盾状态。它擅长“大力出奇迹”,能用强大的算力和已有的知识库解决极其复杂的计算与分类讨论;但在面对需要纯粹灵感、简洁优雅直觉的数学领域(如极值构造、组合数学),AI依然难以胜任。创造全新的数学理论,对目前的统计语言模型而言,仍是一座难以跨越的高山。

Aibijia — AI 订阅,一键比价收集了第三方AI订阅的价格。

TokenNav - AI API 中转站导航AI中转站导航。

Telegram Themes在这里可以创建Telegram的自定义主题。下面是我做的几个:

PaperPlotHub — Open marketplace for paper plot scripts科研绘图资源。

搜集了一些Windows和Mac上的Git客户端。

Xiaomi MiMo 100TXiaomi MiMo 百万亿 token 创造者激励计划,申请有机会获取 token。

点点小红书的AI Chat。

Dokobot - AI Agent 的浏览工具一个从浏览器获取信息的CLI工具。

GitHub - rossant/awesome-math: A curated list of awesome mathematics resources · GitHub如题,Awesome Math。

Linear Algebra Cheat Sheet by gustavhelms - Download free from Cheatography - Cheatography.com: Cheat Sheets For Every OccasionLinear algebra Cheat Sheet,这个网站还有其他的各种各样的Cheat Sheet。

Introducing talkie: a 13B vintage language model from 1930一个根据1930年以前的资料训练的13B语言模型,非常的返璞归真。

GitHub - warpdotdev/warp: Warp is an agentic development environment, born out of the terminal. · GitHubWarp 开源了。

Introducing Laguna XS.2 and Laguna M.1 — Poolside两个新模型。

GitHub - caojiaolong/spaces-index: 本项目自动抓取并索引科学空间的文章元数据,按研究主题进行规则分类,方便在 GitHub 上快速浏览并跳转到原文。 · GitHub苏剑林老师的科学空间文章索引。

GitHub - Hmbown/DeepSeek-TUI: Coding agent for DeepSeek models that runs in your terminal · GitHub一个美国佬开发的 deepseek-tui。

Command Code - AI coding agent with taste提供一刀的套餐。

这周五一假期头疼了整整五六天,看多了屏幕左边眼睛不适,感觉眼睛后面一跳一跳的疼,有东西牵拉,应该是肌肉疲劳。我猜测是最近电脑屏幕看多了,包括熬夜。整个假期几乎都在床上睡觉,什么也没干,还是要注意身体,注意用眼,注意休息,干什么都难受,只能睡觉真的很难受,每天起床之后,过不了多久头就开始痛。我决定从现在起,逐渐养成良好的作息。每天按时睡觉、按时起床、科学用眼、少看屏幕。多增加户外活动。健康饮食。