乐水榭 | 论极语易-Vonfry 博客

论极语易

论山谈水寓坤乾，

极目云深锁九天。

语默闻声有万籁，

易安忘却世间缘。

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

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

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

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

主要使用 Haskell 语言，其次使用 Perl 为脚本语言。正在接触 Coq。根据需求可能会选用 rust、elixir、ruby、C++ 等语言进行开发。

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

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