Blog of Zhenyun Yu

A place for technology and anything

0%

GitHub

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

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

毕业了,迁移到了 ECS。

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

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

如果报错信息如下,原因是 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 的时候没出错,有问题我再更新博客吧。

$\LaTeX$

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

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

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

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

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

1
2
sudo balooctl stop
sudo balooctl disable

KDE system settings:

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

世界清净了

KDE 重新变得美好!

(滚去写 java 了)

天塌了(

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

TODO list

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

背景

本文写作于 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

阅读全文 »

参考这篇文章: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 吧(