光阴冢 赛博空间的自留地

Blogs

Parser and Evaluator Exercises

最近需要学习用 ML 族的语言写一个 VHDL 的 Parser,于是就有了一系列的尝试,顺便完成了几道 Codewars 上的习题。

Read more

WSL2 端口转发

最近发现很多同学都升级到了 Ubuntu 20.04 LTS,于是也就把现有的几台服务器升级了(毕竟没在跑什么需要可靠性的服务)。又发现 WSL 也可以升级了,于是就配了一下。

Read more

SICP 读后 (一)

虽说标题写的是「读后」,但实际上是读了前四章,所以可预见应该会有(二)吧。只是想记录一下,虽然说学写代码写了也有四五年了,函数式也接触了一年多了,但是读了书之后才发现之前的知识都太浅薄了,甚至根本没有怎么思考过,只是将已有的范式进行的组合。

Read more

Haskell 几题

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

Read more