论山谈水寓坤乾，

极目云深锁九天。

语默闻声有万籁，

易安忘却世间缘。

主要用于记录开发中的小问题和一些理解。

不会记录非常复杂的东西（那种东西在脑子里，也懒得写成博客）。

程序开发、周易、常式太极拳。

想读博……准备发展形式语言、数理逻辑证明等相关方向。

主要使用 Haskell 语言，其次使用 Lisp (Emacs) 为脚本语言。根据需求可能选用各种语言（ rust~， ~CC ， Ruby 等）进行开发。

平日使用 Vim 与 Emacs 为主力工具。同时使用 nix~、~home-manager 作为配置管理工具。开发环境集中于 NixOS。

关于开发，更多请见 dotfiles 和 awesome。

• _@vonfry.name, or you can replace mail with any validated local-part.
• matrix: @vonfry:vonfry.name.
• misskey: @_@social.vonfry.name.