V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  xieyuheng  ›  全部主题
主题总数  49
1  2  3  
我的前端所渲染的 REWORK 译文
REWORK  •  xieyuheng  •  2023-05-22 20:56:39 PM  •  最后回复来自 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
    《我是如何开始关心数学基础的》
  •  3   
    数学  •  xieyuheng  •  2022-01-11 18:07:10 PM  •  最后回复来自 xieyuheng
    13
    职业程序员誓词 (大概是模仿美国医学院的希波克拉底誓词)
    翻译  •  xieyuheng  •  2019-05-26 12:28:29 PM  •  最后回复来自 Lax
    2
    1  2  3  
    关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   3679 人在线   最高记录 6679   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 11ms · UTC 00:10 · PVG 08:10 · LAX 16:10 · JFK 19:10
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.