论极语易

论山谈水寓坤乾,

极目云深锁九天。

语默闻声有万籁,

易安忘却世间缘。

本博客

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

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

简述

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

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

主要使用Haskell语言。正在接触Coq

次要使用Ruby以及CRust。学过一些语言,但比较喜欢的是这几个。

平日使用VimEmacs写代码。Emacs为主力工具。同时使用home-manager作为配置管理工具。

主要开发环境在macOS与NixOS上。主开发环境为macOS,其次为Gentoo,尝试Nix中。

关于开发,更多请见dotfilesawesome

PGP Keys

Current

mail@vonfry.name

Expired

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