曾在国内 Minecraft 圈子混迹多年,曾经参与过众多服务器建设,插件以及 Mod 等开发维护等工作,期间更认识了一众开发/生活上的好友,帮助提升我日后的开发水平,视野。同时也收获了成就感,让我重新展望未来。在此感谢曾经帮助过我,支持过我的一众好友!

兴趣爱好

  • 音游方面:Osu! Cytus。打粉饼大概有个接近两年了,途中还跑去魔改了下 Osu,而 Cytus 则是近期才开始打
  • 太空科幻题材:Space Engineers EVE Stellaris Warframe
  • 策略/生存/大生产:Minecraft Space Engineers Factorio
  • 问我为什么没有FPS游戏?因为我是FPS鬼(cai)才(bi)好吧
  • 死也要钻研一些有兴趣的问题
  • 康好康的番/康好康的记录片
  • 忠实车万厨,虽然并非原著 STG 玩家,但被其二次创作作品魅力深深折服,平时爱好听东方音乐 喜好的社团/唱见有例如:凋叶棕,めらみぽっぷ,幽閉サテライト 等
  • 咕咕咕?

主要使用编程语言

  • Haskell
  • Agda
  • Kotlin
  • Java
  • C#
  • TypeScript
  • Arend (未来)
  • Idris (未来)

赞美IDE / Text Editor

  • Intellij IDEA
  • MPS
  • Emacs
  • Vim / NeoVim
  • VSCode

日后研究领域

  • Multi-threading programming and parallel
  • Category Theory
  • Homotopy Type Theory
  • Programming Language Theory (PLT)
  • OpenGL and Linear algebra

职衔 / 职务

联系方式