论极语易 Link to heading
论山谈水寓坤乾，
极目云深锁九天。
语默闻声有万籁，
易安忘却世间缘。
本博客 Link to heading
主要用于记录开发中的小问题和一些理解。
不会记录非常复杂的东西（那种东西在脑子里，也懒得写成博客）。
简述 Link to heading
程序开发、周易、常式太极拳。
想读博……准备发展形式语言、数理逻辑证明等相关方向。
主要使用 Haskell 语言，其次使用 Lisp (Emacs & Common) 为脚本语言。正在接触 CoQ
Agda。根据需求可能选用各种语言（rust，CC， Ruby 等）进行开发。
平日使用 Vim 与 Emacs 为主力工具。同时使用 nix、home-manager 作为配置管理工具。开发环境集中于 NixOS。
Contact / 联系 Link to heading
- _@vonfry.name, or you can replace mail with any validated local-part.
- matrix: @vonfry:vonfry.name.
PGP Keys Link to heading
Current Link to heading
_@vonfry.name 2025-01-25~2026-01-25 _@vonfry.name
dev@vonfry.name 2025-01-25~2026-01-25 dev@vonfry.name
Expired Link to heading
2023-11-26~2024-11-25 mail@vonfry.name
2023-08-30~2024-08-30 moooffice@vonfry.name
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
Revoked Link to heading
~2025-01-25 mail@vonfry.name 296F20CA0C30889E8187C22D1F622882C01D332C