Categories

Agda

  1. 2018/08/04 Agda 实现类型安全的 printf
  2. 2018/06/13 迟来的 Agda 环境搭建
  3. 2018/05/30 Agda 中的 coinductive data type
  4. 2017/11/09 Agda 中的证明,从三到四
  5. 2017/11/08 Agda 中的证明,从二到三
  6. 2017/11/06 Agda 中的证明,从一点五到二
  7. 2017/11/02 Agda 中的证明,从一到一点五
  8. 2017/11/01 Agda 中的证明,从零到一

Android

  1. 2017/01/16 Android 神器 Pocket Git 的使用
  2. 2016/07/11 谷歌黑科技:为什么这么小啊

Arkirina

  1. 2018/06/16 让博客的代码容器不换行
  2. 2018/05/06 知乎那神一般的糖
  3. 2018/01/07 安卓知乎客户端当然也会收集用户信息
  4. 2017/12/31 在 Chrome 里面重定向网页资源
  5. 2017/04/22 解决一个神奇的webpack问题 - Cannot find module 'webpack/schemas/WebpackOptions.json'

CI

  1. 2017/11/10 将 Flutter 项目部署到 Travis CI
  2. 2017/06/01 持续集成教程 1 通识科普

CMake

  1. 2018/05/10 使用 CMake 不用路径地调用 libclang

CXX

  1. 2018/07/07 C++ 模拟 Java 风格的 Vector
  2. 2018/06/04 如何取消一个 C/C++ 的符号的定义

Editor

  1. 2018/09/24 代码编辑器系列 #3 文本的存储 进化篇
  2. 2018/06/05 代码编辑器系列 #2 文本的存储 远古篇
  3. 2018/05/17 知乎回答:编程软件界面的文本编辑器是如何制作的
  4. 2018/04/29 代码编辑器系列 #1 架构与解耦
  5. 2018/04/27 代码编辑器系列 #0 两种编辑器

Emacs

  1. 2017/10/03 搭建 Emacs 的 Haskell/Idris 环境教程

Flutter

  1. 2017/05/16 初次见面, Flutter !(一个月试用报告)

Game

  1. 2016/08/23 轮子狂魔造引擎 第五章
  2. 2016/08/17 轮子狂魔造引擎 第四章
  3. 2016/08/16 轮子狂魔造引擎 第三章
  4. 2016/08/15 轮子狂魔造引擎 第二章
  5. 2016/08/14 轮子狂魔造引擎 第一章

Git

  1. 2017/12/15 为什么我用 merge 而不用 rebase

Gradle

  1. 2017/10/08 Gradle 常见的几个自定义 Task
  2. 2017/05/02 Gradle 定制 artifact
  3. 2017/04/14 Gradle 其实是很好用的

Haskell

  1. 2018/11/23 如何处理可选的二维编程语言文法
  2. 2018/01/02 计算机科学 (Haskell) 中的偏序理论(译,上)
  3. 2017/07/27 使用 Haskell 编写灵活的 Parser (下)
  4. 2017/07/26 使用 Haskell 编写灵活的 Parser (上)
  5. 2017/07/10 将 Haskell 翻译为 Rust, C# (上')标准库
  6. 2017/07/05 将 Haskell 翻译为 Rust Dart Java (上)标准库
  7. 2017/05/26 函数式 dfs (深度优先搜索)

IntelliJ

  1. 2018/01/22 一些看了让人很爽的动态图
  2. 2017/12/25 IntelliJ IDEA 复杂的重构操作
  3. 2017/12/21 IntelliJ IDEA 复杂的重构技巧
  4. 2017/04/01 IntelliJ IDEA 进阶教程: 语言注入
  5. 2016/12/11 IntelliJ IDEA 进阶教程: 测试框架
  6. 2016/11/19 IntelliJ IDEA 进阶教程: IDEA 中工程的基本概念
  7. 2016/10/18 IntelliJ IDEA 进阶教程: IDE 背景图片
  8. 2016/08/28 IntelliJ IDEA 进阶教程: 自定义代码模板
  9. 2016/07/09 传教之 IntelliJ IDEA 第四章:集成版本控制系统
  10. 2016/06/29 传教之 IntelliJ IDEA 第三章:代码补全中的小技巧
  11. 2016/06/26 传教之 IntelliJ IDEA 第二章:快捷键(一)
  12. 2016/06/26 传教之 IntelliJ IDEA 第一章: IntelliJ IDEA 的下载与安装

JNI

  1. 2017/04/24 关于字典树( Trie 树)的一些想法(含 JNI 内容)
  2. 2017/03/24 使用内存池消除可能出现的野指针 delete 操作
  3. 2017/02/19 JNI 开发:结语+带逛一波
  4. 2017/02/18 JNI 开发:第五章 更多语言的尝试
  5. 2017/02/03 JNI 开发:第四章 个人经验分享
  6. 2017/01/29 JNI 开发:第三章 基本类型数组操作
  7. 2017/01/27 用 CMake 开发 JNI :第二章 第二个环境搭建
  8. 2017/01/23 用 Dev Cpp 开发 JNI :第一章 环境搭建

Java

  1. 2018/05/11 一个你可能没听说过的 Java 语法
  2. 2018/03/12 吐槽 IntelliJ 和 Eclipse 的实现细节
  3. 2018/03/09 简要介绍 IntelliJ 和 Eclipse 的插件系统
  4. 2018/01/04 Java 里的类型推导,上篇文章中的一个问题
  5. 2017/12/07 JavaFX 在 Ubuntu 上的一个 bug ,万恶的向前不兼容
  6. 2017/06/15 Java 竟然还能这样玩
  7. 2017/01/07 JetBrains 注解库, Contract 注解
  8. 2017/01/06 使用 JetBrains 注解库注释你的代码
  9. 2016/09/09 在 JavaFX 中进行 Material Design :第三章
  10. 2016/09/09 在 JavaFX 中进行 Material Design :第二章
  11. 2016/06/25 在 JavaFX 中进行 Material Design :第一章

Koa

  1. 2017/07/21 Akiris 的 Koa 杂谈 1

Kotlin

  1. 2018/02/17 聊两个 Kotlin 编译器的 bug
  2. 2018/01/20 没有 lambda abstraction 的无聊 Kotlin
  3. 2018/01/03 Kotlin 那些不仅仅是语法糖的好处
  4. 2017/11/12 正确地使用 Kotlin 的 internal
  5. 2017/10/12 Kotlin 1.2 跨平台模块初体验
  6. 2017/05/15 暂时不会再写关于 Kotlin 的东西了
  7. 2017/05/11 Kotlin 一个很厉害的 DSL 写法
  8. 2017/05/04 Kotlin 命令行环境搭建
  9. 2017/05/01 Kotlin : Lambda 也能递归
  10. 2017/04/26 Kotlin :强行 Point-Free
  11. 2017/04/23 Kotlin : forEach 也能 break 和 continue
  12. 2017/03/28 LiceIntelliJ 插件图标制作过程
  13. 2017/03/09 Kotlin Primer 草稿 函数
  14. 2017/02/02 写代码不用变量 Kotlin
  15. 2017/01/25 Kotlin 的一些好东西概览(不含 extension
  16. 2017/01/24 Kotlin 与 Java 交互技巧
  17. 2016/10/17 如何让孩子爱上 Kotlin : DSL (下)
  18. 2016/10/01 如何让孩子爱上 Kotlin : DSL (中)
  19. 2016/09/28 如何让孩子爱上 Kotlin : DSL (上)
  20. 2016/07/12 如何让孩子爱上 Kotlin 第四章:基本类型
  21. 2016/07/02 如何让孩子爱上 Kotlin 第三章:变量
  22. 2016/07/01 Kotlin 编译器内部报错,我受伤很深
  23. 2016/06/30 如何让孩子爱上 Kotlin 第二章: Hello World
  24. 2016/06/26 如何让孩子爱上 Kotlin 第一章:环境搭建

Lisp

  1. 2017/08/26 写给 Java 程序员的 Lice 教程 3
  2. 2017/03/11 写给 Java 程序员的 Lice 教程 2
  3. 2017/03/10 龙书撞枪系列 1 : Lice 的动态作用域实现
  4. 2017/03/08 昨天说的编辑 AST 并导出代码做出来了
  5. 2017/03/07 给 Lice 写了俩工具
  6. 2017/03/01 写给 Java 程序员的 Lice 教程
  7. 2017/02/25 简单拿 Lice Clojure 在相同的方面对比一下
  8. 2017/02/24 人生第一个解释器, Lisp

Lua

  1. 2018/07/27 LuaIntf 初探

MPS

  1. 2017/04/20 突然 MPS 教程(五),扩展 Java
  2. 2017/04/12 MPS 教程四:制作一个简易语言(下)
  3. 2017/04/07 MPS 教程三:制作一个简易语言(中)
  4. 2017/04/06 MPS 教程二:制作一个简易语言(上)
  5. 2017/03/18 MPS 教程一:环境搭建+试运行一个语言

Misc

  1. 2018/12/08 最近的计划
  2. 2018/10/06 又做了一个好玩的梦
  3. 2018/09/07 PingCAP 面试
  4. 2018/03/15 整理几个最近写的比较正常的回答
  5. 2018/03/07 给博客换了新主题
  6. 2018/02/18 一些有趣的语法设计的细节
  7. 2018/01/07 人类需要主动思考
  8. 2017/11/13 给博客添加了部分文章可评论的功能
  9. 2017/08/24 如何写好技术文章
  10. 2017/08/18 记录一个很有意思的梦
  11. 2017/05/13 成都 Kotlin 线下聚会报告及科技汇总
  12. 2017/01/21 谈谈我对 GFW 的看法

OI

  1. 2017/07/01 防止运算溢出的一些技巧
  2. 2017/04/02 多线程快排测试 CPU 性能
  3. 2016/10/28 如何正确使用 DEV C++
  4. 2016/10/28 树状数组离散化

PLT

  1. 2018/11/18 关于依赖类型编程语言和完全函数的检查的一些想法
  2. 2018/11/16 dependent type 之上还有更高级的类型系统吗?

Python

  1. 2016/07/02 好东西推荐: PyCharm Edu

Ruby

  1. 2017/04/18 Ruby 的 Tk 库的一个 bug

Scala

  1. 2017/02/17 (翻译)从编程语言的角度看深度学习

Tools

  1. 2017/12/20 基于图像的 LSB 隐写术科普
  2. 2017/07/06 简单粗暴的地图生成
  3. 2017/04/20 把图片变成字符画
  4. 2017/04/02 发布一个 GitHub 仓库时需要注意的东西
  5. 2016/12/24 连字及其在 IDE 中的使用

Water

  1. 2018/11/09 终于换上 https 啦,新增 LAgda 子博客
  2. 2018/09/07 为什么这么多人喜欢写编译器
  3. 2018/02/16 又过去了半年了
  4. 2017/09/20 给博客加上了访问量统计
  5. 2017/08/30 两年,能带来什么?
  6. 2017/04/06 做了四张图片,太好玩了
  7. 2016/12/20 喜大普奔 GitHub 一年连载达成
  8. 2016/07/25 笑死我了