1. 基于图像的 LSB 隐写术科普

    这是 SKE 文章无良小编想和泥玩捉迷藏!的 Java 翻译。 文章不是我写的,代码是我写的。

    2017/12/20 Tools

  2. 为什么我用 merge 而不用 rebase

    这是针对虎哥在净土社区的一个问题的回答。

    2017/12/15 Git

  3. JavaFX 在 Ubuntu 上的一个 bug ,万恶的向前不兼容

    最近在写一些多媒体相关的代码,当了一回 API 拼接工程师,然后踩了不少坑,现在又有了写博客的欲望。

    2017/12/07 Java

  4. 给博客添加了部分文章可评论的功能

    之前不是RXZ 开 issue 说想要评论功能吗。

    2017/11/13 Misc

  5. 正确地使用 Kotlin 的 internal

    Kotlin 的 internal 被定义为 “只有这个模块可以调用” 却在被打包为 jar 后可以被 Java 代码视为 public 调用, which 被广为诟病。 那么就让我们来看看怎么解决这个问题吧。

    2017/11/12 Kotlin

  6. 将 Flutter 项目部署到 Travis CI

    Travis CI 是一个难用又好用的 CI ,由于本身支持的东西就少,今天我们来尝试将 Flutter 部署到它上面。

    2017/11/10 CI

  7. Agda 中的证明,从三到四

    这篇文章我们来说说模式匹配的另一种特殊情况。 到目前为止,很可能部分字符无法在一些字体下正常显示。

    2017/11/09 Agda

  8. Agda 中的证明,从二到三

    这篇文章我们来说说模式匹配的一种特殊情况。 到目前为止,很可能部分字符无法在一些字体下正常显示,这时候使用 LaTeX 的优越性就体现出来了。

    2017/11/08 Agda

  9. Agda 中的证明,从一点五到二

    上一篇说了很多只有一种情况的证明,这一篇说个有两种情况的。 到目前为止,按理说所有的字符都还能正常显示。

    2017/11/06 Agda

  10. Agda 中的证明,从一到一点五

    上一篇我们说到了一个只有一步的证明,这一篇我们来看一个稍微复杂点的,组合命题的例子。 到目前为止,按理说所有的字符都还能正常显示。

    2017/11/02 Agda

  11. Agda 中的证明,从零到一

    类型则命题,程序则证明。这句话表达了定理证明的一个很重要的思想。

    2017/11/01 Agda

  12. Kotlin 1.2 跨平台模块初体验

    之前说不会再写 Kotlin 的东西了,现在为什么我又开始写了呢?并不是因为我傲娇或者口嫌体正直,是因为 Kotlin 有了重大更新了,那我对写 Kotlin 文章这一事的态度也应该重大更新一下啊是不是。

    2017/10/12 Kotlin

Search