Posted on

GitHub

这次稍微学了学 Lisp 再来写配置，不乱抄了，保证每一行自己都看得懂。

目的是整一个命令行下也比较舒服的开发环境，自己写写 web 或者别的代码玩玩时候用，不弄太花里胡哨的。

Posted on

毕业了，迁移到了 ECS。

一年多没写博客了，不知道这次重启能持续多久。

重新研究了下 hexo，改了些配置，换回了 mathjax。

Posted on

如果报错信息如下，原因是 openmpi 配置不正确。

还是第一次见 DL 框架要使用 MPI 的，感觉不错，就是这依赖的文件不太妙

hotfix: 是我见识少了，借助于 MPI 进行通信的框架其实不少，只是不一定将 MPI 作为必需依赖。比如 Tensorflow 通过源代码编译安装就可以添加 MPI 作为依赖。

1
ImportError: libmpi_cxx.so.1: cannot open shared object file: No such file or directory

嘛，官方只钦定 Ubuntu 那我们自己修库的依赖：

1
2
3
4
5
sudo pacman -S openmpi
sudo ln -s /usr/lib/openmpi/libmpi_cxx.so /usr/lib/libmpi_cxx.so
sudo ln -s /usr/lib/libmpi_cxx.so /usr/lib/libmpi_cxx.so.1
sudo ln -s /usr/lib/openmpi/libmpi.so /usr/lib/libmpi.so
sudo ln -s /usr/lib/libmpi.so /usr/lib/libmpi.so.12

虽然很脏，并且我还没看其他平台比如 RHEL 上面的 OpenMPI 库是不是单独分了目录。总之这样 import 的时候没出错，有问题我再更新博客吧。

Posted on

\(\LaTeX\)

公式挂了一片，有空再弄吧，心累。

renderer 从默认的 marked 换成了 pandoc ，目前怀疑服务器的 pandoc 和本地的版本差异巨大，所以渲染不出来。那我就本地渲染好了，免得服务器每次 clone 再更新太慢。

pandoc 渲染不出复选框 TODO List，别的还没看到什么问题。

Posted on

垃圾应用，磁盘IO一直高占用。

iotop 中可见一直在读硬盘。关闭即可：

1
2
sudo balooctl stop
sudo balooctl disable

KDE system settings:

搜索 -> 文件搜索 -> 禁用

世界清净了

KDE 重新变得美好！

(滚去写 java 了)

Posted on

天塌了（

章节列表
集合，关系和语言
有限自动机
上下文无关语言
图灵机
不可判定性
语言 自动机
正则语言 确定性/非确定性有限自动机
上下文无关语言 下推自动机
递归可枚举语言 图灵机

TODO list

  • primitive recursive function
  • automata encoding
  • simple TMs (elementary Turing Machine)
  • 证明语言递归、递归可枚举
  • 规约
  • 判定递归语言
  • CFG 2 PDA
  • chomsky hierachy
Read more »

Posted on

背景

本文写作于 2017年10月8日，kotlin 语言版本为 1.1，kotlinx.coroutines版本为 0.19.1，其中协程为实验特性。需要指定编译器选项以启用此功能。实验阶段表明此功能稳定性不能得到保证，请慎用！

Kotlin 官网上对于协程实现的大概介绍：https://kotlinlang.org/docs/reference/coroutines.html

教程实例 Repo：https://github.com/Kotlin/kotlinx.coroutines/blob/master/ui/kotlinx-coroutines-android/example-app/app/src/main/java/com/example/app/MainActivity.kt

kotlinx.coroutines 协程库：https://github.com/kotlin/kotlinx.coroutines

Read more »

Posted on

参考这篇文章：http://git.bookislife.com/post/2016/dev-android-using-scala/

这篇只关于 gradle，与 Android 无关：http://blog.csdn.net/maosidiaoxian/article/details/45476579

gradle-android-scala-plugin的文档肯定最权威，在 Github 的 README 当中：https://github.com/saturday06/gradle-android-scala-plugin

这个是 scala-plugin 的文档，不是给 Android 用的：https://docs.gradle.org/current/userguide/scala_plugin.html

这篇是基于 SBT 的：http://www.jianshu.com/p/37e9a544afb3 ，还有下篇：http://www.jianshu.com/p/886ebfb1f51e

还是要说一句，顺应时代，使用 kotlin 吧（