1. 聊两个 Kotlin 编译器的 bug

    最近在使用 Kotlin 开发一个 IDE 插件,遇到了一些 Kotlin 编译器的 bug ,就在博客里分享一下。

    2018/02/17 Kotlin

  2. 又过去了半年了

    这是 2016 年 1 月的我。

    2018/02/16 Water

  3. 一些看了让人很爽的动态图

    最近沉迷 IDE 开发,给我的语言 Lice 和老李的语言 CovScript 各自开发了 IntelliJ IDEA 插件,做了一些自己觉得很爽的功能,给引擎加了一些测试。 然后我发现了一个 Linux 下的非常叼的录 gif 的软件,于是就拿来晒一下。

    2018/01/22 IntelliJ

  4. 没有 lambda abstraction 的无聊 Kotlin

    很抱歉最近连续一段时间博客都没有更新,因为我忙着开发 IDE 和折腾申请的事去了(啊我好歹还是非常想上个好大学的),而且自从 Windows 虚拟机原地爆炸之后我就有点提不起劲(QQ 就没了,搜狗输入法也没了, Notepad++ 没了,现在只有 Emacs 可以用)。 不过呢好在我一直都有学习啦,所以博客呢总是可以持续更新的。

    2018/01/20 Kotlin

  5. 人类需要主动思考

    很多时候,重复地向别人请教一些高度相似的问题,尤其是在这个问题很 trivial 的情况下,是一种很不礼貌的行为。

    2018/01/07 Misc

  6. 安卓知乎客户端当然也会收集用户信息

    哪个国产大牌安卓软件不会收集用户信息?我这次就看到了安卓知乎客户端干的东西了。

    2018/01/07 Arkirina

  7. Java 里的类型推导,上篇文章中的一个问题

    看看我刚刚脑子里闪出了什么!

    2018/01/04 Java

  8. Kotlin 那些不仅仅是语法糖的好处

    夜雀的 Kotlin 的华点一文可能会引起我们一个沉重的思考——”这语言到底能不能用?”。但这个人对 Kotlin 的了解到了如此的程度,说明他起码也是 Kotlin 的一个粉丝,而且对 Kotlin 是爱的深沉啊!

    2018/01/03 Kotlin

  9. 计算机科学 (Haskell) 中的偏序理论(译,上)

    这是我第一篇看懂的介绍偏序理论的文章(也可能是因为我之前看一些中文资料的时候没学过 Agda)。 原文地址

    2018/01/02 Haskell

  10. 在 Chrome 里面重定向网页资源

    直接引出下文吧,发现并没有开头。

    2017/12/31 Arkirina

  11. IntelliJ IDEA 复杂的重构操作

    上次我说了一些 “复杂的重构技巧” ,讲的是一些使用 IntelliJ 的简单功能实现复杂的重构需求的技巧。 看到大家的反响之后我就感觉那个可能不大亲民,因为很多人连 inline 这功能都不知道(那岂不是把 IntelliJ 用成了记事本), 于是我决定再写一篇讲讲 IntelliJ 已经提供好了的一些复杂的重构功能。

    2017/12/25 IntelliJ

  12. IntelliJ IDEA 复杂的重构技巧

    重构是 IDE 给人类生活带来便利的一个重要方面。但是 IDE 永远不是我们肚子里的蛔虫,有时我们会有复杂到 IDE 不可能直接提供的重构需求。 下面我来告诉大家怎么利用有限的 IDE 重构功能, 创造无限的价值 处理复杂的情况。

    2017/12/21 IntelliJ

Search