| 我的前端所渲染的 REWORK 译文 REWORK • xieyuheng • 346 天前 • 最后回复来自 xieyuheng | 6 |
| 「蝉语 / Cicada Language」一个可以用来辅助数学定理之证明的程序语言
1 数学 • xieyuheng • 2022-01-23 16:04:16 PM • 最后回复来自 xieyuheng
|
18 |
| 「蝉语 / Cicada Language」一个新的 dependent type 语言！
4 程序员 • xieyuheng • 2022-01-16 18:39:35 PM • 最后回复来自 xieyuheng
|
4 |
| 我用我设计的书籍渲染工具，渲染出了站长翻译的 REWORK 程序员 • xieyuheng • 2022-01-12 10:24:57 AM • 最后回复来自 xieyuheng | 2 |
| 「只读链接」书籍与文章的邀请
1 设计 • xieyuheng • 2022-01-11 18:05:30 PM
|
| Readonly.Link 是一个 Markdown 渲染平台，可以给 Markdown 写扩展！ 分享创造 • xieyuheng • 2022-01-16 19:04:48 PM • 最后回复来自 MrBrother | 8 |
| 《我是如何开始关心数学基础的》
3 数学 • xieyuheng • 2022-01-11 18:07:10 PM • 最后回复来自 xieyuheng
|
13 |
| 职业程序员誓词 (大概是模仿美国医学院的希波克拉底誓词) 翻译 • xieyuheng • 2019-05-26 12:28:29 PM • 最后回复来自 Lax | 2 |
| 找工作啦 >_<! scheme prolog lisp clojure haskell ocaml 都可以! 求职 • xieyuheng • 2018-03-28 16:16:31 PM |
Select Language