1. Gradle 常见的几个自定义 Task

    其实这只是对我来说常见的几个。 Gradle 是个很常用的工具其实,但是它默认的功能还是太贫瘠了,因为它提供了很方便的定制方法。

    2017/10/08 Gradle

  2. 搭建 Emacs 的 Haskell/Idris 环境教程

    最近看见 Haskell 群的萌新费尽心思也没成功搭建环境,而且很多都是用浏览器编程,很不清真。为了拯救苍生,顺便为考 SAT 攒人品,我决定写一篇搭建环境教程,来扩大 Emacs 势力。

    2017/10/03 Emacs

  3. 给博客加上了访问量统计

    昨晚上,我给博客加上了我曾经说的不想加的访问统计(以前是不希望自己本来就是余兴的写作被一些外力干扰)。主要原因是好奇,有多少人在看我的博客,看哪些内容。

    2017/09/20 Water

  4. 两年,能带来什么?

    今天特别感性。看到了一些曾经的回忆。

    2017/08/30 Water

  5. 写给 Java 程序员的 Lice 教程 3

    写给 Java 程序员的 Lice 教程

    2017/08/26 Lisp

  6. 如何写好技术文章

    这是搬运的一篇我的破乎回答,题主是魔理沙。

    2017/08/24 Misc

  7. 记录一个很有意思的梦

    网络上出现了一种传说能把人杀死然后重新恢复身体的办法。

    2017/08/18 Misc

  8. 使用 Haskell 编写灵活的 Parser (下)

    本篇主要讲 Parser Combinator 的组合,比如二元运算符的解析以及优先级结合性的处理。

    2017/07/27 Haskell

  9. 使用 Haskell 编写灵活的 Parser (上)

    为什么我会想到去用 Haskell 写 Parser 呢?因为 Haskell 的 do notation 对这种 Monad 组合子真的太友好了。

    2017/07/26 Haskell

  10. Akiris 的 Koa 杂谈 1

    如果有错麻烦告诉我,我会很诚恳地纠正 :) 毕竟只是一个很小的样本,当吐槽看就好啦。

    2017/07/21 Koa

  11. 将 Haskell 翻译为 Rust, C# (上')标准库

    这次承接上篇,是关于 C# 的。 Rust 的 algebraic isomorphism 也写好了,欢迎大家尝试。

    2017/07/10 Haskell

  12. 简单粗暴的地图生成

    这是我大概几个星期前随便写的小玩意,看到一票人都在玩这个,就自己也整了个来玩。

    2017/07/06 Tools

Search