论极语易
论山谈水寓坤乾,
极目云深锁九天。
语默闻声有万籁,
易安忘却世间缘。
本博客
主要用于记录开发中的小问题和一些理解。
不会记录非常复杂的东西(那种东西在脑子里,也懒得写成博客)。
简述
程序开发、周易、常式太极拳。
读研中……准备发展形式语言、数理逻辑证明等相关方向。
主要使用 Haskell
语言,其次使用 Perl
为脚本语言。正在接触 CoQ Agda
。根据需求可能选用各种语言(rust
,CC
,Ruby
等)进行开发。
平日使用 Vim
与 Emacs
写代码。Emacs
为主力工具。同时使用 nix
、home-manager
作为配置管理工具。开发环境集中于 NixOS。
PGP Keys
Current
2020-09-13~2022-09-13 mail@vonfry.name
Expired
2019-01-31~2020-07-15 mail@vonfry.name