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. · GitHub — an AI inference engine written in Rust.

GitHub - datalab-to/chandra: OCR model that handles complex tables, forms, handwriting with full layout. · GitHub — an OCR model that automatically handles layout.

GitHub - uutils/coreutils: Cross-platform Rust rewrite of the GNU coreutils · GitHub — GNU Coreutils rewritten in Rust.

A control-theory algorithm simulation tool: Control Theory Simulator GitHub - cool-koala/Control-Theory-Simulator · GitHub

魔方维基和谜题 - Ruwix.cn — cube wiki and puzzles.

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

Scientific & Scholarly Research Database | Scilit — a literature data center.

AI & Tech Blog | Guides, Reviews & Insights | Dupple — an AI-focused blog.

HeyBlog Console — a webpage that crawls friend links and aggregates blogs.

MathArena — a benchmark leaderboard for large-model math ability.

GitHub - atuinsh/atuin: ✨ Making your shell magical · GitHub — enhanced shell-history search.

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

  1. The video team built a test set roughly comparable to college-entrance-exam difficulty, with trap questions that can mislead AI models. Overseas models were led by Gemini, GPT, and Claude; domestic models by Seed and DeepSeek.
  2. Current AI math ability is in a contradictory state. It is good at brute-force exploration and can use powerful computation plus existing knowledge to solve complex calculation and case-analysis problems. But for math that requires pure insight, elegant intuition, and concise construction, such as extremal constructions or combinatorics, AI still struggles. Creating new mathematical theory remains very difficult for current statistical language models.

Aibijia — AI 订阅，一键比价 — one-click price comparison for AI subscriptions.

TokenNav - AI API 中转站导航 — navigation site for AI API relay services.

Telegram Themes — create custom Telegram themes here. Some themes I made:

PaperPlotHub — Open marketplace for paper plot scripts — resources for scientific plotting.

Collected a few Git clients for Windows and Mac:

Xiaomi MiMo 100T — Xiaomi MiMo trillion-token creator incentive program. You can apply for token access.

点点 — Xiaohongshu’s AI Chat.

Dokobot - AI Agent 的浏览工具 — a CLI tool for getting information from the browser.

GitHub - rossant/awesome-math: A curated list of awesome mathematics resources · GitHub — exactly what the name says: Awesome Math.

Linear Algebra Cheat Sheet by gustavhelms - Download free from Cheatography - Cheatography.com: Cheat Sheets For Every Occasion — a linear algebra cheat sheet. The site has many other cheat sheets too.

Introducing talkie: a 13B vintage language model from 1930 — a 13B language model trained on pre-1930 material. Very back-to-basics.

GitHub - warpdotdev/warp: Warp is an agentic development environment, born out of the terminal. · GitHub — Warp is now open source.

Introducing Laguna XS.2 and Laguna M.1 — Poolside — two new models.

GitHub - caojiaolong/spaces-index: 本项目自动抓取并索引科学空间的文章元数据，按研究主题进行规则分类，方便在 GitHub 上快速浏览并跳转到原文。 · GitHub — an index of Su Jianlin’s Scientific Spaces articles, automatically crawled and categorized by research topic.

GitHub - Hmbown/DeepSeek-TUI: Coding agent for DeepSeek models that runs in your terminal · GitHub — a deepseek-tui developed by an American developer.

Command Code - AI coding agent with taste — offers a $1 plan.

During the May Day holiday I had headaches for five or six straight days. Looking at the left side of the screen made my eye uncomfortable, with a pulsing pain behind the eye and a pulling sensation. I suspect muscle fatigue from too much screen time and staying up late. I spent almost the whole holiday lying in bed sleeping and did almost nothing. I really need to pay attention to health, eye care, and rest. It is awful when everything feels bad and sleep is the only option; soon after waking up each day, the headache would start again. From now on I want to gradually build better routines: sleep and wake on time, use my eyes scientifically, reduce screen time, go outdoors more, and eat healthier.