论极语易 Link to heading

论山谈水寓坤乾,

极目云深锁九天。

语默闻声有万籁,

易安忘却世间缘。

本博客 Link to heading

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

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

简述 Link to heading

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

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

主要使用 Haskell 语言,其次使用 Lisp (Emacs & Common) 为脚本语言。正在接触 CoQ Agda。根据需求可能选用各种语言(rustCCRuby 等)进行开发。

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

关于开发,更多请见 dotfilesawesome

Contact / 联系 Link to heading

PGP Keys Link to heading

Current Link to heading

mail@vonfry.name

2023-11-26~2024-11-25 mail@vonfry.name

2023-08-30~2024-08-30 moooffice@vonfry.name

Expired Link to heading

2022-11-26~2023-11-26 mail@vonfry.name

2020-09-13~2022-09-13 mail@vonfry.name

2019-01-31~2020-07-15 mail@vonfry.name

2019-09-09~2020-03-07 mail@vonfry.name

2018-03-31~2019-03-31 vonfry314@gmail.com