tweetindex
DE

灰狐 ✓

@huihoo · Chengdu, China · joined 31 Jan 2009

透过简单与美丽认识真理

25 861Followers
2 111Following
9 403Posts total
362.8KViews on collected posts

Neueste Beiträge

CMSIS (Common Microcontroller Software Interface Standard) https://t.co/lPWy8TiGTw CMSIS(通用微控制器软件接口标准)是一套包含 API、软件组件、工具和工作流程的规范,旨在简化软件复用,降低微控制器开发人员的学习门槛,加快项目构建与调试速度,从而缩短新应用的上市时间 CMSIS https://t.co/6nSuQsttsg
949 views · 12 likes · 4 reposts · 0 replies Open on X →
Pascal 基于 ALGOL 60 语言开发 为纪念法国数学家和哲学家帕斯卡而命名 Pascal 开发者 Niklaus Emil Wirth 他也是好几种编程语言的主设计师 写过一本书名 Algorithms + Data Structures = Programs 的书 算法 + 数据结构 = 程序 已成计算机科学的名句 https://t.co/UALcuFmZyF Pascal 于 56 年前的 1.5K views · 5 likes · 0 reposts · 0 replies Open on X →
HeidiSQL 是一款最初为 MySQL 和 MariaDB 编写的数据库工具 https://t.co/U7hyXmKu6d 后来增加了对 PostgreSQL 和 SQLite 的支持 其传统的 Windows 版本基于 Delphi 开发 同时也支持 SQL Server 和 Interbase Linux 版本则于 2025 年移植到了 Lazarus/FreePascal 平台 现在也支持 macOS,这是在 https://t.co/jZTEzv5JzL
4.3K views · 38 likes · 5 reposts · 6 replies Open on X →
菲尔兹奖 (1954) 沃尔夫数学奖 (2000) 阿贝尔奖 (2003) 数学界“三大奖项”大满贯得主 Serre 生日快乐 🎂🎉 2.4K views · 31 likes · 1 reposts · 0 replies Open on X →
Ada 由 Pascal 及其他语言扩展而成 接近自然语言和数学表达式,阅读起来也是容易理解的 VHDL诞生于1983年,1987年被美国国防部和IEEE确定为标准硬件描述语言 VHDL 受 Ada/Pascal 影响,类型语法结构等蛮相似 之间也提及 GHDL 主要由 Ada 编写 准备 Ada, VHDL, GHDL 一同学习研究下 3K views · 7 likes · 0 reposts · 0 replies Open on X →
形式化数学、形式化音乐,两个非常有趣的领域 形式化数学已经有了很大的突破,发展迅猛 著名数学家陶哲轩也着迷于数学形式化证明 https://t.co/3aMOsTF9rX 比如形式化语言:Lean, Rocq, Isabelle/HOL 它们都提供了丰富的数学库 Lean: 构建了统一数学库,核心优势所在 https://t.co/uEKCYVvHvv Rocq: https://t.co/7CLJxvODja
10.5K views · 95 likes · 15 reposts · 2 replies Open on X →
@huihoo 陶神头像都糊了还在用,看样子很喜欢自己年轻时的模样 1.3K views · 3 likes · 0 reposts · 1 replies Open on X →
陶哲轩也着迷于数学形式化证明 也为数学研究指明了新的方向和领域 Lean + LLM ≈ 数学形式化证明 他的经典之作《Analysis I》也有了 Lean 形式化版本 https://t.co/qUNdnlGpWu 这里有份PDF: 基于 Lean 的数学形式化简介 https://t.co/u3co7MMEP2 https://t.co/ODzpAafxKq
30.3K views · 27 likes · 9 reposts · 0 replies Open on X →
陶哲轩(Terence Tao)的 GitHub 账号 https://t.co/ppLd3xnVee https://t.co/Xybsb6CkI3
155.3K views · 644 likes · 92 reposts · 6 replies Open on X →
2026年开年以来,AI 以摧枯拉朽的速度完整解决了至少10个Erdős问题,如果把新解也考虑在内,那就是19个,数学科研的珍妮纺纱机已经出现了。 详情: 根据著名数学家陶哲轩维护的名叫 AI contributions to Erdős problems 的 wiki (最后一次更新在3月28日)统计,2026年1月–3月底,AI 在 Erdős 153.3K views · 140 likes · 19 reposts · 6 replies Open on X →

Im Vergleich zu Konten gleicher Größe

5 Beiträge aus den letzten 90 Tagen, verglichen mit der Größenklasse 10K–100K Follower. wird weit gezeigt, aber nur wenige dieser Zuschauer reagieren.

Medianaufrufe2 406dieses Konto924Median für 10K–100K
Reichweite, %9.30%dieses Konto3.62%Median für 10K–100K
Interaktion, %1.13%dieses Konto1.52%Median für 10K–100K
KennzahlDieses KontoMedian für 10K–100KVerhältnis
Medianaufrufe pro Beitrag2 4069242.60×
Reichweite (Aufrufe ÷ Follower)9.30%3.62%2.57×
Interaktionsrate1.13%1.52%0.74×

Weitere Konten dieser Größe →   Mit einem anderen Konto vergleichen →   Wie diese Vergleichswerte entstehen →

Growth & engagement

How the posts we collected actually performed: views and reaction rate post by post, what the audience did with them, and where the follower count goes.

Views per post

153.3K24 May
155.3K25 May
30.3K
1.3K
10.5K29 May
3K13 Sep
2.4K15 Sep
4.3K
1.5K
949

Last 10 collected posts, oldest on the left. The scale is logarithmic: one post can outrun the rest a hundred times over.

Engagement rate per post

0.11%24 May
0.48%25 May
0.13%
0.30%
1.08%29 May
0.26%13 Sep
1.37%15 Sep
1.13%
0.34%
1.69%

Reactions — likes, reposts, replies and quotes — divided by views. Median for 10K–100K accounts is 1.52%.

What the audience does

Likes55.1%1 002 in total
Reposts8.0%145 in total
Replies1.2%21 in total
Quotes0.9%16 in total
Bookmarks34.9%635 in total

Share of every reaction we collected for this account. Replies mean argument, reposts mean endorsement, bookmarks mean the post was worth keeping.

The follower curve appears once this account has two daily snapshots — we take one a day, and this one is on its first.

Ähnliche Konten