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 »