我的随笔

linux 分配git用户名和密码

ChrainY 2023-09-01 11:05 阅读:468 评论:0 推荐:0

WizardMath

ChrainY 2023-09-01 08:21 阅读:56 评论:0 推荐:0

presentation for markdown

ChrainY 2023-08-31 21:56 阅读:20 评论:0 推荐:0

with equations, figs, tables and references

ChrainY 2023-08-31 17:43 阅读:34 评论:0 推荐:0

fair division for parallelsim

ChrainY 2023-07-28 13:59 阅读:35 评论:0 推荐:0

Python: Yield & With/As & arcade

ChrainY 2023-07-11 13:56 阅读:34 评论:0 推荐:0

code editor github

ChrainY 2023-07-09 21:55 阅读:61 评论:0 推荐:0

Disciplined Convex Optimization

ChrainY 2023-07-06 10:49 阅读:28 评论:0 推荐:0

double number represention

ChrainY 2023-07-03 20:05 阅读:29 评论:0 推荐:0

What maths is already in Lean?

ChrainY 2023-07-03 09:41 阅读:15 评论:0 推荐:0