chenle

table tennis + neovim

[Joruno @wsl8297]

想系统学数学，教材、视频、题库满网都是，真正高质量的却分散难找，筛选一遍特别耗时间。

我在 GitHub 上发现了 Awesome Math：一份把优质数学资源按体系整理好的清单，已收获 14k+ stars。

它覆盖代数、几何、分析、概率统计、数论等 30+ 领域，把各类学习入口集中到一处；学习形式也很全：视频课、电子教材、练习工具一应俱全，甚至还有 MIT、哈佛等名校学生的课程笔记。

GitHub：https://t.co/EOnNxxwy78

资源经过筛选并持续更新，想自学数学，这份清单值得直接收藏。

[Adib Hanna @adibhanna]

Neovim v0.12 comes with a net request() function, you can use it to fetch files directly and ":edit" them!

Here's a quick demo! (I can imagine how useful this will be)

[Neovim, e/plugins @Neovim]

Nvim 0.12 released.

sweet, sweet release.

[Cliff Pickover @pickover]

Mathematics.

Types of Numbers.

By Ketrina Thompson, https://t.co/xZPw6o4OPb, Used with permission.

[Deedy @deedydas]

AI just achieved a perfect score on the hardest math competition in the world.

The Putnam has 12 problems x 10 points. The highest score last year was 90. The median? 0. Axiom's AI prover in Lean scored 120/120 and just shared all the solutions.

Huge milestone for AI in Math.

[Cliff Pickover @pickover]

Mathematics. Lost in the Mathematical Mountains.

By Abstruse Goose, cc by-nc 3.0 us

[Cliff Pickover @pickover]

Mathematics, statistics, life. Fitting Fantasies: From Denial to Divination.

By @ErrantScience, https://t.co/xXGiploZHf, cc-by-nc

[OpenAI @OpenAI]

Plus and Pro users who sign in to Codex CLI with ChatGPT can now redeem $5 and $50 in free API credits, respectively, for the next 30 days.

[chenle @chenle02]

A slightly longer Lean 4 proof tour https://t.co/cNEe8RAA2t

[VimTricks @vim_tricks]

Open Vim from the command line with files already split:

• vim -o file1.txt file2.txt – Open both files, split horizontally
• vim -O file1.txt file2.text – Vertically

👉 Read the tip: https://t.co/WNHPqvUt2Q

📨 Subscribe for more tips: https://t.co/iNUnlLcO9W

[chenle @chenle02]

Help me bring back the Kinesis Advantage360 Split Ortho Ergonomic Keyboard to @drop! Request it here: https://t.co/j1OUfGaWbQ

[chenle @chenle02]

@johncodes I like your table tennis racket better

[chenle @chenle02]

Love the setup.

[Neovim, e/plugins @Neovim]

#neovim is the world's most-loved editor. That's just science.

https://t.co/eQoPz4dHJ9

[chenle @chenle02]

Check out my GitHub Skyline! https://t.co/yM2yM3BkV4

[Donald J. Trump @realDonaldTrump]

The United States will be powerfully supporting those industries, like Airlines and others, that are particularly affected by the Chinese Virus. We will be stronger than ever before!