光阴冢 赛博空间的自留地

跨年间

回家之前,最后一顿好吃的。当时哪里会想到,接下来几个月都无法在外面吃饭了呢。

Read more

2019 总结

2019 年发生了很多事情。

Read more

2019 年末的照片

马上就要跨年了。

今年仍然去了好几次西湖,但是比起去年少了许多了。

Read more

Haskell 几题

这几天在看 Concrete Semantics 的类型理论部分,于是想做一下之前没有做下去的 Codewars 上的几道 Haskell 题。

Read more

使用 WireGuard 配置一个 IPv6 Tunnel

WireGuard 可以用来建立安全的点对点的连接。INRIA 的研究人员于 2019 五月发表了对于该协议的一份机器证明

Read more